摘要 |
PROBLEM TO BE SOLVED: To efficiently verify a complicated operation with which an event difficult to be generated is associated. ! SOLUTION: An event detection unit 403 monitors at least one of a verification object 200 and a verification environment 10 performing verification to the verification object 200, and detects an event generated in at least one of the verification object 200 and the verification environment 10 during verification. The parameter file changeover unit 402 changes over a parameter file the verification environment 10 uses, in a case where the event detected by the event detection unit 403 is a specific event. ! COPYRIGHT: (C)2015,JPO&INPIT |