KESSELYÁK PÉTER:
Szoftver megbízhatóság
A bemutatott szoftver megbízhatósági modell célja az, hogy a mikroprocesszor-vezérelt rendszerek megbízhatóságának elemzéséhez hasznos, szemlélet formáló segédeszközt bitosítson. A modell a szoftver programcsomag működési környezetét sokdimenziós állapottérként kezeli, amelyben a szoftver folyamatok a bennük rejlő hibaforrásokkal együtt "átlátszóvá", könnyen érthetővé válnak. Az úgynevezett tesztelési horizonton belül az állapottér magja szoftver hibaforrásoktól mentes. Az állapottér következő, külsőbb övezete, amely a tesztelési horizont és a fejlesztési horizont közölt helyezkedik el, viszonylag kevés szoftver hibaforrással terhelt, míg a működési állapottér legkülsőbb, perifériális övezetében - a fejlesztési horizonton kívül - a "fekete doboz" állapota a jellemző, tele ismeretlen szoftver hibaforrással.