Szoftver verifikáció és validáció - vizsgakérdések
Vizsgakérdések:
- A verifikáció és validáció fogalma, megvalósításuk áttekintése a szoftver életciklus modellekben
- A formális verifikáció technikáinak áttekintése
- A szoftver követelményspecifikáció ellenőrzése
- A szoftver architektúra tervezéshez kapcsolódó analízis módszerek
- A részletes tervezéshez kapcsolódó nem-formális verifikációs módszerek
- Követelmények formalizálása és ellenőrzése lineáris idejű temporális logikákkal
- Követelmények formalizálása és ellenőrzése elágazó idejű temporális logikákkal
- Az állapottér kezelésének hatékony módszerei (ROBDD és részleges rendezés)
- Korlátos modellellenőrzés
- Extra-funkcionális követelmények formalizálása és verifikációja (CSL)
- Időt kezelő modellek és temporális logikák
- Az ekvivalencia ellenőrzés szerepe, a trace ekvivalencia és a biszimuláció
- A megfigyelési ekvivalencia (gyenge biszimuláció) és használata
- Kritériumok algoritmusok és programok helyességbizonyításához
- Egyszerű programok helyességbizonyításának alapötlete
- Strukturált programok helyességbizonyítása
- Forráskód ellenőrzés
- A funkcionális (specifikáció alapú) szoftvertesztelés és módszerei
- A strukturális szoftvertesztelés módszere, teszt fedettségi kritériumok
- Lehetséges illetve szükséges viselkedés szerinti tesztelési relációk
- Modell alapú tesztgenerálási módszerek
- A szoftver integrációhoz kapcsolódó tesztelési stratégiák
- A szoftver validáció, értékelés és karbantartás
-
A modellfinomítás helyességének kritériumai az eseményvezérelt rendszerfejlesztésben
Vizsgatételek (kérdéspárok):
| 1. |
A verifikáció és validáció fogalma, megvalósításuk áttekintése a szoftver életciklus modellekben Az állapottér kezelésének hatékony módszerei (ROBDD és részleges rendezés) |
| 2. |
A formális verifikáció technikáinak áttekintése Lehetséges illetve szükséges viselkedés szerinti tesztelési relációk |
| 3. |
A szoftver követelményspecifikáció ellenőrzése Korlátos modellellenőrzés |
| 4. |
A szoftver architektúra tervezéshez kapcsolódó analízis módszerek Követelmények formalizálása és ellenőrzése lineáris idejű temporális logikákkal |
| 5. |
A részletes tervezéshez kapcsolódó nem-formális verifikációs módszerek A modellfinomítás helyességének kritériumai az eseményvezérelt rendszerfejlesztésben |
| 6. |
Kritériumok algoritmusok és programok helyességbizonyításához Az ekvivalencia ellenőrzés szerepe, a trace ekvivalencia és a biszimuláció |
| 7. |
Forráskód ellenőrzés Időt kezelő modellek és temporális logikák |
| 8. |
A funkcionális (specifikáció alapú) szoftvertesztelés és módszerei Egyszerű programok helyességbizonyításának alapötlete |
| 9. |
A strukturális szoftvertesztelés módszere, teszt fedettségi kritériumok A megfigyelési ekvivalencia (gyenge biszimuláció) és használata |
| 10. |
Modell alapú tesztgenerálási módszerek Extra-funkcionális követelmények formalizálása és verifikációja (CSL) |
| 11. |
A szoftver integrációhoz kapcsolódó tesztelési stratégiák Strukturált programok helyességbizonyítása |
| 12. |
A szoftver validáció, értékelés és karbantartás Követelmények formalizálása és ellenőrzése elágazó idejű temporális logikákkal |
