Verification device, verification method and computer program product
US9075737B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 12, 2013 |
| Grant date | Jul 7, 2015 |
| Priority date | — |
| Expiry date | Feb 19, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/279
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
According to an embodiment, a verification device includes an encoding rule generating unit, a test data generating unit, an error rule generating unit, a determined value generating unit, and a verifying unit. The encoding rule generating unit is configured to generate an encoding rule based on a definition document for a structured document. The test data generating unit is configured to generate test data in which all combinations of state transitions are expressed in bits in accordance with an encoding rule. The error rule generating unit is configured to add an error rule to the encoding rule. The determined value generating unit is configured to generate a determined value indicating whether a transition is normal. The verifying unit is configured to determine that a decoding device is not normal when the determined value and an output determined value resulting from inputting the test data to the decoding device are different.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.