The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Jul. 07, 2015

Filed:

Sep. 12, 2013
Applicant:

Kabushiki Kaisha Toshiba, Minato-ku, Tokyo, JP;

Inventors:

Yumiko Sakai, Kanagawa, JP;

Yusuke Doi, Kanagawa, JP;

Assignee:

Kabushiki Kaisha Toshiba, Minato-ku, Tokyo, JP;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/00 (2006.01); G06F 11/10 (2006.01); G06F 17/22 (2006.01); G06F 17/30 (2006.01); G06F 17/27 (2006.01); G06F 11/263 (2006.01);
U.S. Cl.
CPC ...
G06F 11/10 (2013.01); G06F 17/2247 (2013.01); G06F 17/30911 (2013.01); G06F 17/2765 (2013.01); G06F 11/263 (2013.01);
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.


Find Patent Forward Citations

Loading…