Seamless Testing for Models and Code.

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

Celý popis

Podrobná bibliografie
Hlavní autoři: Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
Další autoři: Giannakopoulou, D
Médium: Journal article
Jazyk:English
Vydáno: Springer 2011