Approaches to Software Verification With Emphasis on Real-Time Applications

Software verification is a critical element in attaining reliable and responsive software. This paper discusses current approaches to software verification in the context of an idealized development life cycle, and surveys current research towards new approaches. Although proof of correctness approaches are included, the focus is on testing technology. Management aspects are covered, as are automated tools to aid the testing process. The real-time emphasis adds a concern for performance evaluation and environmental interaction as well as functional correctness. An underlying theme is the relation between system requirements and the testing, integration, and acceptance process.