Design af genbrugeligt objektorienteret software

Transkript

1 Velkommen Design af genbrugeligt objektorienteret software Evaluering af software ved hjælp af statiske mål. 24 februar 2004 Specialeforsvar af: Søren Gaardbo Jensen Design af genbrugeligt objektorienteret software p. 1/38

2 Motivation og baggrund Hvad er problemet? Design af genbrugeligt objektorienteret software p. 2/38

3 Motivation og baggrund Hvad er problemet? Hvad karakteriserer det gode design i forhold til genbrug og vedligeholdelse, og kan vi automatisk evaluere software så problematiske dele identificeres? Design af genbrugeligt objektorienteret software p. 2/38

4 Motivation og baggrund Hvad er problemet? Hvad karakteriserer det gode design i forhold til genbrug og vedligeholdelse, og kan vi automatisk evaluere software så problematiske dele identificeres? Reusability/Maintainability Profiler. Genbrug? - Vedligeholdelse? Design af genbrugeligt objektorienteret software p. 2/38

5 Strategi Strategi. Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Design af genbrugeligt objektorienteret software p. 3/38

6 Afgrænsning Objektorienterede paradigme Java. Design af genbrugeligt objektorienteret software p. 4/38

7 Afgrænsning Objektorienterede paradigme Java. Ingen metadata. Design af genbrugeligt objektorienteret software p. 4/38

8 Afgrænsning Objektorienterede paradigme Java. Ingen metadata. Statiske mål. public class Receipt { private Sale sale; public Receipt(Sale _sale) { sale = _sale; } public String gettext() { float total=0; String receipt; receipt = sale.getcustomer().getname() + "\n"; receipt += sale.getcustomer().getaddress() + "\n\n"; SalesItems salesitems = sale.getsalesitems(); Product[] p = salesitems.getproducts(); } } for(int i=0; i<salesitems.getproductcount();i++) { receipt += p[i].getname() + "\t" + p[i].getpriceinclvat() +"\n"; total += p[i].getpriceinclvat(); } receipt += "\ntotal:\t\t" + total + "\n"; return receipt; Softwaremål CBO = 5 LOC = 18 Design af genbrugeligt objektorienteret software p. 4/38

9 Resultat Plug-in til Eclipse blev udviklet. Sammenhæng mellem nogle mål og principper. Nye mål blev konstrueret: Abstraktionsfaktorer. Kendskab. Design af genbrugeligt objektorienteret software p. 5/38

10 Konklusion Målene kan i nogen grad identificere potentielt problematisk kode. Kan ikke bruges helt uden metadata. Abstraktionsfaktorene ser lovende ud. Skal undersøges nærmere. Design af genbrugeligt objektorienteret software p. 6/38

11 Disposition Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Konklusion. Design af genbrugeligt objektorienteret software p. 7/38

12 Softwaremål Strukturerede paradigme. Objektorienterede paradigme. To gennemgående begreber: Kobling. Kohæsion. Design af genbrugeligt objektorienteret software p. 8/38

13 Kobling & Kohæsion Kobling. Design af genbrugeligt objektorienteret software p. 9/38

14 Kobling & Kohæsion Kobling. Client +getyearssince(int year) MySystem +getcurrentyear() return MySystem.getCurrentYear() - year; // return years: yy Design af genbrugeligt objektorienteret software p. 9/38

15 Kobling & Kohæsion Kobling. Client +getyearssince(int year) MySystem +getcurrentyear() return MySystem.getCurrentYear() - year; // return years: yy Kobling fra client til MySystem. Design af genbrugeligt objektorienteret software p. 9/38

16 Kobling Ændringer i et modul kan kræve ændringer i koblede moduler. Svært at isolere til genbrugelige moduler. Svært at overskue: Kræver kendskab til koblede dele. Design af genbrugeligt objektorienteret software p. 10/38

17 Kohæsion Kohæsion. Design af genbrugeligt objektorienteret software p. 11/38

18 Kohæsion Kohæsion. +method(...) ClientF2C Converter +convert(int type, int value):int +method(...) ClientI2C Converter.convert( FAHRENHEIT_2_CELSIUS, 100) Converter.convert( INCHES_2_CM, 100) public int convert(int type, int value) { int result = 0; switch(type) { case FAHRENHEIT_2_CELSIUS: result = (int) ((value - 32) / 1.8); break; case INCHES_2_CM: result = (int) (value * 2.54); break; } return result; } Design af genbrugeligt objektorienteret software p. 11/38

