Szoftverarchitektúra - implementáció tervezése -

V & V: verifikáció és validáció
• Szoftver átvizsgálás:
– A fejlesztés során előállított termékek
(modellek, kód, stb.) statikus elemzése,
ami lehet manuális vagy automatizált.
– Manuális vizsgálatra példa a kód-review
különböző formái, automatizált
vizsgálatra példa a UNIX rendszerekben
használt lint (splint) eszköz, mely C
programokat elemez és felhívja a
fejlesztő figyelmét a potenciálisan hibás,
vagy hibát eredményező kódrészletekre.
V & V: verifikáció és validáció
• Szoftvertesztelés:
– Az implementált szoftver futtatása
tesztadatokkal, annak kimeneteinek,
viselkedésének, ill. teljesítményének
megfigyelése, összevetése a
követelményekkel, azzal a céllal, hogy a
benne levő hibákat felderítsük.
– Ezt nevezzük dinamikus elemzésnek, ill.
dinamikus verifikációnak.
31