,OSURJHWWRGLGHWWDJOLR//'

,OSURJHWWRGLGHWWDJOLR//'
Scopo della fase di LLD, detta anche di SURJHWWR SURFHGXUDOH, è
quello di specificare il come debba essere poi implementato
ciascun FRPSRQHQWH, specificando:
•
•
•
•
dettagli algoritmici,
strutture reali dei dati,
relazioni tra funzioni e strutture dati,
packaging del software: cioè come mettere insieme in
moduli funzioni e strutture dati.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
1
:KDWLVD&RPSRQHQW"
• 20*8QLILHG0RGHOLQJ/DQJXDJH6SHFLILFDWLRQ [OMG01]
defines a component as
– “… a modular, deployable, and replaceable part of a system
that encapsulates implementation and exposes a set of
interfaces.”
• 22 YLHZ: a component contains a set of collaborating classes
• &RQYHQWLRQDOYLHZ: logic, the internal data structures that are
required to implement the processing logic, and an interface
that enables the component to be invoked and data to be
passed to it.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
2
1
22&RPSRQHQW
=J=HUOEO ?H=OO
@AOECJ ?KILKJAJP
?KILQPA'K>
-NEJP'K>
JQI>AN,B-=CAO
JQI>AN,B0E@AO
L=LAN1ULA
I=CJEBE?=PEKJ
LNK@Q?PEKJ#A=PQNAO
-NEJP'K>
EJEPE=PA'K>
?KILQPA'K> KOP L=OO'K>PK-NEJPAN EJPANB=?A
?KILQ PA'K>
?KILQPA-=CA KOP ?KILQPA-=LAN KOP ?KILQPA-NK@ KOP ?KILQPA1KP=H'K> KOP EJ PANB=?A
EJ EPE=PA'K>
>QEH@4KNG,N@AN ?DA?G-NEKNEPU L=OO'K>PK -NK@Q?PEKJ AH=>KN=PA@ @AO ECJ ? H=O O
-NEJP' K>
JQI>AN,B-=CAO
JQI>AN,B0E@AO
L=LAN1ULA
L=LAN4AECDP
L=LAN0EVA
L=LAN KHKN
I=CJEBE?=PEKJ
?KHKN/AMQENAIAJPO
LNK@Q?PEKJ#A=PQNAO
?KHH=PEKJ,LPEKJO
>EJ@EJC,LPEKJO
?KRAN0PK?G
>HAA@
LNEKNEPU
PKP=H'K> KOP
4,JQI>AN
?KILQPA-=CA KOP ?KILQPA-=LAN KOP ?KILQPA-NK@ KOP ?KILQPA1KP=H'K> KOP >QEH@4KNG,N@AN ?DA?G-NEKNEPU L=OO'K>PK -NK@Q?PEKJ Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
3
&RQYHQWLRQDO&RPSRQHQW
@AOECJ ?KILKJAJP
CAP'K>!=P=
KILQPA-=CA KOP
=??AOO KOPO!
AH=>KN=PA@IK@QHA
-=CA KOP
EJ JQI>AN-=CAO
EJ JQI>AN!K?O
EJ OE@AO
EJ ?KHKN
EJ L=CAOEVA L=CA?KOP
KQP
EJ
FK>OEVA
EJ
?KHKN
EJ
L=CA0EVA KQP
- KQP
0#
CA P'K>!=P= J Q I >A N-=CAOJQ I >AN!K?O
OE@A O?KHKN L=CA 0EVA L=CA
=??AOO KOPO!
-
?KI LQ PA -=CA
KOP
FK>OEVA '0
FK>0EVA?KHKN L=CA 0EVA J QI >A N- =CA OJQ I >AN!K?O
KOP =??A OO KOPO! '0?KHKN
HKKGQ L>=OA L=CA ?KOP -
0# HKKGQ LOEVAB=?PKN
0#
=??A OO KOP! '0?KHKNOEVA
FK>?KI LHA TEPU B=?PKN ' #
OE@A O
OE@A
L=CA?KOP-
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
KOP 0#9
' #
4
2
%DVLF//'3ULQFLSOHV
•
•
•
•
•
•
The Open-Closed Principle (OCP). ³$PRGXOH>FRPSRQHQW@VKRXOGEHRSHQ
IRUH[WHQVLRQEXWFORVHGIRUPRGLILFDWLRQ
Dependency Inversion Principle (DIP). ³'HSHQGRQDEVWUDFWLRQV'RQRW
GHSHQGRQFRQFUHWLRQV´
The Interface Segregation Principle (ISP). ³0DQ\FOLHQWVSHFLILFLQWHUIDFHVDUH
EHWWHUWKDQRQHJHQHUDOSXUSRVHLQWHUIDFH
The Release Reuse Equivalency Principle (REP). ³7KHJUDQXOHRIUHXVHLVWKH
JUDQXOHRIUHOHDVH´
The Common Closure Principle (CCP). ³&ODVVHVWKDWFKDQJHWRJHWKHUEHORQJ
WRJHWKHU´
The Common Reuse Principle (CRP). ³&ODVVHVWKDWDUHQ¶WUHXVHGWRJHWKHU
VKRXOGQRWEHJURXSHGWRJHWKHU´
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
5
$OJRULWKP'HVLJQ
• the closest design activity to coding
• the approach:
– review the design description for the component
– use stepwise refinement to develop algorithm
– use structured programming to implement procedural logic
– use ‘formal methods’ to prove logic
… non è ancora la fase di codifica: per i dettagli algoritmici ci
si concentra più sugli aspetti semantici che su quelli sintattici
… gli algoritmi sono rappresentati ad un livello di astrazione
maggiore rispetto all’implementazione.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
6
3
$OJRULWKP'HVLJQ0RGHO
• represents the algorithm at a level of detail that can be reviewed
for quality
• options:
– graphical (e.g. flowchart, box diagram)
– pseudocode (e.g., PDL) ... choice of many
– programming language
– decision table
– conduct walkthrough to assess quality
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
7
6WUXFWXUHG3URJUDPPLQJIRU3URFHGXUDO'HVLJQ
uses a limited set of logical constructs:
6HTXHQFH
FRQGLWLRQDO— if-then-else, select-case
ORRSV — do-while, repeat until
• leads to more readable, testable code
• can be used in conjunction with ‘proof of correctness’
• important for achieving high quality, but not enough
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
8
4
3URJUDP'HVLJQ/DQJXDJH3'/
if condition x
then process a;
else process b;
endif
PDL
if-then-else
easy to combine with source code
machine readable, no need for graphics input
graphics can be generated from PDL
enables declaration of data as well as procedure
easier to maintain
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
9
)ORZFKDUW
a
x1
b
x2
x3
d
f
c
e
x4
g
x5
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
10
5
&DUWHGL1DVVL6KQHLGHUPDQ
Le FDUWH GL 1DVVL6KQHLGHUPDQ 16, dette anche carte GL
&KDSLQ, o GLDJUDPPL D VFDWROH ER[ GLDJUDP, permettono di
rappresentare un algoritmo usando le seguenti primitive:
&RQGL]LRQH
&RQGL]LRQH
LVWUX]LRQH
)
LVWUX]LRQH
«
6HTXHQ]D
9
3DUWH
3DUWH
(/6(
7+(1
&DVR
&DVR
«
&DVR
&RUSR
&RUSR
«
&RUSR
Q
6HOH]LRQHDSLYLH
6HOH]LRQHDYLH
&RQGL]LRQH
&RUSR
5(3($7
&RUSR
817,/
:+,/('2
&RQGL]LRQH
,WHUD]LRQH
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
11
'HFLVLRQ7DEOH
QuaNdo c’è una complessa combinazione di condizioni con le
relative azioni da intraprendere nei vari casi si possono utilizzare le
WDYROH GL GHFLVLRQH che permettono di specificare queste
combinazioni e di selezionare le azioni appropriate sulla base delle
condizioni.
/QHAO
KJ@EPEKJO
NACQH=N?QOPKIAN
7
7
OEHRAN?QOPKIAN
CKH@?QOPKIAN
OLA?E=H@EO?KQJP
7
7
)
7
7 7
)
7
)
7
/QHAO
JK@EO?KQJP
=LLHULAN?AJP@EO?KQJP
=LLHULAN?AJP@EO?KQJP
=LLHU=@@EPEKJ=HTLAN?AJP@EO?KQJP
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
12
6
'HFLVLRQ7DEOH
La tavola viene così costruita:
• nel TXDGUDQWH VXSHULRUH VLQLVWUR è riportato l’elenco delle
condizioni;
• nel TXDGUDQWH LQIHULRUH VLQLVWUR è riportato l’elenco delle
azioni;nel TXDGUDQWHVXSHULRUHGHVWUR vengono riportate tutte le
combinazioni di condizioni possibili: una 9 nella casella indica
che la condizione è soddisfatta, una ) che non lo è, un trattino è
indifferente (GRQ¶WFDUH);
• nel TXDGUDQWH LQIHULRUH GHVWUR, per ciascuna combinazione di
condizioni, viene posta una ; in corrispondenza dell’azione
appropriata da eseguire.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
13
'HFLVLRQ7DEOH
Per la costruzione della tavola bisogna:
• elencare tutte le azioni che possono essere associate ad una
procedura specifica ( o modulo);
• elencare tutte le condizioni ( o decisioni) che si hanno nella
procedura;
• associare gli specifici insiemi di condizioni alle azioni
corrispondenti, eliminando le combinazioni impossibili; altrimenti
sviluppare ogni possibile permutazione delle condizioni elencate;
• definire le regole, indicando quale/i azione/i si applicano ad un
determinato insieme di condizioni.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
14
7
'HFLVLRQ7DEOH
Se nella tavola compaiono 2 o più colonne con la stessa combinazione
di condizioni essa è detta DPELJXD;
le associate regole di decisione sono dette ULGRQGDQWL se l’azione
specificata è la stessa, altrimenti sono dette FRQWUDGGLWWRULH (il che
significa che bisogna eseguire più azioni in maniera concorrente fra
loro o non deterministiche).
La tavola di decisione è detta FRPSOHWD se ogni possibile
combinazione di condizioni ha un’azione corrispondente, il che
significa Q combinazioni per Q condizioni. Se qualche combinazione,
e la relativa azione, non è specificata, la tavola è detta LQFRPSOHWD.
Ingegneria del Software
Prof. G. A. Di Lucca - Univ. del Sannio
Ingegneria del Software
15
8