Software Analysis and Test Technologies

This report examines current software analysis and test technology and needs that should be filled by future technology. Analysis and testing of software includes all life cycle activities conducted to verify and validate the software product. These activities are undertaken with the goal of assuring the robustness of the development process and the integrity of the developed product throughout the life cycle. Successful strategies for analysis and test must provide decision support information to the acquisition manager, the certifying agent, and the field engineer. There is a need for quantitative empirical data to demonstrate when and where various techniques
are most successful. There is a need for integrated development environments which include analysis and test support. This report also considers improvements in analysis and test required to support trends in formal methods, object oriented development, parallel programming, and system engineering.