一种形式化需求规约自动化修复方法

摘要

本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率进行排序，取概率最高的冲突；S3：将S2得到的概率最高的冲突取反加入需求规约的系统断言中；S4：返回步骤S1，其中需求规约的系统断言为步骤S3处理后的系统断言，直到找不到新的冲突为止，进入步骤S5；S5：输出需求规约的环境约束和此时的系统断言。本发明提出了自动化的需求精化方法，高效的自动化搜索需求规约的冲突，从而为需求规约的修复提供方向。