Back to results
US 2006/0156264 A1Published application
Method and apparatus for supporting verification of system, and computer product
AssigneeFujitsu Limited
InventorMinoru Shoji
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
AssigneeFujitsu Limited
InventorMinoru Shoji
Estimating the term…
In a verification support apparatus, an input unit accepts input of an unverified specification description representing an unverified design object constituted by unverified model elements. A searching unit searches, from verified specification descriptions representing verified design objects constituted by verified model elements, a verified specification description identical or similar to the unverified specification description input to the input unit based on the unverified model elements and the verified model elements. A logic-verification-content extracting unit extracts contents of logic verification performed on the verified design object, based on a result of search by the searching unit. An output unit outputs the contents of the logic verification extracted by the logic-verification-content extracting unit.
A verification support apparatus, comprising:
A verification support method, comprising:
A computer-readable recording medium that stores therein a verification support program making a computer execute:
Dependencies are inferred from the claim text.