Title :
Automatic Test Generation for Model-Based Code Generators
Author :
Zelenov, Sergey V. ; Silakov, Denis V. ; Petrenko, Alexander K. ; Conrad, Mirko ; Fey, Ines
Author_Institution :
Russian Federation, Rosco
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.
Keywords :
program testing; software engineering; software tools; GraphOTK; Simulink; Stateflow models; automatic test generation; model-based code generators; model-based design tools; Aerospace industry; Application software; Automatic testing; Automotive engineering; Computer languages; Design optimization; Documentation; Embedded system; Region 8; System testing;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.70
