Auflistung nach Autor:in "Ernits, Juhan"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragGenerating TTCN-3 test cases from EFSM models of reactive software using model checking(INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Ernits, Juhan; Kull, Andreas; Raiend, Kullo; Vain, JüriThe 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.