Automating Software Testing Using Program Analysis.

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.