19 Kohæsion Lettere at vedligeholde. Mindre fejlbehæftet [McConnell] Lav kohæsion er udtryk for uhensigtsmæssigt design. Design af genbrugeligt objektorienteret software p. 12/38

20 Måling af kobling Fan in/fan out. Coupling Between Object classes: CBO Coupling Factor: COF. Globale data Fan out (opdatering) Fan in (hentning) Fan in (Kald fra andre moduler) Modul Fan out (Kald til andre moduler) Design af genbrugeligt objektorienteret software p. 13/38

21 Måling af kohæsion Kan ikke måles! Design af genbrugeligt objektorienteret software p. 14/38

22 Måling af kohæsion Kan ikke måles! Lack of COhesion in Methods: LCOM. Flere versioner. Design af genbrugeligt objektorienteret software p. 14/38

23 Disposition Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Konklusion. Design af genbrugeligt objektorienteret software p. 15/38

24 Designprincipper Der findes mange principper. Mange egenskaber kan ikke måles. Udvalgt fire principper: Information Expert. Polymorphism. Law of Demeter. Design mod et interface. Design af genbrugeligt objektorienteret software p. 16/38

25 Designprincipper Information Expert. Mindre kommunikation mellem klasser. Højere kohæsion i klassen. DataClass attributes 1..m OperationClass +operation 1..n Design af genbrugeligt objektorienteret software p. 17/38

26 Designprincipper Information Expert. Mindre kommunikation mellem klasser. Højere kohæsion i klassen. Ikke problemfrit. DataClass attributes 1..m OperationClass +operation 1..n Design af genbrugeligt objektorienteret software p. 17/38

27 Polymorphism Polymorphism. Bruges til udvidelser og erstatninger. Hvis princippet erstatter switch i kode, redureres koblingen. Receipt 1 1 Sale <<uses>> <<interface>> PrintDeviceInterface +print(string):void +setitalics(boolean):void +setboldface(boolean):void 1 1 PrintDeviceFactory ScreenPrintDevice <<creates>> Design af genbrugeligt objektorienteret software p. 18/38

28 Law of Demeter Law of Demeter. Receipt Sale Customer String +print() +getcustomer() +getname() -sale:sale -customer:customer -name:string customer.getname() return name; sale.getcustomer().getname() Sale Receipt Customer Design af genbrugeligt objektorienteret software p. 19/38

29 Law of Demeter - 2 Receipt Sale Customer String +print() +getcustomername() +getname() -sale:sale -customer:customer -name:string return customer.getname() return name; sale.getcustomername() Sale Receipt Customer Reducerer koblinger i systemet. Design af genbrugeligt objektorienteret software p. 20/38

30 Design mod et interface Design mod et interface. Generelt princip. Sikrer information hiding. Polymorphism afhænger af dette. Design af genbrugeligt objektorienteret software p. 21/38

31 Disposition Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Konklusion. Design af genbrugeligt objektorienteret software p. 22/38

32 Tilstrækkelighed Ingen mål afslører brud på Design mod et interface. Design af genbrugeligt objektorienteret software p. 23/38

33 Tilstrækkelighed Ingen mål afslører brud på Design mod et interface. Abstraktionsfaktorer. Design af genbrugeligt objektorienteret software p. 23/38

34 Tilstrækkelighed Ingen mål afslører brud på Design mod et interface. Abstraktionsfaktorer. KoblingsAbstraktionsFaktor baseret på CBO. Design af genbrugeligt objektorienteret software p. 23/38

35 Abstraktionsfaktorerne Koblingsbaseret abstraktion er ikke altid tilstrækkelig. Design af genbrugeligt objektorienteret software p. 24/38

36 Abstraktionsfaktorerne Koblingsbaseret abstraktion er ikke altid tilstrækkelig. Design af genbrugeligt objektorienteret software p. 24/38

37 Kendskab Kendskab. Tæller samtlige typer der er kendskab til. Supermængde til CBO. Grænseklasser medtages i målet. Design af genbrugeligt objektorienteret software p. 25/38

38 Abstraktionsfaktorerne Forholdet mellem interface koblinger i forhold til samtlige koblinger. Forholdet mellem interface kendskaber i forhold til samtlige kendskaber. Design af genbrugeligt objektorienteret software p. 26/38

39 Disposition Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Konklusion. Design af genbrugeligt objektorienteret software p. 27/38

40 Eksperimenter To forskellige eksperimenter. Tre softwaremål LCOM. CBO. Kendskabet. Design mod et interface. Abstraktionsfaktorene. Design af genbrugeligt objektorienteret software p. 28/38

