1. The method to generate test sequences for communication protocols, the method comprising: the step of inputting the specification in which the data of the finite state machines (FSM) representing the specification of the communication protocols is inputted; the step of converting the test sequence generation problem which converts the test sequence generation problem to the SAT problem; and the step of generating test sequences for communication protocols in which the SAT problem is solved and the test sequences for communication protocols are generated.