CN102707938A - 表形式软件规格制作支援方法及装置 - Google Patents

Abstract

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

Description

表形式软件规格制作支援方法及装置

技术领域

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

背景技术

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

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

作为解决该问题的现有技术，在专利文献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 决定表结果记入部

105 决定表索引制作部          106 任意值记号置换部

107 条件限制输入显示部        108 不成立条件删除部

109 决定表保持部              110 相容性验证部

111 输入命题规格保持部        112 决定表变换部

113 输出命题规格保持部        114 决定表显示编辑部

115 输出命题规格显示部        116 程序生成显示部

117 条件限制保持部

具体实施方式

以下，参照附图详细说明本发明的一个实施方式。

本实施方式适用于决定表制作支援验证装置。

在本实施方式中，接受命题形式的规格(称为输入命题规格)的输入，根据该输入命题规格的内容，制作决定表。也就是说，用户不是在决定表的各列中直接记入圆圈等记号，而是通过输入输入命题规格来制作决定表。

因此，根据本实施方式，能够削减用于制作决定表的输入量。此外，不需要大幅变更在制作决定表时参照的要求定义文档的语句，而能够直接作为命题规格向本装置输入，因此能够减轻要求定义文档的解读操作。

进而，在本实施方式中，将输入的命题规格和根据该命题规格记入的决定表的列建立对应来显示。

因此，根据本实施方式，在基于命题规格的要求定义文档中有变更的情况下，能够无误地确定要求定义文档的变更对决定表的影响。

此外，在本实施方式中，接受有关条件的命题形式的限制(称为条件限制)的输入，并根据该条件限制的内容，删除不可能成立的决定表的列。或者，接受任意值记号置换的命令，将圆圈等记号置换为任意值记号，从而将多个列集中为一列。

因此，根据本实施方式，删除不需要的列来使决定表最小化，因此能够削减为了决定表保存显示所需要的存储容量。

此外，在本实施方式中，将制作的决定表所示的规格作为命题形式的规格(称为输出命题规格)来输出。

因此，根据本实施方式，能够容易读取决定表定义的规格的整体。此外，通过在决定表的最小化后进行输出命题规格的输出(与输入命题格式不同)，能够得到不包含冗余的信息或重复的信息的命题形式的规格。因此，能够削减命题形式的规格的保存显示所需要的存储容量。

此外，在本实施方式中，对输入命题规格及决定表的矛盾进行验证，并将矛盾的输入命题规格及决定表的列建立对应来显示。进而，通过将矛盾验证的问题归结为可满足性问题、并使用高速解决可满足性问题的SAT(可满足性问题)解决器，使上述矛盾验证高速化。

进而，在本实施方式中，根据决定表，生成表示该对象软件的处理的程序。

因此，根据本实施方式，能够根据没有矛盾的决定表，有效地取得表示实现该规格的处理的正确的程序。

图1是表示本实施方式的决定表制作支援验证装置201的结构例的框图。

决定表制作支援检证装置201包括输入命题规格输入显示部101、条件/结果项目输入部102、条件/结果项目提取部103、决定表结果记入部104、决定表索引制作部105、任意值记号置换部106、条件限制输入显示部107、不成立条件删除部108、决定表保持部109、相容性检证部110、输入命题规格保持部111、决定表变换部112、输出命题规格保持部113、决定表显示编辑部114、输出命题规格显示部115、程序生成部116、条件限制保持部117。

输入命题规格输入显示部101接受输入命题规格，并将接受到的输入命题规格登记到输入命题规格保持部111。

条件/结果项目提取部103从输入命题规格保持部111取得输入命题规格，从取得的输入命题规格中提取条件项目以及结果项目。提取的条件项目以及结果项目被传送到决定表索引制作部105。

条件/结果项目输入部接受条件项目以及结果项目的输入，传送给决定表索引制作部105。

决定表索引制作部105从条件/结果项目提取部103或条件/结果项目输入部102接受条件项目以及结果项目，制作决定表的索引部分。决定表的索引如图5所示，第1列502中纵向排列条件/结果项目，并且在各条件/结果项目的右邻的列中纵向排列条件/结果项目可取的值503来制作。进而制作全模式量的上述决定表的条件部。上述条件部的模式根据条件项目的总数、该条件项目取几种值，被罗列地制作。例如，定义为存在条件项目A和条件项目B，条件项目A取值a1和值a2，条件项目B取值b1、值b2和值b3。在该情况下，条件部中制作的模式是(a1，b1)(a1，b2)(a1，b3)(a2，b1)(a2，b2)(a2，b3)这6种。这些根据上述定义被机械性地制作。因此，即使条件项目A是在现实中不存在的条件项目，或者值a1是条件项目无法取的值，也可以按照上述定义来制作条件部。此外，在一个条件项目也没有被定义的情况下，不制作决定表的条件部。制作的决定表登记在决定表保持部109中。

