Tesztprogram hibája?

0 votes
asked Apr 27, 2015 in Rendszermodellezés A00 by Koala (24 points)  

Sziasztok!

A sakkórámban van egy maxtime változó aminek a minimum értéke 600.
A kiadott teszteset viszont azt a hibát dobja hogy 600-at várt de 570-et talált a whiteDisplay változóban.
Ez nem elég, hogy nem lehetséges( szimulációnál sem lehet előidézni, hogy 600 alá menjen)
, de még ha a whiteDisplayre fixen valami teljesen mást rakok mondjuk 1500-at akkor is ugyan azt irja , hogy 570-et talált.
Lehet, hogy a teszprogram hibája? ( Ez az egyetlen hiba a modelben)
Előre is köszönöm a segítséget.

commented Apr 27, 2015 by oszkar.semerath (1,599 points)  
Szia!
Nézd meg, hogy van-e olyan állapotátmenet, amire nincs kiváltó esemény írva.
Például egy olyan él, amin csak egy [guard]/action páros van.
Ha nincs ilyen, akkor küldjed el az egész projekted a semerath@mit.bme.hu-ra, és megnézem.
commented Apr 27, 2015 by Koala (24 points)  
Köszi a választ!
És ha van akkor mi a teendő, illetve ez ,miért okozza ezt a hibát?
commented Apr 27, 2015 by oszkar.semerath (1,599 points)  
Szerkesszed át a megoldásod hogy ne kelljen ilyen él, esetedben én valószínűleg choice-t használnék, ami eldönti a gombnyomásra hogy merre tovább.

Az is megoldás lehet, hogyha "after 0 s" eseményt illesztesz az átmenethez, bár ez nem túl elegáns.
commented Apr 27, 2015 by Koala (24 points)  
Köszi a segítséget megoldódott a probléma.

1 Answer

0 votes
answered Apr 27, 2015 by oszkar.semerath (1,599 points)  

Akkor összefoglalnám:

Mindig adjunk kiváltó eseményt az állapotátmenetekhez, különben nem egyértelmű mikor is történik. Szimulátorban és a generált alkalmazásban ez 200 ms-ként szokott történni, ami szabad szemmel azonnali átmenetnek tűnhet.

A tesztesetek ezt a pontatlanságot fedték épp fel. (Persze lehetnek hibák a tesztesetekben is, de az időzítésbeli hibákat jól felfedik.)

...