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

说明书

技术领域

本发明涉及一种辅助软件开发的技术。

背景技术

有时候会用软件执行前的条件和其执行后的结果的对应关系来定义软件的规范。已知该条件和结果的对应关系可以用被称为决定表（decision table）的表形式来表现，被频繁地用于软件开发工程。决定表中有几种不同的记述形式，但即使是记述形式不同的决定表，表示条件和结果的对应关系的语义也是一样的。而且，决定表有时候也被称为条件矩阵或检查列表等其他名称。

通过使用该决定表来表示规范，可以准确无误地记述条件和结果的对应关系，同时还有容易发现条件的模式遗漏的效果。另一方面，基于决定表的规范记述有以下缺点。即，存在随着条件要素的增加，模式增加且决定表扩大，从而可读性下降的问题。

作为解决该问题的现有技术，专利文献1公开了一种通过分割决定表进行表述来防止可读性下降的方法。

若使用专利文献1公开的现有技术，可以用可读性高的形式来显示决定表。但是由于决定表的记述量不变，因此会产生决定表的输入量增加、生成工时增加的问题和为了保存决定表所需的存储容量增大的问题。作为解决该问题的现有技术，专利文献2公开了一种方法，即通过从命题形式的记述来生成决定表，从而削减决定表的生成工时。另外，公开以下方法，即通过从决定表提取命题形式的记述后进行保存/显示，从而削减为了保存/显示决定表所需的存储容量。

但是，当规范有矛盾或遗漏时，与决定表形式的规范显示相比，基于命题形式的记述的规范显示具有难以视觉确认矛盾或遗漏的缺点。也就是说，要想通过决定表的显示来视觉确认矛盾或遗漏时，专利文献2所表示的方法没有效。因此，为了提高规范的矛盾或遗漏的视觉辨认性而以决定表形式进行规范显示时，由于不能应用专利文献2所表示的现有技术，所以不能解决随着决定表的扩大化而决定表的显示所需的存储容量增大的问题。另外，专利文献2所示的现有技术，在基于命题形式的记述的规范显示之前在内部生成决定表。因此现有技术也有随着决定表的扩大化，决定表的生成所需的存储容量和处理时间增大的问题。

[专利文献1]日本特开2005-44303号公报

[专利文献2]日本特愿2011-052340号公报

发明内容

鉴于上述情况而提出本发明，其目的为提供一种技术，一边维持用于提高规范的矛盾或遗漏的视觉辨认性的决定表形式的显示，一边削减决定表的生成以及显示所需的存储容量。

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

根据本发明，可以在决定表上视觉确认规范的矛盾、重复，可以削减该决定表的生成以及显示所需的存储容量。

附图说明

图1是表示软件规范开发辅助装置201的结构例的框图。

图2是表示软件规范开发辅助装置201的硬件结构例的框图。

图3是命题规则保存部102所保存的命题规则的例子。

图4是构成命题规则的条件项目和结果项目的例子。

图5是制约保存部104所保存的制约的例子。

图6是矛盾检查部105在检查结果保存部109中登录的矛盾检查结果的例子。

图7是表示矛盾检查的步骤例的流程图。

图8是重复检查部106在检查结果保存部109中登录的重复检查结果的例子。