TETE: A Non-Invasive Unit Testing Framework for Source Transformation

Author

Shimozawa, Derek M. ; Cordy, James R.

Author_Institution

Sch. of Comput., Queen´´s Univ., Kingston, Ont.

fYear

0

fDate

0-0 0

Firstpage

137

Lastpage

146

Abstract

While the use of test-driven development as a debugging, pedagogic, and analytical methodology for object-oriented and procedural systems is well documented, it is a relatively unexplored and informal practice within the paradigm of source transformation. This paper describes a test-driven approach to the specification and evaluation of source transformation programs through rule-by-rule and type-by-type unit testing. We introduce the Transformation Engineering Toolkit for Eclipse (TETE), a test-driven framework centered around a simple yet flexible infrastructure for automatically and non-invasively unit testing sub-transformations, application strategies, and grammar types specified in the TXL source transformation language

Keywords

formal specification; object-oriented programming; program compilers; program debugging; program testing; software tools; TETE; TXL source transformation language; Transformation Engineering Toolkit for Eclipse; grammar types; noninvasive unit testing; object-oriented systems; procedural systems; program debugging; program evaluation; program specification; rule-by-rule unit testing; type-by-type unit testing; Application software; Automatic testing; Debugging; Engineering management; Object oriented modeling; Object oriented programming; Pattern matching; Programming profession; System testing; Tree data structures;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Technology and Engineering Practice, 2005. 13th IEEE International Workshop on

Conference_Location

Budapest

Print_ISBN

0-7695-2639-X

Type

conf

DOI

10.1109/STEP.2005.30

Filename

1691641