Rendszermodellezés - Szorgalmi feladat - teljes lefedattség

0 votes
asked May 9 in Rendszermodellezés A00 by P5i (26 points)  

Üdv!

A szorgalmi feladat leírásában ez áll: "Teljes pontszámot az a megoldás érdemel, amelyik teljes átmenetfedést ad."
A kérdésem az lenne, hogy szerintem én teljesen lefedtem a tesztjeimmel az állapot gépet, de EclEmma csak 84,8% jelez.

Ha a CucumberECLEmmaTutorial.pdf-ben leírtakat is figyelembe vesszük, akkor nem kell teljesen 100%nak lennie.(" Ezen belül az állapotátmeneteket megvalósító check_, react_, effect_ ill. az
állapotok be- ill. kilépésekor végrehajtott enterSequence_, exitSequence_ kezdetű függvények
teljes fedése a cél. Erre szolgál a nézet jobb felső sarkában található lefele mutató háromszög
által kiválasztható Method Coverage mód, de az alapértelmezett Instruction Coverage is
használható. Nem feladat lefedni a generált kód egyéb, pl. hibakezelési célú részeit.")

Sajnos van pár olyan függvény ami nem hívodik meg, de az elnevezésük alapján meg kéne. Viszont ezek mind csak annyiból állnak, hogy return true;.

Jól gondolom, hogy akkor mégis csak teljesen sikerült lefednem?

Kép: Kép(a képen bejelöltem a csak return true;-ból álló függvényeket)

Előre is köszönöm!

1 Answer

+1 vote
answered May 9 by oszkar.semerath (1,579 points)  
selected May 9 by oszkar.semerath
 
Best answer

Szia!

Igen jól gondolod. Az átmenetfedettségen azt értjük, hogy minden tranzícióra legyen teszt (és a check_, react_, effect_ is kb ezt írják le).

A lefedettséget végső soron a szöveges doksival mutatod be, ahova ezt a kommentet beírva el is érted a célt!

UI.:
Ha megnézed, akkor a bekarikázott metódusok nem is érhetőek el sehogy sem, és warninggal meg is vannak jelölve:
The method checkmainregion__choice3tr0_tr0() from the type ChessClockXXXXXXStatemachine is never used locally

...