| 摘要 |
PROBLEM TO BE SOLVED: To provide a verification device capable of easily executing a test which ensures operation of a decoding device.SOLUTION: An encoding rule generation unit generates an encoding rule which defines state transition on the basis of a definition document. A test data generation unit generates test data according to the encoding rule. When a difference is generated between a transition number of the state transition and a maximum number expressed by a bit number necessary for expressing the transition number, an error rule generation unit adds an error rule corresponding to the difference to the encoding rule. A determination value generation unit generates a determination value which shows either a normal transition or an abnormal transition in association with a combination of all of the state transitions according to the encoding rule. A verification unit compares an output determination value that is a result obtained by inputting the test data to the decoding device with the determination value. When the values are different, it is determined that the decoding device is not in a normal state. |
