Lean Implementations of Software Testing Tools Using XML Representations of Source Codes

摘要

By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The conversions between a source program and its XML representation can be easily realized using existing conversion tools. In this way, the conversion tools can automatically analyze and parse the source program, so that testing tool developers only need to concentrate on the manipulation of the XML document. If appropriate XML DOM APIs are chosen, the implementations of such testing tools will be pretty lean. A detailed case study for GMPS tool, a prototype for the TACCLE methodology, is presented to illustrate the new approach.