Logo des Repositoriums
 

Generating TTCN-3 test cases from EFSM models of reactive software using model checking

Kurzanzeige
dc.contributor.authorErnits, Juhan
dc.contributor.authorKull, Andreas
dc.contributor.authorRaiend, Kullo
dc.contributor.authorVain, Jüri
dc.contributor.editorHochberger, Christian
dc.contributor.editorLiskowsky, Rüdiger
dc.date.accessioned2019-06-04T08:52:20Z
dc.date.available2019-06-04T08:52:20Z
dc.date.issued2006
dc.description.abstractThe 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.en
dc.identifier.isbn978-3-88579-188-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/23518
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-94
dc.titleGenerating TTCN-3 test cases from EFSM models of reactive software using model checkingen
dc.typeText/Conference Paper
gi.citation.endPage248
gi.citation.publisherPlaceBonn
gi.citation.startPage241
gi.conference.date2.-6. Oktober 2006
gi.conference.locationDresden
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings-94-32.pdf
Größe:
238.34 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P094 - INFORMATIK 2006 - Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)