„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés

== Állapotgépen tetszőleges állapot-, token- vagy őrfeltétel-finomítást végezve ==

# mindig nő az állapotok száma.

# mindig csökken az állapotok száma.

== A holtpont egy olyan állapot, amelyből a rendszer a modellezett inputok és események hatására ==

# nem képes kilépni, legfeljebb külső (a modellen túlmutató) segítséggel.

# előfordulhat úgy, hogy a rendszer folyamatai egymásra várakoznak.

== Egy erőforrás kihasználtsága  ==

# nemnegatív.

# mindig nagyobb vagy egyenlő a vizitációs számnál.

== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján  ==

# 23 átmenetet tartalmaz.

# 100 átmenetet tartalmaz.

== Egy folyamat biztosan jólstrukturált, ha  ==

# determinisztikus.

# elemi tevékenységek egyszerű szekvenciája.

== A Little-törvény alkalmazásakor ==

# azt feltételezzük, hogy a beérkezési ráta nem nagyobb, mint az átbocsátóképesség;

# meghatározhatjuk az átlagosan a rendszerben egyidejűleg tartózkodó kérések számát, a valóságban azonban ez időnként ennél nagyobb értéket is felvehet;

== A tesztfedettség ==

# annak mértéke, hogy a teszteléskor a modell vagy szoftver mekkora részét futtatjuk.

# csak egyetlen tesztesetre számítható.

# lehetséges értelmezései közül a 100%-os átmenet fedettség mindig 100%-os állapotfedést is eredményez.

# lehetséges értelmezései közül a 100%-os átmenet fedettség azt is jelenti, hogy minden lehetséges bemenetsorozatot leteszteltünk.