Paper Info
Title
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking
Abstract
The paper describes a full procedure of executable test code generation from specification models using the Uppaal model checker. Test cases are generated for black-box testing of reactive software that is connected to the tester via an asynchronous message-based interface. For specifying the observable behaviour of the software under test we define a modelling language that is based on extended finite state machines. A model in such a language is transformed to a Uppaal model taking a structural coverage criterion as a parameter. Uppaal is used to find an abstract test sequence that is suboptimal in terms of length. Next, we present the rules for transforming the abstract test sequences to TTCN-3.
Year
Venue
Keywords
2006
GI-Jahrestagung
model checking
Field
DocType
Citations 
Model checking,Programming language,Computer science,Extended finite-state machine,Finite-state machine,Code generation,Software,Test case,TTCN-3,Executable
Conference
0
PageRank 
References 
Authors
0.34
14
4
Name
Order
Citations
PageRank
Juhan P. Ernits1293.65
Andres Kull291.56
Kullo Raiend391.55
Jüri Vain45712.80