AN AUTOMATIC CONFORMANCE-TEST CASE GENERATION METHOD BASED ON FINITE-STATE MACHINE

Conformance testing is to decide whether or not implementation Under Test（IUT） is conformant to relevant standards. With the increase of the types of IUTs, it isimpossible to generate test cases manually. So, it is necessary that an automatic methodbe found to generate test cases for the IUT. The method presented in this paper is oneof such methods. The number of test cases generated by this method has a certain upperlimit.