A new test design method for requirement-based software testing

摘要

A new test design method for requirement-based software testing is proposed in this paper. Two key techniques supporting this method are representing software requirements by using multiple-valued logic and generating test cases by using test generation algorithm for digital circuits. A procedure for designing a minimum complete test set for requirement-based software testing is presented. Finally, some results of using this new method are presented.