MBT - SWSV HA4

Question

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?

Answer 1

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.