Paper Info
Title
Behaviour Directed Testing of Auto-code Generators
Abstract
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.
Year
DOI
Venue
2008
10.1109/SEFM.2008.13
SEFM
Keywords
Field
DocType
certain modeling language,specific behavioral pattern,novel technique,test specification,behaviour directed testing,stateflow auto-code generator,behavioral test specification,test-case generation,execution semantics,execution behavior,auto-code generator,auto-code generators,code generation,formal specification,semantics,modeling language
Behavioral pattern,Programming language,Test specification,Computer science,Modeling language,Theoretical computer science,Formal specification,Stateflow,Program testing,Semantics
Conference
Citations 
PageRank 
References 
4
0.46
20
Authors
4
Name
Order
Citations
PageRank
Prahladavaradan Sampath1647.65
A. C. Rajeev2464.34
Ramesh, S.314419.02
K. C. Shashidhar419512.88