|
Branch coverage tools are an important means for determing how well tested software is. Such tools are hard to obtain for nonstandard languages or dialects, or for unusual execution environments. This talk shows how a program transformation tool can be used to implement branch coverage easily for virtually any programming language or environment. Consequently, even software with unusual languages can obtain valuable test coverage information.
Dr. Baxter has been building systems software for over 30 years. He is presently the Chief Technology Officer of Semantic Designs, a software-tools building company. He is also active in academic conferences, and is presently the Program CoChair for the International Conference on Software Maintence 2002 (Montreal).