Automatic Test Generation for Model-Based Code Generators

Authors:
Sergey V. Zelenov;Denis V. Silakov;Alexander K. Petrenko;Mirko Conrad;Ines Fey
Affiliations:
-;-;-;-;-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 2

Testing-based translation validation of generated code in the context of IEC 61508

Formal Methods in System Design
Model-based testing of optimizing compilers

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for Simulink and Stateflow models.