1. Automating Software Testing Using Program Analysis.
- Author
-
Godefroid, Patrice, de Halleux, Peli, Nori, Aditya V., Rajamani, Sriram K., Schulte, Wolfram, Tillmann, Nikolai, and Levin, Michael Y.
- Subjects
- *
COMPUTER software testing , *DEBUGGING , *COMPUTER software developers , *SOFTWARE engineering , *COMPUTER software , *COMPUTER programming , *DYNAMIC testing - Abstract
The article discusses technological innovations that will help create automatic software testing programs for computers. It is theoretically impossible to create a program that can automatically test and debug every line of code in a software application, but tools that can test large portions of C programs would be better than any previous technology. Software engineers at Microsoft Corp. have worked on dynamic test generators which offer significant improvements over static test generators. They are using a combination of symbolic execution, dynamic analysis, and systematic state-space exploration tools to test their software.
- Published
- 2008
- Full Text
- View/download PDF