[发明专利]表形式软件规格制作支援方法及装置

说明书

技术领域

本发明涉及一种支援软件开发的技术，尤其涉及制作表形式的软件规格并进行验证的技术。

背景技术

有时通过软件执行前的条件与其执行后的结果的对应关系来定义软件规格。已知该条件与结果的对应关系能够通过叫作决定表(decision table)的表形式来表现，在软件开发工序中被频繁使用。决定表中有几个不同的记述形式，但即使是记述形式不同的决定表，表示条件与结果的对应关系的语义是一样的。并且，决定表有时被称为条件矩阵或检查列表等其他名称。

通过使用该决定表来表示规格，具有如下效果：能够不会误解且明确地记述条件与结果的对应关系，并且容易发现条件的模式遗漏。另一方面，基于决定表的规格记述还有如下缺点。即，随着条件的要素增加，模式增加，决定表变得庞大，因此存在可读性降低的问题。

作为解决该问题的现有技术，在专利文献1中公开了通过将决定表进行分割并标记来防止可读性降低的方法。

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

若使用专利文献1中公开的现有技术，则能够以可读性高的形式表示决定表。但是，由于决定表的记述量不变，因此不能解决决定表的输入量增加而制作工作量增加的问题，以及为了保存决定表而需要的存储容量增大、随之决定表中记载的规格的验证所需要的时间需要更多、难以发现规格的冗余性的问题。

发明内容

鉴于上述情况，本发明的目的在于提供一种用于应对上述问题、确保可读性且实现决定表的制作解读工作量的削减和存储容量削减的技术。

为了解决上述问题，并实现上述目的，提供一种支援软件规格开发的装置，其特征在于，具备：命题规格接受单元，接受由具有多个条件的条件部以及具有多个结果的结果部构成的多个命题形式的规格；决定表制作单元，根据上述多个命题形式的规格，制作决定表，该决定表由各行表示上述多个条件中的一个或上述多个结果中的一个、各列表示上述多个命题形式中的每一个的表形式表示；以及相容性验证单元，判断上述多个命题形式的规格的每一个是否相互不矛盾；上述决定表制作单元若从上述命题规格接受单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格的每一个，取出该命题形式的规格的条件部和结果部并制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记；上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格的每一个相互矛盾。

发明效果

根据一实施方式，能够削减决定表的制作解决中需要的工作量，并能够削减为了保存显示决定表而需要的存储容量。

附图说明

图1是表示决定表制作支援验证装置的结构例的框图。

图2是表示决定表制作支援验证装置的硬件结构例的框图。

图3是输入命题规格输入显示部所接受的输入命题规格的例。

图4是条件项目及结果项目的数据的例。

图5是根据输入命题规格制作的决定表的例。

图6是表示制作决定表的步骤例的流程图。

图7是表示对输入命题规格进行解释并记入决定表中的步骤例的流程图。

图8是基于相容性验证的结果进行修正后的决定表的例。

图9是表示决定表及输入命题规格的相容性验证的步骤例的流程图。

图10是条件限制输入显示部所接受的条件限制的例。

图11是基于条件限制删除了列之后的决定表的例。

图12是任意值记号置换后的决定表的例。

图13是表示决定表的最小化的步骤例的流程图。

图14是表示从决定表中删除不满足条件限制的列的步骤例的流程图。

图15是表示对决定表的任意值记号置换的步骤例的流程图。

图16是根据决定表变换的输出命题规格的例。

图17是表示决定表变换及输出命题规格显示的步骤例的流程图。

图18是决定表制作支援验证装置的画面显示的例。

图19是表示生成程序的步骤例的流程图。

图20是根据决定表生成的程序的例。

图21是决定表与输入命题规格的对应显示的例。

图22是验证结果的突出显示的例。

附图标记说明

101 输入命题规格输入显示部    102 条件/结果项目输入部

103 条件/结果项目提取部       104 决定表结果记入部