Branch Coverage For Arbitrary Languages Made Easy

Program-Transformation.Org: The Program Transformation Wiki
Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue!

by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com

Abstract

Branch coverage is an important measure of the thoroughness of testing. One can easily get tools that collect this information for mainstream languages (C, Ada) on mainstream platforms (Solaris, UNIX). Such tools are difficult to find for less widely used or interpretive languages (JavaScript?) or languages used on nonstandard platforms (C in embedded systems). This paper shows the straightforward result that an industrial strength source-to-source transformation system can install test probes in software systems easily. What is not obvious is that such transformation systems exist. The consequential good news is that branch coverage testing tools can be easily built for all kinds of software in all kinds of execution environments.

Available

-- EelcoVisser - 23 Jan 2002


CategoryPaper