软件规格间依存关系验证装置以及软件规格间依存关系验证方法

摘要

软件规格间匹配性验证装置(100)具有：规格构造解析部(103)，其取得对应的软件规格，并提取预先按照所述分层构造设定了在软件规格中的相对位置的各规格项目；规格项目匹配部(105)，其使用匹配规则，来判别各规格项目间有无依存关系，其中，匹配规则记述了在对应的规格项目间应成立的依存关系；依存关系信息生成部(106)，其提取依存关系信息，该依存关系信息用于指定被判定为具有依存关系的规格项目的组合；依存关系验证部(109)，其根据针对特定的规格项目的组合，通过包含应该成立的匹配条件的验证规则而提取出的依存关系信息，判定是否满足匹配条件，在判定为不满足时，将该依存关系作为不匹配信息进行输出；验证结果可视化部(110)，其通过预定的用户接口输出所述不匹配信息。