Specifikációs követelmények nyomonkövetése modern modellezési keretrendszerekben
Tanszéki konzulens:
![]() doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579 Email: hegedusa (*) mit * bme * hu |
A kiírás adatai
A téma státusza:
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve:
2010
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv
Rendszertervezés során bevett módszer a fejlesztési folyamat elején specifikáció készítése és követelmények definiálása. Ezen követelmények általában valamilyen természetes nyelven írják le azt, hogy az elkészült rendszer milyen tulajdonságokkal rendelkezzen (funkciónális és nem-funkcionális jellemzők). Biztonságkritikus vagy nagy megbízhatóságú rendszereknél a tervezés különböző fázisaiban készült modellek között kötelező a nyomonkövethetőségi kapcsolatok tárolása, például annak érdekében, hogy megállapítható legyen melyik funkcionalitás hol került megvalósításra. Gyakran szükséges annak megállapítása, hogy a rendszer valóban megfelel-e a követelményeknek, vagy van-e olyan része a rendszernek, amely nem vezethető le egyik követelményből sem.
Könnyen felismerhető az a probléma, hogy természetes nyelven írt követelményeket nehéz jól használható módon összekapcsolni tervezési modellekkel vagy komplex implementációs nyelvekkel. Több fejlesztés támogató eszköz létezik, amely ezt a kihívást próbálja megoldani (például az IBM DOORS szoftvere), a követelmények jól struktúrált és kezelhető tárolásával. Ezen termékek általában rendelkeznek beépített adapterekkel a gyakran használt modellekhez, valamint lehetőséget nyújtanak új adapterek létrehozására.
Az önálló labor során a hallgató feladata a követelménykezelő eszközök (elsősorban a DOORS) megismerése és a kiegészítési lehetőségeinek felmérése, továbbá az Eclipse Modeling Framework (EMF) modellező keretrendszer megismerése, amelyet széles körben alkalmaznak modell-vezérelt alkalmazásfejlesztésben szolgáltatásainak kiemelkedő színvonalának köszönhetően (pl. metamodellezés, kódgenerálás, perzisztenciakezelés, platformfüggetlenség). A technológiák megismerése után a hallgató feladata egy olyan összeköttetés kialakítása a követelménykezelő rendszer és az EMF között, amely lehetővé teszi a követelmények és EMF modellelemek összekapcsolását és a kétirányú navigációt az eszközök között (pl. adott modellelemhez tartozó követelmény, vagy a modellben meg nem jelenő követelmények).
A téma lehetőséget nyújt tudományosan és ipari szempontból is jól használható tudás megszerzésére, hiszen a követelmények kezelése mindig alapvető kérdés nagyméretű projektekben.
Kapcsolódó weblapok:
A kiírás a Hibatűrő Csoport honlapján
Hegedüs Ábel, 2010. december 10. 13:15 | Legutóbb frissítve: 2015. február 4. 15:25