Abstract：In the paper,a criterion is stated for program testing,which requires every conditional branch in the program will be traversed at least cone during the test.This paper also gives a method of generating test cases.Test cases generated by this method can c
1996, Vol. 20 