决定表结果记入部104从输入命题规格保持部111取得输入命题规格，同时从决定表保持部109取得结果记入对象的决定表。然后，根据上述输入命题规格，记入上述决定表的结果部。

决定表显示编辑部114从决定表保持部109取得决定表并进行画面显示，并且接受用户对决定表的编辑。在对决定表进行画面显示时，将由决定表结果记入部104记入了结果部的列和作为其基础的上述输入命题规格建立对应来显示。图21表示决定表与输入命题规格的对应显示的例。在图21中，将决定表2101和输入命题规格2103建立对应来显示。由于决定表2101的决定表列2102是基于输入命题规格2103来记入的，因此将输入命题规格2103和决定表列2102以同色着色来显示。此外，也可以仅在用户选择了输入命题规格的情况下，将选择的输入命题规格及其对应的决定表列着色显示。此外，对未记入结果部的列也进行强调显示。编辑后的决定表再登记到决定表保持部109。

相容性检证部110从输入命题规格保持部111取得输入命题规格，进一步从决定表保持部109取得基于所取得的输入命题规格来记入的决定表。然后，验证上述输入命题规格间的相容性、以及上述输入命题规格和上述决定表间的相容性，将检证结果与上述输入命题规格及上述决定表建立对应，并分别登记到输入命题规格保持部111以及决定表保持部109。

条件限制输入显示部107接受条件限制的输入，将接受到的上述条件限制登记到条件限制保持部117。

不成立条件删除部108从条件限制保持部117取得条件限制，进一步从决定表决定部109取得作为所取得的条件限制的对象的决定表。然后，根据上述条件限制，确定不能成立的模式，并从上述决定表中删除表示该模式的列。然后，将删除不能成立的列之后的上述决定表再登记到决定表保持部109。

任意值记号置换部106接受决定表的任意值记号置换的命令，从决定表保持部109取得被指定的决定表。并且，将决定表的列所包含的圆圈记号置换为作为任意值记号的星号记号，将多个列集中为1列。进而，将集中后的上述决定表再登记到决定表保持部109。

决定表变换部112接受决定表变换的命令，从决定表保持部109取得被指定的决定表。然后将取得的上述决定表所示的规格变换为作为命题形式的规格的输出命题规格。变换后的上述输出命题规格登记到输出命题规格保持部113。

输出命题规格显示部115从输出命题规格保持部113取得输出命题规格，并对取得的上述输出命题规格进行画面显示。

程序生成显示部116从决定表保持部109取得决定表，生成由上述决定表表示规格的软件的、表示处理的程序。进而，对生成的上述程序进行画面显示。

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

决定表制作支援检证装置201具备CPU202、存储器203、外部存储装置204、显示装置205、输入装置206以及外部媒体输入输出装置207。

CPU202通过执行存储在存储器203中的程序，来执行各种处理。存储器203作为CPU202的工作区发挥功能，存储程序以及程序的实行中需要的数据。具体而言，存储构成输入命题规格输入显示部101、条件/结果项目输入部102、条件限制输入显示部107、条件/结果项目提取部103、决定表结果记入部104、决定表索引制作部105、不成立条件删除部108、相容性检证部110、决定表显示编辑部114、任意值记号置换部106、决定表变换部112、程序生成显示部116、以及输出命题规格显示部115的程序，同时存储输入命题规格保持部111、条件限制保持部117、决定表保持部109、以及输出命题规格保持部113所保持的数据。

外部存储装置204保存各种数据。外部存储装置204例如是硬盘装置等。具体而言，保存输入命题规格保持部111、条件限制保持部117、决定表保持部109以及输出命题规格保持部113。

或者，对于构成输入命题规格输入显示部101、条件/结果项目输入部102、条件限制输入显示部107、条件/结果项目提取部103、决定表结果记入部104、决定表索引制作部105、不成立条件删除部108、相容性检证部110、决定表显示编辑部114、任意值记号置换部106、决定表变换部112、程序生成显示部116、以及输出命题规格显示部115的程序中的至少一部分，也可以保存在外部存储装置204中，在执行各种处理时，CPU202读出到存储器203并执行程序。此外，各程序也可以预先保存在存储器203或外部存储装置204中，也可以根据需要，经由可利用的媒体从其他装置导入到存储器203或外部存储装置204。媒体是指，例如对于外部媒体输入输出装置207可装卸的存储媒体、或者网络、在网络上传播的传送波或数字信号等通信媒体。

显示装置205对程序的处理结果等进行显示。显示装置205例如是显示器等。输入装置206从利用者接受处理的执行指示以及处理中需要的信息的输入等。输入装置206例如是键盘以及鼠标等。

外部媒体输入输出装置207进行保存在外部媒体和外部存储装置204中的数据等的输入输出。外部媒体是对于外部媒体输入输出装置207可装卸的可移动性的存储媒体，外部媒体输入输出装置207是可向外部媒体读写的驱动装置等。

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

