Method and apparatus for supporting verification, and computer product

1 . A verification supporting apparatus comprising:

an acquiring unit that acquires a first verification-item list in which a verification item that indicates a content of verification for a verification target is listed in an arbitrary format, a functional specification that is an electronic specification including a functional description specifying a function of the verification target, and a sequential specification that is an electronic specification including a sequential description specifying a sequence of the verification target;

a keyword extracting unit that extracts a keyword about the verification target from the first verification-item list;

a creating unit that creates a second verification-item list that includes verification items in a format in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and

a converting unit that converts the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword.

2 . The verification supporting apparatus according to claim 1 , further comprising a sequential-description extracting unit that extracts a sequential description that does not match with the keyword, from the sequential specification, wherein

the converting unit converts the first verification-item list into the third verification-item list by deleting a sequential description, which is extracted by the sequential-description extracting unit, from the second verification-item list.

3 . The verification supporting apparatus according to claim 1 , further comprising a verification-item extracting unit that extracts a verification item that is not included in the third verification item list, from the second verification-item list.

4 . The verification supporting apparatus according to claim 1 , further comprising a calculating unit that calculates a coverage that indicates a completeness of the first verification-item list in covering the verification items of the second verification-item list, based on the second verification-item list and the third verification item list.

5 . The verification supporting apparatus according to claim 1 , further comprising:

a detecting unit that detects a keyword that does not match with the sequential description of the sequential specification from among the keywords extracted; and

a verification-content extracting unit that extracts a content of verification including the keyword detected, from among the contents of verification of the first verification-item list.

6 . The verification supporting apparatus according to claim 3 , wherein

the acquiring unit acquires a latest functional specification that is obtained by updating the functional specification, and a latest sequential specification that is obtained by updating the sequential specification, and

the creating unit creates a fourth verification-item list that includes verification items in a format in which each of the verification items is formed with a functional description of the latest functional specification and a sequential description of the latest sequential specification about the output action of the verification target.

7 . The verification supporting apparatus according to claim 6 , wherein the verification-item extracting unit extracts a verification item that is not included in the second verification-item list, from the fourth verification-item list.

8 . The verification supporting apparatus according to claim 7 , wherein

the calculating unit calculates a rate of an additional verification of the latest functional specification and the latest sequential specification with respect to the functional specification and the sequential specification, based on number of the verification items in the fourth verification-item list and number of the verification items that are not included in the second verification-item list.

9 . A verification supporting method comprising:

acquiring a first verification-item list in which a verification item that indicates a content of verification for a verification target is listed in an arbitrary format, a functional specification that is an electronic specification including a functional description specifying a function of the verification target, and a sequential specification that is an electronic specification including a sequential description specifying a sequence of the verification target;

extracting a keyword about the verification target from the first verification-item list;

creating a second verification-item list that includes verification items in a format in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and

converting the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword.

10 . The verification supporting method according to claim 9 , further comprising extracting a sequential description that does not match with the keyword, from the sequential specification, wherein

the converting includes converting the first verification-item list into the third verification-item list by deleting a sequential description, which is extracted at the extracting, from the second verification-item list.

11 . The verification supporting method according to claim 9 , further comprising extracting a verification item that is not included in the third verification item list, from the second verification-item list.

12 . A computer-readable recording medium that stores a verification supporting program that makes a computer execute

acquiring a first verification-item list in which a verification item that indicates a content of verification for a verification target is listed in an arbitrary format, a functional specification that is an electronic specification including a functional description specifying a function of the verification target, and a sequential specification that is an electronic specification including a sequential description specifying a sequence of the verification target;

extracting a keyword about the verification target from the first verification-item list;

creating a second verification-item list that includes verification items in a format in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and

converting the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword.

13 . The computer-readable recording medium according to claim 12 , wherein the verification supporting program further makes the computer execute extracting a sequential description that does not match with the keyword, from the sequential specification, wherein

the converting includes converting the first verification-item list into the third verification-item list by deleting a sequential description, which is extracted at the extracting, from the second verification-item list.

14 . The computer-readable recording medium according to claim 12 , wherein the verification supporting program further makes the computer execute extracting a verification item that is not included in the third verification item list, from the second verification-item list.