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.
Patent No.:
Date of Patent:
May. 03, 2011
Filed:
Aug. 31, 2005
Qiang Zhu, Kawasaki, JP;
Ryosuke Oishi, Kawasaki, JP;
Tsuneo Nakata, Kawasaki, JP;
Takashi Hasegawa, Kawasaki, JP;
Qiang Zhu, Kawasaki, JP;
Ryosuke Oishi, Kawasaki, JP;
Tsuneo Nakata, Kawasaki, JP;
Takashi Hasegawa, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.