Generating Test Cases for Code Generators by Unfolding Graph ...

Reference

Paolo Baldan, Barbara König, and Ingo Stürmer. Generating test cases for code generators by unfolding graph transformation systems. In Proc. of ICGT '04 (International Conference on Graph Transformation), pages 194–209. Springer-Verlag, 2004. LNCS 3256.

Abstract

Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, code generators are not as mature as classical compilers and they need to be extensively tested. This paper proposes a technique for systematically deriving suitable test cases for code generators, involving the interaction of chosen sets of rules. This is done by formalising the behaviour of a code generator by means of graph transformation rules and exploiting unfolding-based techniques. Since the representation of code generators in terms of graph grammars typically makes use of rules with negative application conditions, the unfolding approach is extended to deal with this feature.

Suggested BibTeX entry:

@inproceedings{BKS04,
    author = {Paolo Baldan and Barbara K\"{o}nig and Ingo St{\"u}rmer},
    booktitle = {Proc. of ICGT '04 (International Conference on Graph Transformation)},
    note = {{LNCS} 3256},
    pages = {194--209},
    publisher = {Springer-Verlag},
    title = {Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems},
    year = {2004}
}



GZipped PostScript (233 kB)PDF (225 kB)
© University of Duisburg-Essen, Theoretical Computer Science group