|
|
知识路径: > 测试技术的分类 > 白盒测试技术 > 白盒测试基本技术 > 静态错误分析 >
|
相关知识点:4个
|
|
|
|
在静态错误分析中,最广泛使用的技术就是发现引用异常。如果沿着程序的控制路径,变量在赋值以前被引用,或变量在赋值以后未被引用,这时就发生了引用异常。
|
|
|
为了检测引用异常,需要检查通过程序的每一条路径。通常采用类似深度优先的方法遍历程序流图的每一条路径,也可以建立引用异常的探测工具,这种工具包括两个表:定义表和未引用表。每张表中都包含一组变量表。未引用表中包括已被赋值但还未被引用的一些变量。
|
|
|
当扫描抵达一个出度大于1的节点V时,深度优先探测算法要求先检查最左分支的那一部分程序流图,然后再检查其他分支。在最左分支检查完之前,应把定义表与未引用表的当前内容用一个栈暂时存储起来,当最左分支检查完之后,算法控制返回到节点V,从栈中恢复该节点的定义表和未引用表的老的副表,然后再去遍历该节点的下一个分支,这个过程要继续到全部分支检查完为止。
|
|
|
|
|
|
|
|
|
|
|
|