输入命题规格301、302、303、304是自然语言形式的输入命题规格，输入命题规格305是逻辑式形式的输入命题规格。输入命题规格中的引号(“”)中的用语表示条件以及结果项目，或者它们的值。例如输入命题规格301中包含的用语“保险加入有无”是条件项目，用语“已加入”是其值。此外，输入命题规格305表示与输入命题规格301相同的意思。

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

条件项目的数据401包括条件项目402和条件的值403。条件项目402表示条件的项目名称，条件的值403表示该项目可取的值的名称。

结果项目的数据404包括结果项目405和结果的值406。结果项目405表示结果的项目名称，结果的值406表示该项目可取的值的名称。

图5是决定表的例，是根据条件项目的数据401、结果项目的数据404、以及输入命题规格301、302、303及304制作的决定表。

决定表501包括条件/结果项目的栏502、条件/结果项目的值的栏503、以及表示条件与结果的对应关系的列504。列504所示的对应关系通过列504的圆圈记号记入在条件/结果项目的栏502以及条件/结果项目的值的栏503中的哪个行来定义。例如，决定表501的最左列表示“若保险加入有无为已加入、保险加入额是2万日元以上、国籍是日本，则补助金为发放、纳税义务为有义务”的对应关系。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203中的程序来实现。并且该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行输入命题规格输入显示部101，接受输入命题规格，将上述输入命题规格登记到输入命题规格保持部111(步骤601)。

CPU202通过执行条件/结果项目输入部102，判断来自用户的条件项目数据或者结果项目数据的输入的有无。在有输入的情况下，执行步骤603，在没有输入的情况下，执行步骤604(步骤602)

CPU202通过执行条件/结果项目提取部103，从上述输入命题规格中提取条件项目数据以及结果项目数据(步骤603)。

CPU202通过执行条件结果项目输入102，接受条件项目数据以及结果项目数据的输入(步骤604)。

CPU202通过执行决定表索引制作部105，根据上述条件项目数据以及结果项目数据，制作决定表的索引部分。进而制作整列量的决定表的条件部。制作的决定表登记到决定表保持部109(步骤605)。

CPU202通过执行决定表结果记入部104，从决定表保持部109取得上述决定表。进而，对上述输入命题规格进行解释，记入上述决定表的结果部(步骤606)。

决定表结果记入部104将已记入结果的上述决定表登记到决定表保持部109(步骤607)。

CPU202通过执行决定表显示编辑部114，从决定表保持部109取得决定表，并进行画面显示。在对决定表进行画面显示时，将由决定表结果记入部104记入的列与作为其基础的输入命题规格建立对应来显示。此外，将结果部未记入的列进行强调显示。此外，接受来自用户的上述决定表的编辑输入，编辑上述决定表(步骤608)。

决定表显示编辑部114将已编辑的上述决定表再登记到决定表保持部109(步骤609)。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202在存储器203中执行的程序来实现。并且该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行决定表结果记入部104，分割输入命题规格的条件部和结果部(步骤701)。

决定表结果记入部104从决定表保持部109取得作为输入命题规格的记入对象的决定表(步骤702)。

决定表结果记入部104从上述决定表中检索并取得条件与上述输入命题规格的条件部一致的列(步骤703)。

决定表结果记入部104在前步骤中取得的列的结果中记入上述输入命题规格的结果部的内容(步骤704)。

图8是根据相容性检证的结果修正后的决定表的例。

决定表801是根据相容性检证部110的检证结果来修正决定表501的结果。决定表501包括结果的矛盾505、506以及结果的未定义507、508及509。相容性检证部110作为检证的结果而将结果的矛盾505、506和其矛盾的输入命题规格建立对应来突出显示。图22中表示检证结果的突出显示的例。包括结果的矛盾505、506的决定表列2202根据输入命题规格2203、2204来记入。因此，如图22所示，将输入命题规格2203、2204、以及决定表列2202以同色着色来显示。或者，也可以仅在用户选择了矛盾的多个输入命题规格的情况下，将包括所选择的输入命题规格及其矛盾的决定表列着色显示。此外(并不是作为检证的结果)，对结果的未定义507、508也进行检测并突出显示。用户基于这些突出显示，进行输入命题规格的追加删除或决定表的直接编辑，制作决定表801。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行存储器203内保存的程序来实现。并且，该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行相容性检证部110，从决定表保持部109取得决定表(步骤901)。

相容性检证部110从输入命题规格保持部111取得在上述决定表的结果部的记入中使用的输入命题规格(步骤902)。

相容性检证部110从取得的上述输入命题规格中选择不同的两个输入命题规格，并验证相容性(步骤903)。相容性的检证中例如使用如下的方法。

