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
- Publisher copy:
- Copyright date:
Seamless Testing for Models and Code.
If you are the owner of this record, you can report an update to it here: Report update to this record