论文部分内容阅读
类间数据依赖分析是类间数据流测试的基础。本文通过分析类簇级测试中的异常传播对程序数据依赖的影响，提出一种包括异常结构在内的类间C＋＋程序数据依赖分析方法。根据类间关系增量式地构造类间数据依赖图，并给出类间数据依赖图的构造算法。最后，在程序切片中应用了该数据依赖分析方法。结果证明，该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高。