根据检证对象的两个输入命题规格，制作乘法标准形(ConjunctiveNormal Form)的检证用逻辑式。上述检证用逻辑式制作成其可满足性和上述两个输入命题规格的相容性建立对应。例如，考虑“在保险加入有无为已加入保险、并且保险缴纳额为2万日元以上的情况下，补助金为发放”的输入命题规格1、和“在保险加入有无为已加入保险、并且国籍为日本的情况下，补助金为不发放”的输入命题规格2的相容性检证。首先，分割两个输入命题规格的条件部和结果部，分别设为条件部1“保险加入有无为已加入保险、并且保险缴纳额为2万日元以上”、结果部1“补助金为发放”、条件部2“保险加入有无为已加入保险、并且国籍为日本”、结果部2“补助金为不发放”。接着将条件部、结果部分别变换为乘法标准系的逻辑式。在条件项目或结果项目取两种值的情况下，能够用一个命题记号表现该条件或结果。例如能够将“保险加入有无为已加入保险”用逻辑式A表现，相反将“保险加入有无为未加入”用逻辑式

表现。在条件项目或结果项目取n(≥3)种值的情况下，能够用n个命题记号表现该条件或结果。例如将“保险缴纳额为2万日元以上”用逻辑式

表现，相反将“保险缴纳额为1万日元以上2万日元以下”用逻辑式 表现。同样，将“国籍为日本”用逻辑式C表现。

此外，条件部中包含的用语“并且”能够变换为逻辑式中的“∧”。因此，条件部1能够由逻辑式来表示。同样，条件部2由逻辑式“A∧C”来表示。

并且，通过将条件部1的逻辑式

和条件2的逻辑式“A∧C”进行“与”结合，制作检证用逻辑式α

若该检证用逻辑式α为不可满足，则由于输入命题规格1和输入命题规格2没有对同一模式重复定义结果，因此不会发生结果的矛盾。换言之，输入命题规格1和输入命题规格2不进行向同一决定表列的记入，因此不可能引起(向同一决定表列记入不同的结果的)矛盾。也就是说，若检证用逻辑式α为不可满足，则能够判断为输入命题规格1和输入命题规格2中不可能产生不相容。在上述例中，可知当A、B_1、C分别为真、B_2、B_3分别为假时，检证用逻辑式α得到满足。

进而，在检证用逻辑式α为可满足的情况下，继续执行以下的步骤。通过将结果部1的逻辑式和结果部2的逻辑式进行“与”结合，制作检证用逻辑式β。若该检证用逻辑式β为可满足，则可以说输入命题规格1和输入命题规格2的结果的定义不矛盾。也就是说，若检证用逻辑式β为可满足，则能够判断为输入命题规格1和输入命题规格2相容。

进而，在上述检证用逻辑式α、以及上述检证用逻辑式β的可满足性判断中能够使用SAT解决器。这里，SAT解决器是安装解决逻辑式的可满足性问题(SAT)的各种算法(SAT算法)的工具的总称。通过使用SAT解决器，能够使相容性检证高速化。

这样，根据输入命题规格制作乘法标准系的检证用逻辑式，从而能够实现利用了SAT解决器的高速的相容性检证。

相容性检证部110若对从输入命题规格保持部111取得的上述输入命题规格的所有组合已实施相容性检证，则执行步骤905。当存在未检证的组合的情况下，返回步骤903(步骤904)。

相容性检证部110从自输入命题规格保持部111取得的上述输入命题规格中选择一个输入命题规格，进而从上述决定表中选择1列。然后验证所选择的上述输入命题规格和上述列的相容性(步骤905)。相容性的检证中例如使用如下方法。

与步骤903中叙述的方法同样，上述输入命题规格和上述列的相容性检证归结为根据检证对象的输入命题规格和决定表的列，制作乘法标准系的检证用逻辑式，并判断其可满足性的问题。决定表的列可以看作为与输入命题规格相同，因此能够通过与步骤903中叙述的方法完全相同的方法来验证。例如，决定表501的最左列与“在保险加入有无为已加入、并且保险加入额为2万日元以上、并且国籍为日本的情况下，补助金为发放、并且纳税义务为有义务”的输入命题规格相同。

相容性检证部110若对从输入命题规格保持部111取得的上述输入命题规格和决定表的列的所有组合已实施相容性检证，则执行步骤907。当有未检证的组合的情况下，返回步骤905(步骤906)。

相容性检证部110对相容性检证的结果为有矛盾的输入命题规格以及决定表的列追加表示有矛盾的数据。并且，输入命题规格再登记到输入命题规格保持部111，决定表再登记到决定表保持部109(步骤907)。

例如，输入命题规格输入显示部101也可以将有矛盾的输入命题规格建立对应来进行突出显示。根据步骤903的结果在输入命题规格间有矛盾的情况下，在输入命题规格的一览画面中将有矛盾的输入命题规格以同色着色而显示(步骤908)。

