Journal article icon

Journal article

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 specific...

Expand abstract

Actions


Access Document


Authors


Januzaj, V More by this author
Schallhart, C More by this author
Expand authors...

Contributors

Role:
Editor
Publisher:
Springer Publisher's website
Journal:
FASE
Volume:
6603
Pages:
278-293
Publication date:
2011
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76d
Source identifiers:
303306
Local pid:
pubs:303306
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP