[发明专利]软件规格间依存关系验证装置以及软件规格间依存关系验证方法

摘要

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

主权项

一种软件规格间匹配性验证装置，其用于验证在具有分层构造的软件规格中包含的数据项目即规格项目的匹配性，其特征在于，具有：规格构造解析部，其构成为取得至少一组的相互对应的软件规格，并提取预先按照所述分层构造设定了在所述软件规格中的相对位置的所述各规格项目；匹配规则存储部，其存储有匹配规则，该匹配规则记述了在所述对应的软件规格中包含的所述规格项目间应成立的对应关系即依存关系；规格项目匹配部，其构成为使用所述匹配规则来判别所述各规格项目间有无依存关系；依存关系信息生成部，其构成为提取对通过所述规格项目匹配部判定为具有依存关系的所述规格项目的组合进行指定的信息，来作为依存关系信息；验证规则存储部，其存储有验证规则，该验证规则对于所述软件规格之间特定的所述规格项目的组合规定并定义了应成立的匹配条件；依存关系验证部，其构成为对于特定的所述规格项目的组合，基于所述提取的依存关系信息，判定是否具有不满足在所述验证规则存储部中存储的所述验证规则所规定的所述匹配条件的依存关系，在判定为具有不满足的依存关系时，将不满足该匹配条件的依存关系作为表示所述软件规格间的不匹配的不匹配信息来输出；以及验证结果输出部，其构成为通过预定的用户接口输出来自所述依存关系验证部的所述不匹配信息。