决定表显示编辑部114将有矛盾的决定表的列与步骤908的输入命题规格的显示建立对应来进行突出显示。根据步骤905的结果在输入命题规格和决定表列中有矛盾的情况下，在输入命题规格的一览画面中将有矛盾的上述输入命题规格着色显示，并且在决定表显示画面中将有矛盾的上述列的条件部以及结果部整体以与上述输入命题规格同色着色而显示(步骤909)。图22中表示突出显示的例。在图22中，将输入命题规格2203、2204、以及决定表列2202以同色着色显示。

通过上述相容性检证，能够解决在要求定义文档有变更的情况下，以往是人工判断决定表的哪个范围受影响，因此导致错误地确定变更的影响范围等的问题。

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

条件限制1001是自然语言形式的条件限制，条件限制1002是逻辑式形式的条件限制的例。条件限制中的引号(“”)中包括的用语表示条件项目及其值。例如，条件限制1001中包含的用语“保险加入有无”是条件项目，用语“未加入”是其值。与图3的输入命题规格的不同点是，不显示结果项目及其值这一点。这是因为，输入命题规格定义与条件对应的结果，相对于此，条件限制定义条件和条件的限制条件。此外，输入命题规格1002表示与输入命题规格1001相同的意思。

这里，条件限制是从决定表的各条件中选择而构成，与表示构成条件限制的条件的内部数据、以及表示构成决定表的项目的条件的内部数据为相同形式的数据(例如，字符串形的数据)。进而，同一条件进行数据化以成为同一数据。例如，在对构成条件限制的条件名称A进行数据化的结果为数据α、对构成决定表的项目的条件名称A进行数据化的结果为数据β的情况下，成为“数据α＝数据β”。

由此，在后述的不成立条件删除部108的动作中，通过比较表示条件限制的条件的字符串型数据和表示决定表的条件的字符串型数据，判断由条件限制指定的必要条件或充分条件相当于构成决定表的条件部或结果部的各条件中的哪个条件(或其否定)。

条件限制是以从制作的决定表中删除现实中不能成立的列为目的而提供的。例如条件限制1001提供“在保险加入为未加入的情况下，保险缴纳额为0日元”的现实的限制，意味着违反它的条件在现实中不能成立。即，若提供该条件限制1001，则表示“在保险加入为未加入、并且保险缴纳额为2万日元以上的情况下，…”的意思的决定表列、及表示“在保险加入为未加入、并且保险缴纳额为2万日元以上的情况下，…”的意思的决定表列被判断为是在现实中不能成立的列，因此从决定表中删除。

图11是根据条件限制删除列之后的决定表的例，是根据条件限制1001从决定表801中删除列集合802之后的决定表。如上所述，条件限制1001表示“在保险加入为未加入的情况下，保险缴纳额为0日元”的限制。此外，上述列集合802的最左列表示“在保险加入为未加入、并且保险缴纳额为2万日元以上、并且国籍为日本的情况下，补助金为不发放、并且纳税义务为无义务”的意思。上述列集合802的最左列包括“保险加入为未加入，并且保险缴纳额为2万日元以上”的条件，因此可以说违反条件限制1001所表示的限制。因此，上述列集合802的最左列在条件限制1001的限制下被删除。对于包括列集合802的其他列也相同。

图12是任意值记号置换后的决定表的例，是在将决定表1101的列集合1102集中为1列，将列集合1103集中为1列，将列集合1104集中为1列，将列集合1105集中为1列之后，将集中列集合1104和列集合1105而成的2列进一步集中为1列的决定表。在本集中中进行如下处理，即：提取存在对结果项目不带来影响的条件项目的决定表列集合，将上述条件项目的值置换为任意值记号，同时将上述列集合集中为一个。作为例，对列集合1102的集中进行说明。列集合1102由如下列1和列2构成，列1表示“在保险加入有无为已加入、并且保险缴纳额为2万日元以上、并且国籍为日本的情况下，补助金为发放，纳税义务为有义务”的意思，列2表示“在保险加入有无为已加入、并且保险缴纳额为2万日元以上、并且国籍为日本以外的情况下，补助金为发放，纳税义务为有义务”的意思。这里，若着眼于条件项目“国籍”，则可知条件项目“国籍”的值不管是“日本”还是“日本以外”，结果项目“补助金”以及“纳税义务”的值都相同。即，若将列1和列2合并，则为“在保险加入有无为已加入、并且保险缴纳额为2万日元以上、并且国籍为任意值的情况下，补助金为发放，纳税义务为有义务”的意思。并且，这与决定表列1202所示的意思一致。根据以上理由，列集合1102中包含的列1和列2能够集中到决定表列1202。

通过这样集中决定表列，能够削减决定表的列数，因此可得到能够削减为了保持决定表而需要的存储容量的效果，并且可得到提高决定表的可读性的效果。进而，通过削减决定表的列数，还可得到如下效果：能够削减在进行决定表列和输入命题规格之间的检证时成为检证对象的列的数量，因此能够削减上述检证所需要的步骤数。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203内的程序来实现。并且，该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行条件限制输入显示部107，接受条件限制的输入，并将接受到的上述条件限制登记到条件限制保持部117(步骤1301)。

CPU202通过执行不成立条件删除部108，从条件限制保持部取得条件限制，进而从决定表保持部109取得限制对象的决定表。然后，从上述决定表中删除表示不满足上述限制条件的模式的列(步骤1302)。

不成立条件删除部108将已删除列的决定表再登记到决定表保持部109(步骤1303)。

CPU202通过执行任意值记号置换部106，接受对决定表的任意值记号置换的命令，从决定表保持部109取得被指定的决定表，将上述决定表的条件的值置换为任意值记号(步骤1304)。

任意值记号置换部106将已用任意值记号置换的决定表再登记到决定表保持部109。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203内的程序来实现。并且，该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行不成立条件删除部108，从条件限制保持部取得条件限制，分割条件限制的充分条件部和必要条件部。例如在条件限制1001的情况下，“保险加入有无为未加入”是充分条件部，“保险缴纳额为0日元”是必要条件部(步骤1401)。

不成立条件删除部108从决定表保持部109取得限制对象的决定表，从上述决定表的列中检索条件将构成上述条件限制的充分条件部的条件全部包含的列，即在该列的条件部成立的情况下上述条件限制的充分条件部必然成立的列(步骤1402)。

不成立条件删除部108从通过步骤1402的检索取得的列集合中，检索将列的结果部和上述条件限制的必要条件进行“与”结合的式为不可满足的列，即该列的条件部和上述条件限制的必要条件不能同时成立的列(步骤1403)。

不成立条件删除部108从上述决定表中删除通过步骤1403的检索取得的列集合(步骤1404)。通过这样删除列集合，能够削减决定表的列数，因此可得到能够削减为了保持决定表而需要的存储容量的效果，并且也可得到提高决定表的可读性的效果。进而，通过削减决定表的列数，能够削减进行决定表列和输入命题规格间的检证时的检证对象列，因此还有能够削减上述检证所需要的步骤数的效果。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203内的程序来实现。并且该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行任意值记号置换部106，接受对决定表的任意值记号置换的命令，从决定表保持部109取得被指定的决定表(步骤1501)。

任意值记号置换部106从上述决定表中检索结果相同的列(步骤1502)。

任意值记号置换部106选择一个决定表的条件项目(步骤1503)。

任意值记号置换部106从通过步骤1502的检索取得的列集合中，检索在步骤1503中选择的条件项目的值不同、但其他所有的条件项目的值相同的列(步骤1504)。

任意值记号置换部106在通过步骤1504的检索得到的列集合包含步骤1503中选择的条件项目的所有种类的值的情况下，执行步骤1506。否则，执行步骤1507(步骤S1505)。

任意值记号置换部106从通过步骤1504的检索得到的列集合所包含的列中留下任意的1列后删除，并将留下的列的条件中的在步骤1503中选择的条件项目的值置换为任意值记号。同时，将同列的同条件项目的单元格(cell)结合(步骤1506)。

任意值记号置换部106在步骤1503中已选择全部条件项目的情况下，结束处理。否则，返回到步骤1503(步骤1507)。

图16是从决定表变换的输出命题规格的例，输出命题规格1601、1602、1603、1604是从决定表1201变换而得到的输出命题规格。

输出命题规格1601、1602、1603、1604是自然语言形式的输入命题规格，输出命题规格1605是逻辑式形式的输入命题规格。与输入命题规格同样，输出命题规格中的引号(“”)中的用语表示条件以及结果项目，或者它们的值。此外，输出命题规格1605表示与输出命题规格1601相同的意思。

作为例，叙述对决定表1201进行变换而得到输出命题规格1601的方法。根据决定表制作输出命题规格的方针可以有多种，但在本例中采用按照每个结果项目的值来制作输出命题规格的方针。除此之外，还有对条件项目设定优先级，按照优先级高的每个条件项目的值制作输出命题规格的方针。

首先，从决定表1201的结果项目之中选择结果项目“补助金”，进而从其值中选择值“发放”。接着参照决定表1201可知，“补助金”为“发放”的模式的条件是：条件项目“保险加入有无”的值为“已加入”，并且条件项目“保险缴纳额”的值为“2万日元以上”的情况。最后通过结合该条件和结果，得到“在保险加入有无为已加入、并且保险缴纳额为2万日元以上的情况下，补助金为发放”的输出命题规格1601。

通过从上述决定表向输出命题规格的变换，能够以命题规格格式保持与决定表同等的信息，因此具有能够削减上述信息的保持所需要的存储容量的效果。此外，从决定表读取规格时需要时间，但通过以命题规格形式显示相同信息，还具有能够缩短规格的读取所需要的时间的效果。

