[发明专利]数据耦合和控制耦合自动分析方法

权利要求书

1.一种数据耦合和控制耦合自动分析方法，其特征在于包含以下程序步骤：

步骤1、分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；其中，潜在耦合因子为MPC路径上的结点，MPC路径为按照更改路径覆盖策略对应的路径，更改路径覆盖策略为只考虑影响耦合的路径，不考虑不影响耦合的路径；

步骤2、分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；

步骤3、识别各MPC路径上的潜在耦合因子是否为“耦合对”；

步骤4、在软件源代码中出现“耦合对”的地方插装标记语句；

步骤5、在已插装了标记语句的程序上，执行基于需求的测试程序，分析所插装的标记语句的执行结果，生成耦合覆盖分析报告。

2.根据权利要求1所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述步骤1包含以下程序步骤：

步骤1.1、对软件源代码进行识别；

步骤1.2、对识别出的全局变量，若全局变量为简单变量，则将简单变量作为潜在耦合因子记录在潜在耦合因子表中；若全局变量为组合变量，则将组合变量的每一元素作为单独的潜在耦合因子记录在潜在耦合因子表中；

步骤1.3、对识别出的函数定义，则分别将输入参数和输出参数作为单独的潜在耦合因子记录在潜在耦合因子表中；

步骤1.4、对识别出的局部变量，若该局部变量或该局部变量的变形为函数调用的实参，则将该局部变量作为潜在耦合因子记录在潜在耦合因子表中；

步骤1.5、对识别出的数据文件或数据库，将数据文件或数据库的每一个元素作为一个单独的潜在耦合因子记录在潜在耦合因子表中。

3.根据权利要求2所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述潜在耦合因子表采用XML格式文件作为表现形式。

4.根据权利要求1或2或3所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述潜在耦合因子的属性包括所在文件名称、所处位置、潜在耦合因子名称、类型。

5.根据权利要求1所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述步骤2包含以下程序步骤：

步骤2.1、分析软件源代码，形成软件的调用关系树；

步骤2.2、分析软件源代码，将模块中的潜在耦合因子作为路径结点形成MPC路径矩阵；

步骤2.3、从调用关系树的树根开始，按照深度优先策略，遍历模块的MPC路径矩阵，形成自起点至终点的程序运行的完整路径，并记录完整路径；

步骤2.4、重复步骤2.3，直到所有模块的MPC路径都遍历一遍，形成软件的MPC路径集合。

6.根据权利要求5所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述路径结点的属性包括程序文件名称和结点位置。

7.根据权利要求1所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述步骤3包含以下程序步骤：

步骤3.1、沿某一MPC路径遍历程序；

步骤3.2、如果是对某潜在耦合因子进行赋值操作，则先记录该赋值操作及该潜在耦合因子的有关属性；

步骤3.3、如果是对某潜在耦合因子进行使用操作，则向前检索是否有对该潜在耦合因子的赋值操作，如果有，则记录该“耦合对”为“数据耦合对”；

步骤3.4、如果是将某潜在耦合因子用于程序执行路径控制，则向前检索是否有对该潜在耦合因子的赋值操作，如果有，则记录该“耦合对”为“控制耦合对”。

8.根据权利要求7所述的一种数据耦合和控制耦合自动分析方法，其特征在于所述“耦合对”的属性包括潜在耦合因子名称、耦合类型及耦合发生的位置。