Szoftver verifikáció és validáció - Segédanyagok

Félév: 2011. ősz
Cím	Egyedi szöveg
EA09: Sztochasztikus temporális logikák	Az előadás tartalma: Teljesítmény és szolgáltatásbiztonság jellemzők formalizálása és ellenőrzése Continuous Stochastic Logic SZVV_EA09_csl.pdf
EA10: Időt kezelő modellek és temporális logikák	Az előadás tartalma: Valósidejű rendszerek követelményeinek formalizálása és ellenőrzése Időzített automaták Időt kezelő temporális logika Modellellenőrzők SZVV_EA10_ttl.pdf
EA11: Ekvivalencia ellenőrzés	Az előadás tartalma: Ekvivalencia relációk Trace ekvivalencia Erős biszimuláció Gyenge biszimuláció (megfigyelési ekvivalencia) Mintapélda SZVV_EA11_ekvivalencia.pdf
EA12: Klasszikus helyességbizonyítás	Az előadás tartalma: Klasszikus helyességbizonyítás Egyszerű pszeudo-nyelvek Strukturált pszeudo-nyelvek SZVV_EA12_helyessegbizonyitas.pdf
EA13: Forráskód ellenőrzés	Az előadás tartalma: Forráskód ellenőrzés Kódolási szabályok Szoftver metrikák Hibaminta kereső eszközök (Absztrakt) kód interpretáció SZVV_EA13_forraskod_ellenorzes.pdf
EA14: Absztrakció	Az előadás tartalma: Absztrakt interpretáció Predikátum absztrakció SZVV_EA14_absztrakcio.pdf
EA15: Szoftver modul/unit tesztelés	Az előadás tartalma: Specifikáció alapú tesztelés Struktúra alapú tesztelés Vezérlési folyam alapú mértékek Adatfolyam alapú mértékek SZVV_EA15_teszteles_modul.pdf
EA16: Integrációs és rendszertesztelés	Az előadás tartalma: Integrációs tesztelés Rendszertesztelés Validációs tesztelés U2TP (modell alapú teszt leírás) SZVV_EA16_teszteles_integracios.pdf
EA17: Speciális tesztelési technikák	Az előadás tartalma: Objektum-orientált rendszerek tesztelése (betekintés) Felhasználói felületek tesztelése Hibakezelés tesztelése hibainjektálással Robusztusság tesztelés SZVV_EA17_teszteles_specialis.pdf
EA18: Finomítási relációk és kapcsolatuk a teszteléssel	Az előadás tartalma: Finomítási relációk Lehetséges viselkedés szerinti rendezés Szükséges viselkedés szerinti rendezés Konformancia relációk teszteléshez k-ekvivalencia input-output konformancia (IOCO) SZVV_EA18_tesztelesi_relaciok.pdf
EA19: Modell alapú tesztgenerálás	Az előadás tartalma: Motiváció Modellek (informális) szerepe a tesztelésben Modell alapú tesztgenerálás Tesztgenerálás fedettségi kritériumokhoz Direkt algoritmusok Modellellenőrzők használata Tesztgenerálás korlátos modellellenőrzéssel Tesztgenerálás hibamodellek alapján Modell mutációk Ekvivalencia relációk tesztgeneráláshoz Eszközök a tesztgeneráláshoz SZVV_EA19_modell_alapu_teszteles.pdf
EA20: Szoftver értékelés és karbantartás	Az előadás tartalma: Szoftver értékelés Feladatok és eszközök Szoftver karbantartás Dokumentáció Szeletelés SZVV_EA20_karbantartas.pdf
EA21: Modellfinomítás helyességellenőrzéssel	Az előadás tartalma: A fejlesztés koncepciója A finomítás helyességének ellenőrzése Mintapélda Forráskód generálás Eszközök SZVV_EA21_Rendszerfejlesztes_modellfinomitassal.pdf
JE01: Korábbi évek jegyzetei	Figyelem! Ezek a jegyzetek a korábbi évek előadásaihoz készültek. Az aktuális félév anyagát a kiadott fóliák tartalmazzák. Ugyanakkor ezek a jegyzetek hasznosak lehetnek, mint egyes témák háttéranyagai. Klasszikus verifikáció és validáció Formális módszerek szerepe a verifikációban Temporális logikák és modellellenőrzés Ekvivalencia ellenőrzés Program helyességbizonyítás Modellfinomítás helyességellenőrzéssel Klasszikus verifikáció Formális módszerek szerepe a verifikációban Temporális logikák és modellellenőrzés Ekvivalencia ellenőrzés Program helyességbizonyítás Modellfinomítás helyességellenőrzéssel