Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R3-COP és R5-COP projekt: Környezetfüggő viselkedés tesztelése Méréstechnika és Információs Rendszerek Tanszék ARTEMIS-AAL nap

Az R3-COP projekt EU kutatási projekt 2010 – 2013 Ipar és akadémia

Beágyazott számítógépes rendszerek  Mindennapjaink részesei  Jellegzetességek: o Környezettel együttműködő … autonóm és adaptív o Időfüggő viselkedésű … szigorúan valósidejű o Emberrel kapcsolatban álló … biztonságkritikus 3

Környezetfüggő viselkedés robusztusságának tesztelése Teszttervezési kihívások  Környezet állapota része a teszteseteknek  Nagyszámú környezeti konfiguráció tesztelése: szimulátorok  Informális követelmények  Precíz leírás  Ad-hoc teszt adatok  Szisztematikus tesztek  Hiányzó teszt minőségi mértékek  Fedettség 4

Tesztelési célok és koncepció  Tesztelési célok: o Környezeti konfigurációk szisztematikus generálása o Biztonságos viselkedés ellenőrzése  A megoldás alapelemei: o Lehetséges környezet leírása: Kontextus modellezés o Biztonságos viselkedés leírása: Scenario modellezés o Szisztematikus teszt generálás: Tesztelési stratégiák Kontextus modell Kontextus modell Scenario modellek Teszt stratégia Teszt konfiguráció generálás Teszt kiértékelő generálás 5

Kontextus modellezés  Objektumok, tulajdonságok,  relációk és kényszerek megadása Kontextus modell Kontextus modell Scenario modellek Teszt stratégia Teszt konfiguráció generálás Teszt kiértékelő generálás 6

Scenario modellezés (követelmények)  Scenario elemek: o Kezdeti kontextus, feltételek o Elvárt vagy tiltott viselkedés Kontextus modell Kontextus modell Scenario modellek Teszt stratégia Teszt konfiguráció generálás Teszt kiértékelő generálás 7

Teszt stratégiák Váratlan környezeti elemek Kezdeti kontextusok kiterjesztése Összetett környezetek Kezdeti kontextusok kombinálása Extrém szituációk Kontextus kényszerek megsértése Kontextus modell Kontextus modell Scenario modellek Teszt stratégia Teszt konfiguráció generálás Teszt kiértékelő generálás 8

Teszt lefutások kiértékelése  Minden követelmény betartásának ellenőrzése minden változás esetén o Környezet és események illesztése o Kiértékelő: megfigyelő automata Kontextus modell Kontextus modell Scenario modellek Teszt stratégia Teszt konfiguráció generálás Teszt kiértékelő generálás 9

Tesztelési módszer  Precíz követelmény modellezés  Automatikus eszközök Kontextus modell Kontextus modell Teszt végrehajtás Teszt lefutások Teszt értékelés Teszt adat Teszt adat generálás Teszt oracle Kontextus és követelmény modellezés Teszt kiértékelő generálás Akció modell Akció modell Scenariok Teszt mértékek Automatikus eszközökkel támogatott 10

Eredmények  Módszer- és eszközkészlet fejlesztése o Környezet és scenario modellezés o Tesztek és teszt kiértékelők generálása  Alkalmazások: ARTEMIS R3-COP projekt o Háztartási robot, autonóm villástargonca  Publikációk: o ICINCO (Control, Automation and Robotics), SSBSE (Search Based Software Engineering), TruMAS (Trustworthy Multi-Agent Systems)  Résztvevők: Majzik István, Micskei Zoltán, Oláh János, Szatmári Zoltán, Vörös András, hallgatók: Darvas Dániel, Horányi Gergő 11