Verifying the completeness of test

Abstract

Testing of a software product can be claimed to be complete when these criteria have been satisfied: all elements that can fail must have been tested, and all test outcomes must be in agreement with the expected failure effects. This paper addresses how these criteria can be met with particular reference to critical software intensive systems such as aircraft or plant control systems.