| 摘要 |
<P>PROBLEM TO BE SOLVED: To make it possible to extend versatility, and to easily and accurately achieve verification in a verification system and a verification device for verifying the operation of a program to be executed in a device. <P>SOLUTION: Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50). The information showing a sequence figure T20 created by the examiner through the tool 50 is converted into a test script T22 recognizable and executable by a CAN bus monitor 52 by the generation function of a script in the tool 50. The CAN bus monitor 52 monitors the operation of an ECU 54 as the object of verification, and determines whether or not the actual operation of the ECU 54 is matched with the test specifications shown by the test script T22, and outputs a test report T24 showing the determination result to the outside. <P>COPYRIGHT: (C)2010,JPO&INPIT |
