[发明专利]表形式软件规格制作支援方法及装置有效
| 申请号： | 201210018995.5 | 申请日： | 2012-01-20 |
| 公开（公告）号： | CN102707938A | 公开（公告）日： | 2012-10-03 |
| 发明（设计）人： | 佐藤直人;来间启伸;三部良太;石川贞裕;只野完二;斋藤浩 | 申请（专利权）人： | 株式会社日立制作所 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44 |
| 代理公司： | 永新专利商标代理有限公司 72002 | 代理人： | 陈萍;高迪 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。 | ||
| 搜索关键词： | 形式 软件 规格 制作 支援 方法 装置 | ||
【主权项】：
一种支援软件规格的开发的装置，其特征在于，具备：命题规格接受单元，接受由具有多个条件的条件部以及具有多个结果的结果部构成的多个命题形式的规格；决定表制作单元，根据上述多个命题形式的规格，制作决定表，该决定表由如下的表形式来表示：各行表示上述多个条件中的一个或上述多个结果中的一个，各列表示上述多个命题形式中的各个命题形式；以及相容性验证单元，判断上述多个命题形式的规格中的各个命题形式的规格是否相互不矛盾；上述决定表制作单元若从上述命题规格接受单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的各个命题形式的规格，取出该命题形式的规格的条件部和结果部并制作上述决定表的行，对与该命题形式的规格对应的列中该行的栏附加标记；上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出上述多个命题形式的规格中的各个命题形式的规格相互矛盾。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于株式会社日立制作所，未经株式会社日立制作所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210018995.5/，转载请声明来源钻瓜专利网。
