公开(公告)号：CN102707938A

公开(公告)日：2012-10-03

申请号：CN201210018995.5

申请日：2012-01-20

Applicant: 株式会社日立制作所

Inventor： 佐藤直人 ,  来间启伸 ,  三部良太 ,  石川贞裕 ,  只野完二 ,  斋藤浩

IPC: G06F9/44

Abstract: 本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。

公开(公告)号：CN102707938B

公开(公告)日：2015-06-03

申请号：CN201210018995.5

申请日：2012-01-20

Applicant: 株式会社日立制作所

Inventor： 佐藤直人 ,  来间启伸 ,  三部良太 ,  石川贞裕 ,  只野完二 ,  斋藤浩

IPC: G06F9/44

Abstract: 本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。