Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
KiadtaCsaba Barna Megváltozta több, mint 9 éve
1
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
2
Az R3-COP projekt EU kutatási projekt 2010 – 2013 Ipar és akadémia
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
Hasonló előadás
© 2024 SlidePlayer.hu Inc.
All rights reserved.