通过上述的任意值置换处理，能够解决对没有成立的可能性的条件定义结果的规格的冗余性、以不同的语句对相同的规格定义多次的规格的重复、以及保持的语句形式规格的分量超出所需的问题。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203内的程序来实现。并且该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行决定表变换部112，接受决定表变换的命令，并从决定表保持部109取得被指定的决定表(步骤1701)。

决定表变换部112选择上述决定表的结果项目，制作所选择的结果项目的值相同的列的集合。上述结果项目的选择方法可以考虑多种，至少有预先对结果项目设定优先级、并按照该优先级来选择的方法(步骤1702)。

决定表变换部112根据在步骤1702中取得的列集合，制作表示其意思的输出命题规格，并登记到输出命题规格保持部113(步骤1703)。

决定表变换部112在上述决定表所包含的全部的列被包含于在步骤1702中取得的某一个列集合中的情况下，即全部的列已反映在输出命题规格中的情况下，执行步骤1705。否则，返回步骤1702，选择未选择的条件项目(步骤1704)。

CPU202通过执行输出命题规格显示部115，从输出命题规格保持部113取得输出命题规格，显示在画面上(步骤1705)。

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

决定表制作支援检证装置201的画面显示1801包括决定表显示区域1804、相容性检证按钮1802、决定表最小化按钮1803、命题规格变换按钮1810、输入命题规格显示区域1805、条件限制显示区域1806、输出命题规格显示区域1811、输入命题规格登记区域1807、条件限制登记区域1808以及条件/结果项目登记区域1809。

若用户按下相容性检证按钮，则CPU202执行相容性检证部110。

若用户按下决定表最小化按钮1803，则CPU202在执行不成立条件删除部108之后，执行任意值记号置换部106。

若用户按下命题规格变换按钮1810，则CPU202执行决定表变换部112。

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

以下所示的处理通过由决定表制作支援检证装置201所具备的CPU202执行保存在存储器203内的程序来实现。并且该程序由用于进行以下说明的各种动作的代码构成。

CPU202通过执行程序生成显示部116，从决定表保持部109取得决定表(步骤1901)。

程序生成显示部116生成按照上述决定表所示的规格进行条件判断的程序。作为生成程序的方法，至少有按照上述决定表的每一列制作IF语句的方法(步骤1902)。

