【技术实现步骤摘要】
本专利技术涉及一种支援软件开发的技术，尤其涉及制作表形式的软件规格并进行验证的技术。
技术介绍
·有时通过软件执行前的条件与其执行后的结果的对应关系来定义软件规格。已知该条件与结果的对应关系能够通过叫作决定表(decision table)的表形式来表现,在软件开发工序中被频繁使用。决定表中有几个不同的记述形式，但即使是记述形式不同的决定表，表示条件与结果的对应关系的语义是一样的。并且，决定表有时被称为条件矩阵或检查列表等其他名称。通过使用该决定表来表示规格，具有如下效果能够不会误解且明确地记述条件与结果的对应关系，并且容易发现条件的模式遗漏。另一方面，基于决定表的规格记述还有如下缺点。即，随着条件的要素增加，模式增加，决定表变得庞大，因此存在可读性降低的问题。作为解决该问题的现有技术，在专利文献I中公开了通过将决定表进行分割并标记来防止可读性降低的方法。专利文献I :日本特开2005-44303号公报若使用专利文献I中公开的现有技术，则能够以可读性高的形式表示决定表。但是，由于决定表的记述量不变，因此不能解决决定表的输入量增加而制作工作量增加的问题，以及为了保...
【技术保护点】
【技术特征摘要】
2011.03.10 JP 052340/20111.ー种支援软件规格的开发的装置，其特征在于，具备 命题规格接受単元，接受由具有多个条件的条件部以及具有多个结果的结果部构成的多个命题形式的规格； 决定表制作単元，根据上述多个命题形式的规格，制作决定表，该决定表由如下的表形式来表不各行表不上述多个条件中的ー个或上述多个结果中的ー个，各列表不上述多个命题形式中的各个命题形式；以及 相容性验证单元，判断上述多个命题形式的规格中的各个命题形式的规格是否相互不矛盾; 上述决定表制作単元若从上述命题规格接受単元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的各个命题形式的规格，取出该命题形式的规格的条件部和结果部并制作上述决定表的行，对与该命题形式的规格对应的列中该行的栏附加标记；上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出上述多个命题形式的规格中的各个命题形式的规格相互矛盾。2.如权利要求I记载的装置，其特征在干， 若上述命题规格接受単元接受新的命题形式的规格，并且上述决定表制作单元从上述命题规格接受単元取得上述新的命题形式的规格，则上述决定表制作単元取出上述新的命题形式的规格的条件部和结果部，并插入上述决定表的行。3.如权利要求I记载的装置，其特征在干，还具备 条件限制接受単元，接受表示多个条件间的限制关系的条件限制，该条件限制由具有ー个或多个条件的必要条件部和具有ー个或多个条件的充分条件部构成；以及条件限制检查单元，检查上述多个命题形式的规格是否满足上述条件限制； 上述条件限制检查单元若从上述条件限制接受単元取得上述条件限制，则对于上述决定表的各列，在该列的命题规格具有构成上述条件限制的充分条件部的多个条件中的全部条件、且该命题规格的结果部和上述条件限制的必要条件部不可能同时成立的情况下，从上述决定表中删除该列。4.如权利要求I至3中任一项记载的装置，其中， 还具备任意值记号置换单元，该任意值记号置换单元对于上述决定表的多个列中的、仅条件部的一部分不同且结果部相同的多个列，将该多个列综合为ー个列，并用表示任意值的记号置換上述条件部的上述一部分。5.如权利要求I至3中任一项记载的装置，其特征在干， 根据上述决定表，生成满足该决定表的规格的软件程序。6.如权利要求I记载的装置，其特征在干， 上述相容性验证单元利用可满足性问题解决器，判断上述逻辑积是否为可满足。7...
【专利技术属性】
技术研发人员：佐藤直人，来间启伸，三部良太，石川贞裕，只野完二，斋藤浩，
申请(专利权)人：株式会社日立制作所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。