MBT - SWSV HA4

0 votes
asked Nov 24, 2016 in SWSV by szil (22 points)  

Helo!

Az MBT esetén az a célunk, hogy úgy készítsük el a modellt, hogy az abból generált interfész és az azt megvalósító tesztek a SafetyLogicImp osztály sendHeartBeat() metódusának összes ágát teszteljük?
Vagy úgy lenne célszerű, hogy a node-ok legyenek inkább azok az állapotok, melyek lefedik a TSM összes lehetséges Denied állapotát a szomszédok mentén?

1 Answer

0 votes
answered Nov 25, 2016 by micskeiz (2,565 points)  

Az MBT tipikusan inkább black box technika, így érdemesebb inkább a specifikációra koncentrálni, és az ott felsorolt eseteket lefedni a modellben (pl. mikor kell küldeni heartbeat-et). A kód ágainak lefedése helyett a követelmények lefedése a cél. A tesztgenerálás után lehet ellenőrizni a fedést, de ez abban segít, hogy hiányzó követelményt azonosítsatok.

...