Fault-Injection and Code-Coverage Techniques and Tools for Software Testing
(M.R. Lyu)

Software testing has been an important subject in sophisticated software systems. The multi-billion dollar Year 2000 problem is mainly a software testing problem. For many modern systems, including networking and telecommunications systems, banking and finance systems, and consumer electronics systems, software plays a crucial role in their daily control, communication, and operations. It is estimated that over 50% of development cost will be spent on the testing for correctness and reliability of these systems. In this project we will focus on advanced testing techniques which use fault injection and coverage analysis to assure the correctness and reliability of a system. We will further develop an automatic and systematic tool to encapsulation these techniques for a comprehensive and integrated testing procedure.