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

摘要

种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范，登录在检查结果保存部中，决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方，关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。

主权项

一种辅助软件规范开发的软件规范开发辅助装置，其特征在于，具备：命题规范接受部，其经由输入部接受由具有多个条件的条件部以及具有多个结果的结果部组成的多个命题形式的规范；第1保存部，其保存多个命题形式的规范；规范检查部，其根据所述第1保存部的命题规范判定所述多个命题形式的规范的各个规范是否相互矛盾或者重复，将其结果保存在第2保存部中；决定表生成部，其根据所述检查的结果生成以表形式表示的决定表，所述表形式由各行表示所述多个条件之一或者所述多个结果之一，各列表示所述多个命题形式的规范的各个规范，所述规范检查部，对于从所述第1保存部取得的任意的作为检查对象的命题形式的规范和其任意的作为比较对象的命题形式的规范，判定所述2个命题形式的规范是否矛盾或者重复，如果矛盾或者重复，则将所述作为检查对象的命题形式的规范分解为与作为比较对象的命题形式的规范矛盾或者重复的命题形式的规范、以及与作为比较对象的命题形式的规范不矛盾且不重复的命题形式的规范，登录在所述第2保存部中，所述决定表生成部从所述第2保存部取得所述命题形式的规范的任意一方或者双方，关于各个所述命题形式的规范，取出该命题形式的规范的条件部和结果部来生成所述决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。