Tantárgy » BMEVIMIMA01
Szoftver- és rendszerellenőrzés
Software and Systems Verification
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Tantárgy neve (magyarul, angolul) |
Szoftver- és rendszerellenőrzés
Software and Systems Verification
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIMIMA01 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| Tanulmányi teljesítmény/értékelés típusa | vizsga | ||||||||||||
| Tantárgy kreditértéke | 4 | ||||||||||||
| Tantárgyfelelős |
DR. Micskei Zoltán Imre
beosztás: egyetemi docens
elérhetőség:
micskei.zoltan@vik.bme.hu
|
||||||||||||
| Tantárgyat gondozó oktatási szervezeti egység |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Kar | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Tantárgy weboldala | http://inf.mit.bme.hu | ||||||||||||
| Tantárgy elsődleges mintatantervi jellege | — | ||||||||||||
| Közvetlen előkövetelmények – Erős előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Gyenge előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Párhuzamos előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Mérföldkő előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Kizáró feltétel | nincs |
Célkitűzés
Tantárgyprogram
Az előadások tematikája
Áttekintés
1. Kritikus rendszerek elvárásai, szolgáltatásbiztonság jellemzői
2. Ellenőrzési módszerek helye a fejlesztési folyamatban
Statikus ellenőrzési technikák
3. Követelmények ellenőrzése (ellenőrzési szempontok, teljesség és ellentmondás-mentesség, követelménykezelő eszközök)
4. Tervek ellenőrzése (részletes tervek ellenőrzése átvizsgálással, modell alapú verifikáció)
5. Forráskód ellenőrzése (ajánlások és előírások, vezérlési struktúra és adatfolyam ellenőrzése, ellenőrzési eszközök)
Tesztelés
6. Tesztelési szintek és módszerek (tesztelési megközelítések és célok, tesztek a fejlesztési folyamat egyes fázisaiban)
7. Specifikáció és struktúra alapú teszttervezés (fekete és fehér doboz technikák, összetettebb lefedettségi kritériumok)
8. Tesztautomatizálás (build folyamatok, folytonos integráció, regressziós tesztelés)
9. Modell és kód alapú tesztgenerálás (tesztgenerálási algoritmusok, modell ellenőrzők és kényszermegoldók használata, dinamikus szimbolikus végrehajtás)
Szolgáltatásbiztonság vizsgálata
10. Extrafunkcionális követelmények ellenőrzése (extrafunkcionális követelmények fajtái, terhelés és robusztusságtesztelés, hibainjektálás)
11. Kvalitatív és kvantitatív analízis (a biztonsági analízis módszerei: hibafa, eseményfa, ok-következmény analízis, hibamód és -hatás analízis)
12. Megbízhatóság modellezése (modell alapú megbízhatósági analízis)
13. Futásidőbeli verifikáció (követelmény alapú monitorozás és monitor szintézis)
14. Esettanulmány / Vendégelőadás
A gyakorlatok tematikája
1. Incidenskezelő eszközök használata. HF tájékoztató
2. Követelmények ellenőrzése. Követelménykezelő eszköz kipróbálása
3. Részletes tervek verifikálása. Statikus ellenőrző eszköz használata
4. Modultesztelés eszközeinek használata (automatikus tesztfuttatás, izoláció)
5. Teszttervezési technikák használata egyszerűbb mintapéldákon
6. Automatikus tesztgeneráló eszköz használata
7. Biztonsági analízis módszereinek gyakorlása
A tantárgy célkitűzése, hogy megismertesse a hallgatókat a teljes szoftver- és rendszerfejlesztési életciklus során alkalmazható különböző ellenőrzési technikákkal. Ilyen ellenőrzési technikákra manapság már nem csak a kritikus rendszerek esetén van szükség (ahol ezek alkalmazását legtöbbször szabvány írja elő), hanem minden alkalmazás esetén elvárás, hogy jó minőségű rendszert fejlesszünk.
A tantárgy teljesítése után a hallgatók átlátják a teljes ellenőrzési folyamatot, és ismerik, hogy az egyes fejlesztési fázisokban mely technikák alkalmazása javasolt. Ismerik a különböző statikus ellenőrzési technikákat, és képesek terveket és specifikációkat ellenőrizni, valamint statikus ellenőrző eszközöket használni forráskódok átvizsgálására. Megismerik a szoftvertesztelés szintjeit és módszereit, és képesek alkalmazni a specifikáció és struktúra alapú teszttervezési technikákat. Ismerik az extrafunkcionális jellemzők ellenőrzésére használható módszereket (pl. megbízhatóság modellezése és vizsgálata). Ismerik a futásidőbeli verifikáció alkalmazási lehetőségeit.
Tanulmányi eredmények
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Tudás
Nincsenek rögzített tanulási eredmények.
Képességek
Nincsenek rögzített tanulási eredmények.
Attitűd
Nincsenek rögzített tanulási eredmények.
Autonómia és felelősség
Nincsenek rögzített tanulási eredmények.
Oktatási módszertan
Előadás és gyakorlat
Tanulástámogató anyagok
Online források
G. G. Schulmeyer, G. R. MacKenzie. Verification and Validation of Modern Software-Intensive Systems. Prentice Hall, 2000.; N. G. Leveson: Safeware: System Safety and Computers. Addison Wesley, 1995 ; G. J. Myers, C. Sandler. The Art of Software Testing. John Wiley & Sons, 2004.; M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer-Verlag, 2005.
A tantárgy teljesítéséhez ajánlott előzetes ismeretek
Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Alapvető programozási (Java, C és C#) és UML modellezési ismeretek
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Alapvető programozási (Java, C és C#) és UML modellezési ismeretek
Általános szabályok
Követelmények:
A szorgalmi időszakban:
A
félévvégi aláírás feltétele a tárgy anyagához kapcsolódó több fázisból álló csoportos
otthoni feladat megfelelő színvonalú elkészítése.
Az otthoni feladat minden fázisát teljesíteni kell, az adott
fázisra kapható pontok legalább 40%-át el kell érni.
A vizsgaidőszakban:
A hallgatók a 20 fő alatti
kurzus létszám esetén szóbeli, egyéb esetben írásbeli vizsgát tesznek.Az írásbeli vizsga két részből
áll. Az elégséges vizsgához mindkét rész külön-külön min. 40%-os
teljesítése szükséges.A
félévközi otthoni feladat értékelése 50%-os súllyal számít bele a vizsgajegybe.
Elővizsga: Nincs.
Pótlási lehetőségek:
Az otthoni feladat jellege nem
teszi lehetővé a sikeres otthoni feladat ismétlését. [TVSZ 122. § (3)].Az otthoni feladat minden
fázisa beadható késedelmesen az eredeti határidő utáni legfeljebb egy
hétben. Egy adott fázis késedelmes leadása miatt az adott fázisra kapható
pontok 20%-nak megfelelő levonás jár az adott fázisra.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Szorgalmi időszakban végzett teljesítményértékelések részaránya
Nincs megadva részarány.
Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Vizsgarészek részaránya
Nincs megadva részarány.
Érdemjegy megállapítása
Nincs megadva érdemjegy határ.
Jelenléti és részvételi követelmények
Nincs megadva jelenléti követelmény.
Javítás, ismétlés és pótlás különös szabályai
Nincs megadva.
Rövid leírás
Nincs megadva.
Részletes leírás
Nincs megadva.
Ajánlott tantárgyak
Nincs megadva.
A tantárgy elvégzéséhez szükséges tanulmányi munka
Nincs megadva munkaidő bontás.
Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés
Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.