Software Specifications between consistency verification device 100 obtains the corresponding software specifications, a specification structure analysis unit 103 which extracts each specification item set relative position in the software specifications in accordance with a previously the hierarchical structure, the corresponding using the matching rules that describes to be dependency established between specification items, the specification items matching unit 105 to determine the presence or absence of dependencies between each specification item is determined dependencies were specifications item a dependency relationship information generating section 106 for extracting a dependency relationship information specifying a combination, based on the dependency information extracted by the verification rules with matching conditions to be satisfied for the combination of a particular specification item, determining whether the matching condition is satisfied and, if it is determined not satisfied, and dependencies verification unit 109 outputs the dependencies as inconsistent information, the non And a verification result visualization unit 110 for outputting the focus information by a predetermined user interface.
展开▼
