Method and apparatus for supporting verification of system, and computer product

1 . A verification support apparatus, comprising:

an input unit configured to accept input of an unverified specification description representing an unverified design object constituted by unverified model elements;

a searching unit configured to search, 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 configured to extract contents of logic verification performed on the verified design object, based on a result of search by the searching unit; and

an output unit configured to output the contents of the logic verification extracted by the logic-verification-content extracting unit.

2 . The verification support apparatus according to claim 1 , wherein

the searching unit includes

an unverified-model-element extracting unit configured to extract the unverified model elements;

a verified-model-element extracting unit configured to extract the verified model elements; and

a similarity calculating unit configured to calculate a similarity between the unverified model element extracted by the unverified-model-element extracting unit and the verified model element extracted by the verified-model-element extracting unit, and

the logic-verification-content extracting unit is configured to extract the contents of the logic verification performed on the verified design object based on the similarity calculated by the similarity calculating unit.

3 . The verification support apparatus according to claim 2 , wherein

the similarity calculating unit includes

a comparing unit configured to compare a text expressing the unverified model element extracted by the unverified-model-element extracting unit and a text expressing the verified model element extracted by the verified-model-element extracting unit; and

a score calculating unit configured to calculate a score representing the similarity based on a result of comparison by the comparing unit, and

the logic-verification-content extracting unit is configured to extract the contents of the logic verification performed on the verified design object, based on the score calculated by the score calculating unit.

4 . The verification support apparatus according to claim 3 , wherein

the similarity calculating unit further includes a disassembling unit configured to disassemble each of the text expressing the unverified model element extracted by the unverified-model-element extracting unit and the text expressing the verified model element extracted by the verified-model-element extracting unit into words, and

the comparing unit is configured to compare the text expressing the unverified model element extracted by the unverified-model-element extracting unit and the text expressing the verified model element extracted by the verified-model-element extracting unit, based on the words obtained by disassembling by the disassembling unit.

5 . The verification support apparatus according to claim 4 , further comprising a weight setting unit configured to weight the words obtained by disassembling the text expressing the unverified model element by the disassembling unit, wherein

the score calculating unit is configured to calculate the score representing the similarity based on the result of comparison by the comparing unit and the weight of the word weighted by the weight setting unit.

6 . The verification support apparatus according to claim 1 , wherein the unverified specification description representing the unverified design object and the verified specification description representing the verified design object are described in a unified modeling language.

7 . The verification support apparatus according to claim 1 , wherein the contents of the logic verification includes at least any one of a logic verification policy, an item of the logic verification, a logic verification method, information on cost required for the logic verification, and a tool used when the logic verification is performed on the verified design object.

8 . A verification support method, comprising:

inputting an unverified specification description representing an unverified design object described with unverified model elements;

searching, from verified specification descriptions representing verified design objects described with verified model elements, a verified specification description identical or similar to the unverified specification description input at the inputting, based on the unverified model elements and the verified model elements;

extracting contents of logic verification performed on the verified design object, based on a result of search at the searching; and

outputting the contents of the logic verification extracted by the logic-verification-content extracting unit.

9 . A computer-readable recording medium that stores therein a verification support program making a computer execute:

inputting an unverified specification description representing an unverified design object described with unverified model elements;

searching, from verified specification descriptions representing verified design objects described with verified model elements, a verified specification description identical or similar to the unverified specification description input at the inputting, based on the unverified model elements and the verified model elements;

extracting contents of logic verification performed on the verified design object, based on a result of search at the searching; and

outputting the contents of the logic verification extracted by the logic-verification-content extracting unit.