【技术实现步骤摘要】
软件规范开发辅助方法以及软件规范开发辅助装置
本专利技术涉及一种辅助软件开发的技术。
技术介绍
有时候会用软件执行前的条件和其执行后的结果的对应关系来定义软件的规范。已知该条件和结果的对应关系可以用被称为决定表(decision table)的表形式来表现,被频繁地用于软件开发工程。决定表中有几种不同的记述形式，但即使是记述形式不同的决定表，表示条件和结果的对应关系的语义也是一样的。而且，决定表有时候也被称为条件矩阵或检查列表等其他名称。通过使用该决定表来表示规范，可以准确无误地记述条件和结果的对应关系，同时还有容易发现条件的模式遗漏的效果。另一方面，基于决定表的规范记述有以下缺点。即，存在随着条件要素的增加，模式增加且决定表扩大，从而可读性下降的问题。作为解决该问题的现有技术，专利文献I公开了一种通过分割决定表进行表述来防止可读性下降的方法。若使用专利文献I公开的现有技术，可以用可读性高的形式来显示决定表。但是由于决定表的记述量不变，因此会产生决定表的输入量增加、生成工时增加的问题和为了保存决定表所需的存储容量增大的问题。作为解决该问题的现有技术，专利文...
【技术保护点】
一种辅助软件规范开发的软件规范开发辅助装置，其特征在于，具备：命题规范接受部，其经由输入部接受由具有多个条件的条件部以及具有多个结果的结果部组成的多个命题形式的规范；第1保存部，其保存多个命题形式的规范；规范检查部，其根据所述第1保存部的命题规范判定所述多个命题形式的规范的各个规范是否相互矛盾或者重复，将其结果保存在第2保存部中；决定表生成部，其根据所述检查的结果生成以表形式表示的决定表，所述表形式由各行表示所述多个条件之一或者所述多个结果之一，各列表示所述多个命题形式的规范的各个规范，所述规范检查部，对于从所述第1保存部取得的任意的作为检查对象的命题形式的规范和其任意的作...
【技术特征摘要】
2012.08.21 JP 2012-1819881.一种辅助软件规范开发的软件规范开发辅助装置，其特征在于， 具备:命题规范接受部，其经由输入部接受由具有多个条件的条件部以及具有多个结果的结果部组成的多个命题形式的规范;第I保存部，其保存多个命题形式的规范；规范检查部，其根据所述第I保存部的命题规范判定所述多个命题形式的规范的各个规范是否相互矛盾或者重复，将其结果保存在第2保存部中；决定表生成部，其根据所述检查的结果生成以表形式表示的决定表，所述表形式由各行表示所述多个条件之一或者所述多个结果之一，各列表示所述多个命题形式的规范的各个规范， 所述规范检查部，对于从所述第I保存部取得的任意的作为检查对象的命题形式的规范和其任意的作为比较对象的命题形式的规范，判定所述2个命题形式的规范是否矛盾或者重复，如果矛盾或者重复，则将所述作为检查对象的命题形式的规范分解为与作为比较对象的命题形式的规范矛盾或者重复的命题形式的规范、以及与作为比较对象的命题形式的规范不矛盾且不重复的命题形式的规范，登录在所述第2保存部中， 所述决定表生成部从所述第2保存部取得所述命题形式的规范的任意一方或者双方，关于各个所述命题形式的规范，取出该命题形式的规范的条件部和结果部来生成所述决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。2.根据权利要求1所述的软件规范开发辅助装置，其特征在于， 所述规范检查部在作为检查对象的命题形式的规范和成为其比较对象的命题形式的规范矛盾或者重复时，通过在所述作为检查对象的命题形式的规范的所述条件部逻辑积结合在所述作为比较对象的命题形式的规范的所述条件部中出现的条件或者该条件的否定，来分解所述作为检查对象的命题形式的规范。3.根据权利要求1所述的软件规范开发辅助装置，其特征在于， 还具备未定义规范检查部，其针对接受的所述多个命题形式的规范检查结果未定义的条件，` 所述未定义规范检查部通过将逻辑积结合了所述多个命题形式的规范的条件部的否定所得的规范变换为积和标准形，生成表示结果未定义的条件的命题形式的规范， 所述决定表生成部取得所述命题形式的规范的一部分或者全部，关于各个所述命题形式的规范，取出该命题形式的规范的条件部和结果部，生成所述决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。4.根据权利要求1所述的软件规范开发辅助装置，其特征在于， 还具备: 制约接受部，其接受由具有I个或多个条件的前项和具有I个或多个条件的后项所组成的、表示多个条件间的制约关系的制约；以及 制约检查部，其检查是否有所述多个命题形式的规范不满足所述制约的情况， 所述制约检查部，当从所述制约接受部取得所述制约时，判定是否有任意的作为检查对象的命题形式的规范不满足所述制约的情况，如果有不满足的情况，则将所述作为检查对象的命题形式的规范分解为不满足制约的命题形式的规范和满足制约的命题形式的规范。5.根据权利要求4所述的软件规范开发辅助装置，其特征在于， 所述制约检查部，在作为检查对象的命题形式的规范不满足制约时，通过在所述作为检查对象的命题形式的规范的所述条件部逻辑积结合在所述制约的前项或后项中出现的条件或者该条件的否定，来分解所述作为检查对象的命题形式的规范。6.根据权利要求2或5所述的软件规范开发辅助装置，其特征在于， 所述决定表生成部在生成的决定表中，将追加到所述作为检查对象的命题形式的规范中的条件与其它条件进行区别显示。7.根据权利要求1所述的软件规范开发辅助装置，其特征在于， 还具备策略保存部,其保存表示在所述命题形式的规范中成为决定表生成对象的命题形式的规范的条件和基于该决定表进行的显示方法的策略， 所述决定表生成部按照所述策略决定作为显示对象的命题形式的规范和其显示方法，并根据该决定的规范和显示方法进行所述决定表的显示。8.根据权利要求1所述的软件...
【专利技术属性】
技术研发人员：佐藤直人，石川贞裕，伊藤信治，宫崎邦彦，山口洁，
申请(专利权)人：株式会社日立制作所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。