<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://dk.um.si/IzpisGradiva.php?id=65529"><dc:title>Pristopi h generiranju testnih primerov na osnovi modela stanj</dc:title><dc:creator>Turner,	Rajko	(Avtor)
	</dc:creator><dc:creator>Heričko,	Marjan	(Mentor)
	</dc:creator><dc:creator>Beranič,	Tina	(Komentor)
	</dc:creator><dc:subject>Programska oprema</dc:subject><dc:subject>testiranje na osnovi modelov</dc:subject><dc:subject>model stanj</dc:subject><dc:subject>avtomatsko generiranje testnih primerov</dc:subject><dc:subject>orodja za generiranje testnih primerov.</dc:subject><dc:description>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.</dc:description><dc:publisher>[R. Turner]</dc:publisher><dc:date>2017</dc:date><dc:date>2017-04-21 18:34:45</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>65529</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>