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

Descrizione completa

Dettagli Bibliografici
Autori principali: Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
Altri autori: Giannakopoulou, D
Natura: Journal article
Lingua:English
Pubblicazione: Springer 2011

Documenti analoghi