TEST SPECIFICATION GENERATING DEVICE, TEST SYSTEM, AND METHOD AND PROGRAM FOR GENERATING TEST SPECIFICATION

摘要

PPROBLEM TO BE SOLVED: To facilitate the generation of test specifications for testing the operations of a system to be tested and enhance the reliability of the test by reducing test leakage. PSOLUTION: A normal event row generating part 112 generates a normal even row according to state transition information stored in a state transition storage part 11. An event row agitating part 130 agitates the normal event row according to the agitation pattern stored in an agitation pattern storage part 122, and generates an agitation event row. A test specification output part 190 outputs the test specifications including the agitation event row agitated by the even row agitating part 130. PCOPYRIGHT: (C)2008,JPO&INPIT