41 Eksperimenter Information Expert. Kobling er reduceret. Kohæsion er forbedret (småt system). Kendskab er reduceret. Design af genbrugeligt objektorienteret software p. 29/38

42 Eksperimenter Polymorphism. Koblingen er bedre pga. omfordeling af koblingerne. Kohæsionen er uændret (småt system). Kendskab er reduceret. Design af genbrugeligt objektorienteret software p. 30/38

43 Eksperimenter Law of Demeter. Kobling er bedre pga. omfordeling af koblingerne. Kohæsionen er uændret (småt system). Kendskab er lidt reduceret uden parm. og lidt forøget med parm. Design af genbrugeligt objektorienteret software p. 31/38

44 Eksperimenter Svært at sige noget om kohæsionen pga. systemets størrelse. Generelt bliver koblinger reduceret. Generelt bliver kendskabet reduceret. Koblingsmålet kan måske bruges til identifikation af problematiske klasser. Design af genbrugeligt objektorienteret software p. 32/38

45 Eksperimenter - Abstraktionsfaktorene Interfaceprincippet i Eclipse & POS. To versioner: Kendskab & kobling. Forventet at Eclipse er mere abstrakt end POS. Design af genbrugeligt objektorienteret software p. 33/38

46 Kendskab Kendskab. Kendskab i Eclipse og Pos x = 0 0<x<10 10 <= x < <= x < <= x < <= x < <= x < <= x < <= x < 80 % af klasser 80 <= x < <= x < <= x Kendskab Eclipse Pos Kendskab (0 < kendskab <= 20) i Eclipse og Pos Eclipse Pos 0 < x <= 2 2 < x <= 4 4 < x <= 6 6 < x <= 8 8 < x <= < x <= < x <= < x <= < x <=18 18 < x <=20 Kendskab Design af genbrugeligt objektorienteret software p. 34/38 % af klasser

47 Kobling Kobling. Kobling (CBO) i Eclipse og Pos x = 0 0<x<10 10 <= x < <= x < <= x < <= x < <= x < <= x < <= x < 80 % af klasser 80 <= x < <= x < 100 CBO Eclipse Pos Kobling (CBO) i Eclipse og Pos (0 < CBO <=20) Eclipse Pos 0 < x <= 2 2 < x <= 4 4 < x <= 6 6 < x <= 8 8 < x <= < x <= < x <= < x <= < x <=18 18 < x <=20 CBO Design af genbrugeligt objektorienteret software p. 35/38 % af klasser

48 Abstraktionsfaktorerne Abstraktionsfaktorerne. Kendskabsabstraktionsfaktoren (KAF) i Eclipse og Pos x = 0 0 < x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < 1 x = 1 % af klasser og interfaces KAF Eclipse Pos Koblingsabstraktionsfaktoren (CAF) i Eclipse og Pos Eclipse Pos x = 0 0 < x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < <= x < 1 x = 1 CAF Design af genbrugeligt objektorienteret software p. 36/38 % af klasser

49 Disposition Eksisterende softwaremål. Designprincipper og sammenhæng med softwaremålene. Tilstrækkelighed i mål. Eksperimenter. Konklusion. Design af genbrugeligt objektorienteret software p. 37/38

50 Konklusion Der er en sammenhæng mellem designprincipper og mål. En automatisk identifikation af potentielt problematiske områder er mulig men... Design af genbrugeligt objektorienteret software p. 38/38

51 Konklusion Der er en sammenhæng mellem designprincipper og mål. En automatisk identifikation af potentielt problematiske områder er mulig men......der er brug for metadata for at kunne anvende resultaterne. Design af genbrugeligt objektorienteret software p. 38/38

52 Konklusion Der er en sammenhæng mellem designprincipper og mål. En automatisk identifikation af potentielt problematiske områder er mulig men......der er brug for metadata for at kunne anvende resultaterne. Eksperimenterne var for små til at sige noget om målet LCOM. Design af genbrugeligt objektorienteret software p. 38/38

53 Konklusion Der er en sammenhæng mellem designprincipper og mål. En automatisk identifikation af potentielt problematiske områder er mulig men......der er brug for metadata for at kunne anvende resultaterne. Eksperimenterne var for små til at sige noget om målet LCOM. Abstraktionsmålene forventes at sige noget om systemets generelle fleksibilitet, men skal undersøges nærmere. Design af genbrugeligt objektorienteret software p. 38/38