Biztonsági követelmények minta alapú összeállítása

A követelmények precíz megfogalmazása fontos feladatot jelent a szoftverfejlesztés során, különösen biztonságkritikus alkalmazások esetén, ahol a hibák és hiányosságok balesethez is vezethetnek. A természetes nyelven megfogalmazott követelmények sokszor pontatlanok vagy félreérthetők, míg a matematikai formalizmusokkal (pl. automatákkal vagy logikai nyelvekkel) kifejezett követelmények nehezen áttekinthetők.  A követelmények összeállítását segíthetik azok a megoldások, amik lehetővé teszik a jellegzetes, sokszor előforduló követelmény minták felhasználását és kombinálását.

A hallgató feladata egy olyan eszköz megtervezése és megvalósítása, ami (publikációk alapján összegyűjtött) követelmény mintákat jelenít meg egy korlátozott természetes nyelvi formában, valamint jól áttekinthető módon lehetővé teszi ezek konkrét paraméterezését és kombinálását. Az eszköz képes kell legyen az összeállított követelmények temporális logikai formában történő kiírására is (a tervezői modellek automatikus ellenőrzése érdekében).

Az eszköz megvalósítása Java nyelven történjen, a használandó technológiák felmérése és kiválasztása után.

Témacsoport: 
Ellenőrzés és tesztelés
Jelleg: 
Elméleti és gyakorlati
Konzulens: 
Majzik István
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
JavaFX, Google Blockly, temporális logikák
Előismeretek: 
Java
Állapot: 
Korábbi