摘要 |
PROBLEM TO BE SOLVED: To provide a verification processor, enabling a user to easily confirm whether a data processing system that is a verification object satisfies a request designated thereby, and to also easily confirm a measurement result for coverage of the data processing system by a coverage index designated thereby. SOLUTION: A state transition flag of the data processing system that is the verification object is acquired, the request to the data processing system is acquired, and the coverage index showing an operation to be included in the verification range of the data processing system is acquired. Whether the acquired state transition flag satisfies the request or not is verified, the coverage of the state transition flag is measured corresponding to the acquired coverage index, and the result is output. COPYRIGHT: (C)2008,JPO&INPIT
|