不可达指令的判定算法实现 - 汇编源程序不可达指令的判定算法

2.3 不可达指令的判定算法实现

　　算法实现如下：

　　Void pleonasm( )

　　{

　　Int A[n],A1[n],A2[n],A3[n],B1[n],B2[n],B3[n],B[n];

　　Int I,j,k=0,p=0;

　　For(i=0;i

　　For(j=0;j

　　If(A!=A1[j])

　　{ B1[k]=A1[j];

　　k++;}//找出执行上限值时没有执行到的指令序列号

　　l=len(B1);

　　k=0;

　　For(i=0;i

　　For(j=0;j

　　If(A!=A2[j])

　　{ B2[k]=A2[j];

　　k++;}//找出执行下限值时没有执行到的指令序列号

　　k=0;

　　m=len(B2);

　　For(i=0;i

　　For(j=0;j

　　If(A!=A3[j])

　　{ B3[k]=A3[j];

　　k++;}//找出执行中间值时没有执行到的指令序列号

　　n=len(B3);

　　for(i=0;i

　　for(j=0;j

　　for(k=0;k

　　if(B1==B2[j]&&B2[j]==B3[k])

　　{B[p]=B1;

　　P++;

　　Printf(“不可达指令语句号=%d,”,B[p]); }

　　Pringf(“\n”);

　　}

　　3、算法验证

　　下面以一个简单的汇编源程序来验证算法。

　　1)根据判定算法，首先把源程度块的所有语句序列号存入数组A

　　A={1，2，3，4，5，6，7，8，9，10，11，12}

　　2)把X=12(大于0的数)时所执行的语句序列号存入数组A1

　　A1={1，2，3，4，5，6，7，10，11，12}

　　3)把X=-3(小于0的数)时所执行的语句序列号存入数组A2

　　A2={1，2，3，4，9，10，11，12}

　　4)把X=0(等于0的数)时所执行的语句序列号存入数组A3

　　A3={1，2，3，4，5，10，11，12}

　　5)分别求出A1、A2、A3的补集B1，B2，B3

　　B1= ={8，9}，

　　B2= ={5，6，7，8}，

　　B3= ={6，7，8，9}

　　6)求出B1，B2，B3的交集B

　　B=B1ΛB2ΛB3={8}

　　因此可以断定语句8为不可达指令，从源程序块中删除后并不影响程序的正确性。

　　4、算法复杂度分析

　　此种算法源于程序块内，程序结构全部为顺序结构和简单分支结构，因此遍历过程算法复杂度均为O(n)，判定交集算法复杂度为O(n2)。因为此算法只是进行两种运算，因此算法综合复杂度为O(n2)。

　　5、结论

　　本文讨论了一种判定汇编语言程序不可达指令的算法，并通过一个示例程序说明了算法的实现并验证了其正确性。本文的工作为覆盖测试更全面、更有效的进行做了必要的补充，下一步需要做的是研究高效的覆盖测试算法，以提高测试的覆盖率。