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

Construction of Branch Dependence Graph in Evolutionary Testing for Java

作　　者：艾丽蓉[1] 赵庆兰[1] 刘西洋[2] 刘洋[2] 刘鹤辉[2] 

机构地区：[1]西北工业大学计算机学院,西安710072 [2]西安电子科技大学软件工程研究所,西安710071

出　　处：《计算机科学》2006年第7期249-252,285,共5页Computer Science

基　　金："十五"国防预先研究项目"可信软件工程技术"(413150501)资助

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

关 键 词：进化测试 状态问题 分支依赖 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]