A novel testing approach for safety-critical software

摘要

In this paper we propose a new black-box testing approach on how to select test cases to overcome the shortcoming that some conventional black-box testing methods lack precise testing adequacy measures to measure the quality of testing and direct the testing process and thoroughly test safety-critical software. The method is based on two key ideas: (1) specification classifying, and (2) controlled objects covering. By using the method, several kinds of computer interlocking safety software have been successfully tested and the testing results show that the method is efficient.