DEVICE FOR VERIFYING DEPENDENCIES BETWEEN SOFTWARE SPECIFICATIONS, AND METHOD FOR VERIFYING DEPENDENCIES BETWEEN SOFTWARE SPECIFICATIONS

摘要

A inter-software-specification-consistency-verifying device (100) has: a specification structure analysis unit (103) for acquiring a corresponding software specification, and extracting individual specification items in which relative positions in the software specification have been set in advance according to a hierarchy structure; a specification item matching unit (105) for determining whether there exists a dependency between the specification items using matching rules obtained by defining dependencies to be established between the corresponding specification items; a dependency information generation unit (106) for extracting dependency information specifying the combination of specification items determined to have a dependency; a dependency verification unit (109) for determining whether consistency criteria have been satisfied on the basis of the dependency information extracted using the verification rules including consistency conditions to be established for the specified combinations of specification items, and, when the criteria are determined not to be satisfied, outputting the dependency as inconsistency information; and a verification result visualization unit (110) for outputting the inconsistency information using a prescribed user interface.