[发明专利]软件规范开发辅助方法以及软件规范开发辅助装置

权利要求书

1.一种辅助软件规范开发的软件规范开发辅助装置，其特征在于，

具备：命题规范接受部，其经由输入部接受由具有多个条件的条件部以及具有多个结果的结果部组成的多个命题形式的规范；第1保存部，其保存多个命题形式的规范；规范检查部，其根据所述第1保存部的命题规范判定所述多个命题形式的规范的各个规范是否相互矛盾或者重复，将其结果保存在第2保存部中；决定表生成部，其根据所述检查的结果生成以表形式表示的决定表，所述表形式由各行表示所述多个条件之一或者所述多个结果之一，各列表示所述多个命题形式的规范的各个规范，

所述规范检查部，对于从所述第1保存部取得的任意的作为检查对象的命题形式的规范和其任意的作为比较对象的命题形式的规范，判定所述2个命题形式的规范是否矛盾或者重复，如果矛盾或者重复，则将所述作为检查对象的命题形式的规范分解为与作为比较对象的命题形式的规范矛盾或者重复的命题形式的规范、以及与作为比较对象的命题形式的规范不矛盾且不重复的命题形式的规范，登录在所述第2保存部中，

所述决定表生成部从所述第2保存部取得所述命题形式的规范的任意一方或者双方，关于各个所述命题形式的规范，取出该命题形式的规范的条件部和结果部来生成所述决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。

2.根据权利要求1所述的软件规范开发辅助装置，其特征在于，

所述规范检查部在作为检查对象的命题形式的规范和成为其比较对象的命题形式的规范矛盾或者重复时，通过在所述作为检查对象的命题形式的规范的所述条件部逻辑积结合在所述作为比较对象的命题形式的规范的所述条件部中出现的条件或者该条件的否定，来分解所述作为检查对象的命题形式的规范。

3.根据权利要求1所述的软件规范开发辅助装置，其特征在于，

还具备未定义规范检查部，其针对接受的所述多个命题形式的规范检查结果未定义的条件，

所述未定义规范检查部通过将逻辑积结合了所述多个命题形式的规范的条件部的否定所得的规范变换为积和标准形，生成表示结果未定义的条件的命题形式的规范，

所述决定表生成部取得所述命题形式的规范的一部分或者全部，关于各个所述命题形式的规范，取出该命题形式的规范的条件部和结果部，生成所述决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。

4.根据权利要求1所述的软件规范开发辅助装置，其特征在于，

还具备：

制约接受部，其接受由具有1个或多个条件的前项和具有1个或多个条件的后项所组成的、表示多个条件间的制约关系的制约；以及

制约检查部，其检查是否有所述多个命题形式的规范不满足所述制约的情况，

所述制约检查部，当从所述制约接受部取得所述制约时，判定是否有任意的作为检查对象的命题形式的规范不满足所述制约的情况，如果有不满足的情况，则将所述作为检查对象的命题形式的规范分解为不满足制约的命题形式的规范和满足制约的命题形式的规范。

5.根据权利要求4所述的软件规范开发辅助装置，其特征在于，

所述制约检查部，在作为检查对象的命题形式的规范不满足制约时，通过在所述作为检查对象的命题形式的规范的所述条件部逻辑积结合在所述制约的前项或后项中出现的条件或者该条件的否定，来分解所述作为检查对象的命题形式的规范。

6.根据权利要求2或5所述的软件规范开发辅助装置，其特征在于，

所述决定表生成部在生成的决定表中，将追加到所述作为检查对象的命题形式的规范中的条件与其它条件进行区别显示。

7.根据权利要求1所述的软件规范开发辅助装置，其特征在于，

还具备策略保存部，其保存表示在所述命题形式的规范中成为决定表生成对象的命题形式的规范的条件和基于该决定表进行的显示方法的策略，

所述决定表生成部按照所述策略决定作为显示对象的命题形式的规范和其显示方法，并根据该决定的规范和显示方法进行所述决定表的显示。

8.根据权利要求1所述的软件规范开发辅助装置，其特征在于，

所述决定表生成部接受所述决定表的显示范围的修正输入，生成修正完毕的决定表，

还具备规范置换部，其从所述修正完毕的决定表取出修正完毕的命题形式的规范，将成为修正前的决定表的基础的修正前的命题形式的规范和所述修正完毕的命题形式的规范进行置换。