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