Tesztprogram hibája?

Question

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.

Comments

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.

---

Köszi a választ!
És ha van akkor mi a teendő, illetve ez ,miért okozza ezt a hibát?

---

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.

---

Köszi a segítséget megoldódott a probléma.

Answer 1

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.)