Behaviour Directed Testing of Auto-code Generators

This paper addresses the problem of testing auto-code generators. Auto-code generators take as input a model in certain modeling language, and produce as output a program that captures the execution semantics of the input-model. We focus on the problem of test specification for the purpose of automa...

Full description

Saved in:
Bibliographic Details
Published in2008 Sixth IEEE International Conference on Software Engineering and Formal Methods pp. 191 - 200
Main Authors Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.11.2008
Subjects
Auto-code generator
Automatic programming
Automatic test pattern generation
Automatic test-case generation
Automatic testing
Behavioural test specification
Domain specific languages
Formal verification
Research and development
Semantics
Software engineering
Software testing
Stateflow
Test pattern generators
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:This paper addresses the problem of testing auto-code generators. Auto-code generators take as input a model in certain modeling language, and produce as output a program that captures the execution semantics of the input-model. We focus on the problem of test specification for the purpose of automatically generating a test-suite. We propose a novel technique for test specification based on the execution behavior of models. We also propose an algorithm that uses such a behavioral test specification for directing test-case generation towards very specific behavioral patterns that we would like to exercise. We have implemented this technique, and have applied it for generating test-cases for a Stateflow auto-code generator.
ISBN:0769534376
9780769534374
ISSN:1551-0255
2160-7656
DOI:10.1109/SEFM.2008.13