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.
  • Citation
  • BibTeX
Ernits, J., Kull, A., Raiend, K. & Vain, J., (2006). Generating TTCN-3 test cases from EFSM models of reactive software using model checking. In: Hochberger, C. & Liskowsky, R. (Hrsg.), INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 241-248).
@inproceedings{mci/Ernits2006,
author = {Ernits, Juhan AND Kull, Andreas AND Raiend, Kullo AND Vain, Jüri},
title = {Generating TTCN-3 test cases from EFSM models of reactive software using model checking},
booktitle = {INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 241-248 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-94-32.pdf238.3Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-188-1
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2006
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record