Patent ID: 9075737
Filing Date: 2015-07-07
Classification: G06F

Abstract:
1. A verification device comprising: a receiving unit configured to receive an input of a definition document that defines a grammar of a structured document; an encoding rule generating unit configured to generate an encoding rule based on the received definition document, the encoding rule defining state transitions used for encoding the structured document into binary data; a test data generating unit configured to generate test data in which all combinations of the state transitions are expressed in bits in accordance with the encoding rule, the test data being to be input to a decoding device that decodes the encoded structured document; an error rule generating unit configured to add an error rule to the encoding rule when there is a difference between the number of state transitions and a maximum number that is expressed by the number of bits necessary for expressing the number of transitions, the error rule corresponding to the difference; a determined value generating unit configured to generate a determined value that indicates whether a transition is a normal transition or an abnormal transition for each of the combinations of the state transitions, in accordance with the encoding rule; and a verifying unit configured to