Sziray József
Szoftverrendszerek tesztelési modellje
A cikk komplex szoftverrendszerek tesztelésének általános szempontjaival foglalkozik, a hangsúlyt a biztonságkritikus számítógéprendszerek szoftverjére helyezve. Elôször a számításba veendô szoftver hibákat ismerteti, majd ehhez kapcsolódóan a verifikáció és validáció feladatait. Ezt követôen egy általános leképezési séma kerül ismertetésre, amely egy adott szoftver bemeneti és kimeneti tartománya közötti egy-egy értelmû kapcsolat leírására szolgál. Erre a sémára egy tesztmodell épül, amely tartalmazza a különbözô hibaosztályokhoz tartozó tesztinputokat.