20.500.12556/DKUM-65529 Pristopi h generiranju testnih primerov na osnovi modela stanj Approaches to generate test cases based on state models Namen magistrskega dela je bil raziskati pristope h generiranju testnih primerov na osnovi modelov stanj. Na osnovi sistematičnega pregleda literature smo identificirali najpogosteje uporabljene pristope in orodja, ki se uporabljajo pri testiranju na osnovi modelov stanj. V magistrski nalogi smo najprej na podlagi sistemskih specifikacij v orodjih izdelali modele z modelirno tehniko FSM (ang. Finite State Machine) in UML (ang. Unified Modeling Language). Nato smo generirali testne primere s pomočjo orodij ModelJUnit in Conformiq Designer, pri čemer določeno orodje uporablja nabor algoritmov ali tehnologij, ki na podlagi kriterijev in tehnik generira le te. Orodje ModelJUnit uporablja naključni, pogolten in algoritem poglej vnaprej, orodje Conformiq Designer pa tehnologiji simbolno izvajanje in reševanje omejitev. Na koncu smo s pomočjo kriterijev pokritosti merili uspešnost generiranih testnih primerov in s tem tudi pokritost modela. Predstavljeni rezultati so lahko v pomoč uporabnikom pri odločitvi in izbiri pristopa ter orodja za generiranje testnih primerov na osnovi modelov stanj. Programska oprema testiranje na osnovi modelov model stanj avtomatsko generiranje testnih primerov orodja za generiranje testnih primerov. Software model based testing state model test cases automatic generation model based testing tools. true true false [R. Turner] Slovenski jezik Angleški jezik Magistrsko delo/naloga 2017-04-21 18:34:45 2017-06-05 08:40:32 2022-07-08 03:08:48 2019-07-11 15:21:16 2017 0 Maribor 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.4'22(043.2) 20619798 URN:SI:UM:DK:FWCI7SPV MAG_Turner_Rajko_2017.pdf MAG_Turner_Rajko_2017.pdf 1 9D5AD12F32AB904F22B47F9174FF7DD6 3ce590c260baf54e9fb96b9758c4685f1f239598a34780645135030e8a4e844b 165e3fa2-7c0e-11eb-bb7a-00155d0001ca https://dk.um.si/Dokument.php?lang=slv&id=110872 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0