Modell alapú tesztelés mobil környezetben

Átírás

1 Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

2 A terület behatárolása Testing is an activity performed for evaluating product quality Ezen belül: szoftver tesztelés tesztesetek definiálása, értékelése modell alapján

3 Modell alapú tesztelési tevékenységeink Teszt generálás Modell Robusztusság tesztelés Teszt specifikálás mobil esetben

4 Teszt generálás és futtatás Modell Absztrakt tesztesetek Konkrét tesztesetek Teszt kiválasztási kritérium (pl. minden átmenetet bejáró teszt készlet) Implementációhoz illesztés Implementáció Eredmény, fedés mértéke

5 Teszt generálás eredmények Kapcsolódó munkáink: o UML állapotgép modell, modell ellenőrző használata o MOGENTES projekt: ipari példák, időzítés Nagyvilág: o Smartesting cég: UML állapotgép + OCL kényszerek o MS Research: Spec Explorer, modellek oldalnyi dokumentáció alapján, méret kezelhető o

6 Modell alapú tesztelési tevékenységek Teszt generálás Modell Robusztusság tesztelés Teszt specifikálás mobil esetben

7 Cél: Robusztusság tesztelés o helytelen bemenetek elleni védelem tesztelése Modell: o interfész leírások o helyes és hibás értékek (paramétertípusonként) Tesztesetek automatikus generálása, futtatása Alkalmazási környezet: köztesrétegek

8 Modell alapú tesztelési tevékenységek Teszt generálás Modell Robusztusság tesztelés Teszt specifikálás mobil esetben

9 Környezet és kihívások Mobil eszközökön futó szoftverek Rendszer szintű tesztelés Kihívások o Dinamizmus o Helyi broadcast o Környezet specifikus Cél: teszt követelmények leírása

10 Forgatókönyv leíró nyelvek Kommunikáció grafikus leírása Mérnökök által is jól használható Példányok UML 2 szekvencia diagramok Kényszerek Vezérlési szerkezetek Üzenetek

11 Forgatókönyv leíró nyelvek Kommunikáció grafikus leírása UML 2 szekvencia diagramok UML Testing Profile Hogyan adjuk meg a topológia változást? nyelv kibővítése

12 Szintaktika definiálása x C2 <<safedistance>> y topológia nézet Topológia változások leírása objektum diagramon esemény nézet Konfiguráció Broadcast változás: két nézet üzenetek leírása összekötése

13 Szintaktika definiálása tanulságok C1 x <<communicationdistanceonly >> y C2 x <<safedistance>> y topológia nézet esemény nézet Új nyelvi elemek: meglévő rajzkészlet újrahasznosítása (eszköztámogatás) Amit lehet sztereotípiával megadni (beépített)

14 Teszt követelmények ellenőrzése központi, utólagos ellenőrzés x C1 <<communicationdistanceonly >> y x C2 <<safedistance>> y követelmény konkrét lefutás illeszkedések keresése kiegészítések szemantikáját megadni

15 UML SD szemantikája a szabványban informális részleges rendezés az események között o!m1 <!m3,!m1 <?m1,!m1 <>!m2 helyes trace ek halmaza

16 Formális szemantika megadása Sok féle formalizmust javasoltak már o ASM, term átírás, Büchi automata, logika, Petri háló Mire akarjuk használni? o Összes lefutás megadása o Online ellenőrzés o Részleges vagy teljes specifikáció o Döntési lehetőségek a szemantikákban

17 Példa: neg használata Helytelen (invalid) lefutások megadása követelmény lefutás 1 lefutás 2 Adott felhasználástól függ, hogy t2 helytelen vagy nem meggyőző (inconclusive)

18 Definiált szemantika követelmény diagram > szimbolikus automata helyek vágatok CHANGE(-) q0 {x,y} q6 {x,y,$1,$2} CHANGE(C2) true q1 {x,y} CHANGE(-)Å» (!hello,x,$1) q5 {x,y,$1,$2} q2 {x,y,$1} (!hello,x,$1) [update($1)] (?hello,y,$1) q3 {x,y,$1} (!SPConnection Changes([x],[]), y,$2)) [update($2)] true q4 {x,y,$1} CHANGE(-) Å» (?hello,y,$1) CHANGE(-)Å» (!SPConnectionChanges([x],[]), y,$2))

19 Összefoglalás Szoftver tesztelés különböző területeinek támogatása modellezéssel Új (tesztelési) nyelv kidolgozása o Környezet sajátosságainak azonosítása o Szintaktika kiegészítése (eszköztámogatás!) o Szemantika: nem biztos, hogy létezik <<a szemantika>>