面向Java语言的进化测试中分支依赖图的构建

在面向对象程序的进化测试中，面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行，而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题，采用基于蚁群算法和遗传算法的动态搜索与静态分析相结合的方式提供了一种有效的思路。本文针对这种思路中的静态分析过程提出分支依赖图的概念，并设计、实现了针对Java语言的方法内分支依赖图以及类的分支依赖图的构建算法。

Construction of Branch Dependence Graph in Evolutionary Testing for Java

In evolutionary testing,the execution of a sequence of method invocations is required to cover a given branch for the state characteristic of object-oriented programs,and private/protected methods can't be invocated directly because of the encapsulation.An effective solution to the both problems is to combine static analysis with dynamic search based on ant colony algorithm and genetic algorithm.Aiming at the static analysis in this approach,in this paper,the conception of Branch Dependence Graph(BDG)is proposed,and algorithm for constructing the BDG for Java is given.