使用决定表1201和函数程序2001说明生成程序的方法的例。首先，参照决定表1201可知，上述决定表具有3个条件项目和2个结果项目。因此定义以表示条件项目的值的变量c1、c2、c3、以及表示结果项目的值的变量r1、r2为自变量的函数程序2001。结果项目的自变量为指针自变量。接着，按照决定表的每一列制作IF语句。列1202表示“在保险加入有无为已加入、并且保险缴纳额为2万日元以上、并且国籍为任意值的情况下，补助金为发放、纳税义务为有义务”的意思，但由于“国籍为任意值”的条件可以省略，因此其实表示“在保险加入有无为已加入、并且保险缴纳额为2万日元以上的情况下，补助金为发放、纳税义务为有义务”的意思。这里，将条件项目变换为变量，将条件项目的值变换为变量值。如以上定义，将条件项目“保险加入有无”的值用变量c1表示，将“保险缴纳额”的值用c2表示。进而，将“保险加入有无”的值“已加入”用1表示，将“未加入”用0表示。同样，将“保险缴纳额”的值“2万日元以上”用2表示，将“1日元以上2万日元以下”用1表示，将“0日元”用0表示。于是，将“在保险加入有无为已加入、并且保险缴纳额为2万日元以上的情况下”的条件，可以用IF语句2002所示的“if(c1＝＝1&&c2＝＝2”的条件表示。进而，若将结果项目同样变换为变量，则“补助金为发放，纳税义务为有义务”的结果可以用IF语句2002所示的“*r1＝1；*r2＝1；”的代入语句表示。其他决定表列也可以用相同方法变换为IF，生成IF语句2003及2004。由此可知，能够从决定表1201生成函数程序2001。

图20是从决定表1201生成的程序的例。函数程序2001由IF语句2002、2003、2004构成。IF语句2002从决定表列1202生成。同样，IF语句2003从决定表1201的第2列生成，IF语句2004从第3列生成。

通过从决定表生成程序，可得到削减以决定表为规格的安装的工作量、并且防止由人工安装引起的错误的效果。

由此，能够提供一种决定表制作支援检证装置，对于表示软件规格的决定表，提供：基于命题规格的输入的决定表制作支援单元、对上述命题规格间的相容性进行验证的单元、对上述命题规格与上述决定表间的相容性进行验证的单元、基于条件限制的上述决定表的不成立条件删除单元、基于任意值记号置换的上述决定表的列集中单元、将上述决定表变换为表示其规格的命题规格的单元、以及按照上述决定表所表示的规格生成进行条件判断的程序的单元。

Claims (12)

1.一种支援软件规格的开发的装置，其特征在于，具备：

命题规格接受单元，接受由具有多个条件的条件部以及具有多个结果的结果部构成的多个命题形式的规格；

决定表制作单元，根据上述多个命题形式的规格，制作决定表，该决定表由如下的表形式来表示：各行表示上述多个条件中的一个或上述多个结果中的一个，各列表示上述多个命题形式中的各个命题形式；以及

相容性验证单元，判断上述多个命题形式的规格中的各个命题形式的规格是否相互不矛盾；

上述决定表制作单元若从上述命题规格接受单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的各个命题形式的规格，取出该命题形式的规格的条件部和结果部并制作上述决定表的行，对与该命题形式的规格对应的列中该行的栏附加标记；

上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出上述多个命题形式的规格中的各个命题形式的规格相互矛盾。

2.如权利要求1记载的装置，其特征在于，

若上述命题规格接受单元接受新的命题形式的规格，并且上述决定表制作单元从上述命题规格接受单元取得上述新的命题形式的规格，则上述决定表制作单元取出上述新的命题形式的规格的条件部和结果部，并插入上述决定表的行。

3.如权利要求1记载的装置，其特征在于，还具备：

条件限制接受单元，接受表示多个条件间的限制关系的条件限制，该条件限制由具有一个或多个条件的必要条件部和具有一个或多个条件的充分条件部构成；以及

条件限制检查单元，检查上述多个命题形式的规格是否满足上述条件限制；

上述条件限制检查单元若从上述条件限制接受单元取得上述条件限制，则对于上述决定表的各列，在该列的命题规格具有构成上述条件限制的充分条件部的多个条件中的全部条件、且该命题规格的结果部和上述条件限制的必要条件部不可能同时成立的情况下，从上述决定表中删除该列。

4.如权利要求1至3中任一项记载的装置，其中，

还具备任意值记号置换单元，该任意值记号置换单元对于上述决定表的多个列中的、仅条件部的一部分不同且结果部相同的多个列，将该多个列综合为一个列，并用表示任意值的记号置换上述条件部的上述一部分。

5.如权利要求1至3中任一项记载的装置，其特征在于，

根据上述决定表，生成满足该决定表的规格的软件程序。

6.如权利要求1记载的装置，其特征在于，

上述相容性验证单元利用可满足性问题解决器，判断上述逻辑积是否为可满足。

7.一种支援软件规格的开发的装置中的软件规格开发支援方法，其特征在于，

上述装置具备：

命题规格接受单元，接受由具有多个条件的条件部以及具有多个结果的结果部构成的多个命题形式的规格；

决定表制作单元，根据上述多个命题形式的规格，制作决定表，该决定表由如下的表形式来表示：各行表示上述多个条件中的一个或上述多个结果中的一个，各列表示上述多个命题形式中的各个命题形式；以及

相容性验证单元，判断上述多个命题形式的规格中的各个命题形式的规格是否相互不矛盾；

上述方法包括如下步骤：

上述决定表制作单元若从上述命题规格接受单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的各个命题形式的规格，取出该命题形式的规格的条件部和结果部并制作上述决定表的行，对与该命题形式的规格对应的列中该行的栏附加标记；以及

上述相容性验证单元从上述决定表取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出上述多个命题形式的规格中的各个命题形式的规格相互矛盾。

8.如权利要求7记载的方法，其特征在于，

若上述命题规格接受单元接受新的命题形式的规格，并且上述决定表制作单元从上述命题规格接受单元取得上述新的命题形式的规格，则上述决定表制作单元取出上述新的命题形式的规格的条件部和结果部，并插入上述决定表的行。

9.如权利要求7记载的方法，其中，

上述装置还具备：

条件限制接受单元，接受表示多个条件间的限制关系的条件限制，该条件限制由具有一个或多个条件的必要条件部和具有一个或多个条件的充分条件部构成；以及

条件限制检查单元，检查上述多个命题形式的规格是否满足上述条件限制；

上述方法还包括如下步骤：上述条件限制检查单元若从上述条件限制接受单元取得上述条件限制，则对于上述决定表的各列，在该列的命题规格具有构成上述条件限制的充分条件部的多个条件中的全部条件、且该命题规格的结果部和上述条件限制的必要条件部不可能同时成立的情况下，从上述决定表中删除该列。

10.如权利要求7至9中任一项记载的方法，其中，

还具备任意值记号置换步骤，该任意值记号置换步骤对于上述决定表的多个列中的、仅条件部的一部分不同且结果部相同的多个列，将该多个列综合为一个列，并用表示任意值的记号置换上述条件部的上述一部分。

11.如权利要求7至9中任一项记载的方法，其特征在于，

根据上述决定表，生成满足该决定表的规格的软件程序。

12.如权利要求7记载的方法，其特征在于，

上述相容性验证单元利用可满足性问题解决器，判断上述逻辑积是否为可满足。

Images