| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Show document Help

Title:Pristopi h generiranju testnih primerov na osnovi modela stanj
Authors:ID Turner, Rajko (Author)
ID Heričko, Marjan (Mentor) More about this mentor... New window
ID Beranič, Tina (Comentor)
Files:.pdf MAG_Turner_Rajko_2017.pdf (2,80 MB)
MD5: 9D5AD12F32AB904F22B47F9174FF7DD6
 
Language:Slovenian
Work type:Master's thesis/paper
Typology:2.09 - Master's Thesis
Organization:FERI - Faculty of Electrical Engineering and Computer Science
Abstract: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.
Keywords:Programska oprema, testiranje na osnovi modelov, model stanj, avtomatsko generiranje testnih primerov, orodja za generiranje testnih primerov.
Place of publishing:Maribor
Publisher:[R. Turner]
Year of publishing:2017
PID:20.500.12556/DKUM-65529 New window
UDC:004.4'22(043.2)
COBISS.SI-ID:20619798 New window
NUK URN:URN:SI:UM:DK:FWCI7SPV
Publication date in DKUM:05.06.2017
Views:1660
Downloads:139
Metadata:XML DC-XML DC-RDF
Categories:KTFMB - FERI
:
Copy citation
  
Average score:(0 votes)
Your score:Voting is allowed only for logged in users.
Share:Bookmark and Share



Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Secondary language

Language:English
Title:Approaches to generate test cases based on state models
Keywords:Software, model based testing, state model, test cases automatic generation, model based testing tools.


Comments

Leave comment

You must log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica