[发明专利]一种软件开发过程模型差异检测方法

权利要求书

1.一种软件开发过程模型差异检测方法，包括下列步骤：

步骤1.计算过程循环复杂度；

所有模型以各自路径上第一个变迁的编号为标准，按字典序从小到大排列；通过这样的约束，一个并行结构转换为唯一的顺序结构；

基于以上对于并行结构的策略，过程循环复杂度的计算公式：

V(G)＝E-V+2-(n-m) (2)

其中E是过程模型图中的连线数量，V是过程模型图中的节点数量，m是过程中并行结构的数量，n是并行结构中模型的总数；

步骤2、构造过程结构树；

基于任务的过程结构树TPST是基于过程结构树PST改进的一种半有序树；TPST中包含有序节点和无序节点；其中有序节点是用来表示顺序结构、循环结构；无序节点是用来表示选择结构XOR和并行结构AND；有序节点的子节点按照从左到右的顺序排列，而无序节点的子节点则没有顺序；

步骤3.建立独立路径；

所谓独立路径，就是过程中从开始节点到结束节点的一个可执行模型；每一个新的独立路径，都要求引入至少一个新的节点；对TPST采用宽度优先遍历方法；从树的根节点开始遍历，每次遍历完树的一层后，把得到的模型作为临时模型，继续遍历下一层时；遍历下一层时，将之前临时模型中的非变迁节点，即Sequence、XOR、AND、Loop，用它的子节点代替；共分为三种不同的情况：

1)其中Sequence和Loop节点，将它们的子节点按照从左到右的顺序排列并代替；

2)XOR节点，有已访问和未访问两种状态；最初所有XOR节点都是未访问的；当使用子节点对XOR节点进行代替时，分为两种情况：(1)XOR节点未访问：将它的两个子节点分别代替该XOR节点，并将XOR节点标记为已访问；这样就会将原来一个的临时模型变成两个；(2)XOR节点已访问：选择它的第一个子节点代替；

3)AND节点的子节点直接代替，并做标记；在得到最终独立路径后，对标记的模型再按照字典序排列；这样一直按照宽度优先遍历，直到遍历完树的最后一层，就能把临时模型中的所有非变迁节点都用变迁节点代替；当一个模型中的节点都是变迁节点时，则把该模型作为一个独立路径；当得到的独立路径数量等于过程循环复杂度后，则终止搜索；

得到每个业务过程的独立路径后，定义两种类型的编辑操作：删除和插入；对于两个独立路径x和y，通过一系列删除和插入的组合，将x转化为y；两种操作的次数代表了x和y的差异，记为dist(x,y)；最后通过公式计算两个独立路径的相似度；

删除：Delete(T,P)，表示从独立路径P中删除节点T；

插入：Insert(T,P,D)，表示向独立路径P中的第D位置插入节点T；

步骤4.过程模型差异检测；

得到过程的独立路径后，通过对两个过程的独立路径进行差异识别来衡量两个过程之间的差别；定义了两种编辑操作，分别是删除节点和插入节点；这两种编辑操作能够对模型中任何位置的节点进行执行，所以进行差异识别时通过计算两个模型之间的最长公共子序列来作为两者之间的共同部分，模型中剩余节点作为两者之间的差别；最后利用公式(3)计算两个模型之间的相似度；

对于两个过程的所有独立路径，计算两两之间的相似度，最后利用KM算法进行全局最优匹配，使得整体的相似度最高；KM算法的输入是两个过程之间两个独立路径的相似度，根据要求全局的相似度最高，得到最优的匹配结果；KM算法的输出是一个只有两列的二维数组，数组中每行的两列数据代表一个匹配；结果中一个过程的一个独立路径与另外一个过程的一个独立路径匹配；

对于得到的匹配对(path₁，path₂)，将path₁通过编辑操作得到path₂的操作序列则为最终的编辑序列；具体方法如下：在path₁中去掉最长公共子序列的节点后，删除剩余节点；接着向path₁中插入path₂除最长公共子序列部分之外的剩余节点，位置与在path₂中的位置保持一致；另外对于两个过程的独立路径数量不同的情况，直接删除经过KM匹配剩余的独立路径。