A szoftver minőségi és megbízhatósági jellemzői. Fejlesztési
szabványok. Az ISO-9000 szabványcsoport fejlesztési előírásai.
Biztonságkritikus és hibatűrő informatikai rendszerek jellemzői,
fejlesztési modellje, valamint fejlesztési szabványai. Hibatűrő
rendszer-struktúrák. Szoftver-hibatűrési megoldások. A szoftver
rendszerek összetettségére, algoritmikus bonyolultságára utaló
mérőszámok alkalmazása. A szoftver verifikációs és validációs
folyamatai. A verifikáció és validáció leképezési modellje.
Szoftver-tesztelési elvek és módszerek. A strukturális tesztelés és a
vezérlési folyamatgráf kapcsolata. Funkcionális tesztelési módszerek. A
funkcionális tesztelés és a Boole-gráf kapcsolata. Modultesztelés,
inkrementációs integrálási tesztelés, regressziós tesztelés,
rendszertesztelés. A tesztelés minőségi mérőszámai. A tesztelési
megoldások alkalmazási lehetőségei objektum-orientált fejlesztésű
szoftverekre. A szoftver-karbantartás folyamatai és mérőszámai. A
formális módszerek alkalmazása és szerepe a szoftverminőség
javításában.Az objektum-orientált szoftverek minőségi és megbízhatóság
jellemzői. Az összetettségre és bonyolultságra utaló mérőszámok. A
hagyományos tesztelési módszerek átvihetősége és alkalmazhatósága. Az
objektum-orientált szoftverek speciális tesztelési nehézségei és
problémái. A vezérelhetőség és megfigyelhetőség nehézségei. Osztályok
és objektumok tesztelési módszerei. Inkrementációs integrálási tesztelés
és rendszertesztelés. A verifikálás és validálás folyamatainak
végrehajtása objektum-orientált környezetben. Szálalapú tesztelés,
használati alapú tesztelés. Objektumok vizsgálata a wrapping technika
alkalmazásával. Gyakorlati esettanulmány bemutatása. A tesztelés
minőségi mérőszámai. Az UML nyelven alapuló tervezési folyamatok
összekapcsolása a teszteléssel. Tesztelés UML-es állapot-átmeneti
diagramok alapján. A formális módszerek alkalmazása.
- Tanár: Tormási Alex