Paper Info
Title
Seamless testing for models and code
Abstract
This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implementation is ANSI C, we developed a seamless testing environment based on our test specification language FQL. We demonstrate how to apply FQL to activity diagrams in such a way that FQL test specifications easily translate from UML to C code. Our approach does not require any additional glue or auxiliary code but is fully automatic except for straightforward source code annotations that link source and model. In this way, we can check for modeled but unimplemented behavior and vice versa, and we can also evaluate the degree of abstraction between model and implementation.
Year
DOI
Venue
2011
10.1007/978-3-642-19811-3_20
FASE
Keywords
Field
DocType
straightforward source code annotation,activity diagram,ansi c,fql test specification,seamless testing,test suite,c code,uml activity diagram,link source,test specification language fql,auxiliary code,model based testing,specification language,source code
Test suite,System under test,Avionics software,Abstraction,Programming language,Unified Modeling Language,ANSI C,Source code,Computer science,Activity diagram
Conference
Volume
ISSN
Citations 
6603
0302-9743
5
PageRank 
References 
Authors
0.48
26
7
Name
Order
Citations
PageRank
Andreas Holzer119713.62
Visar Januzaj2152.47
Stefan Kugele37213.96
Boris Langer471.26
Christian Schallhart5113756.06
Michael Tautschnig642525.84
Helmut Veith72476140.58