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

作     者：艾丽蓉 赵庆兰 刘西洋 刘洋 刘鹤辉 AI Li-Rong;ZHAO Qing-Lan;LIU Xi-Yang;LIU Yang;LIU He-Hui

作者机构：西北工业大学计算机学院西安710072 西安电子科技大学软件工程研究所西安710071 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2006年第33卷第7期

页      码：249-252,285页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2006.07.068

馆 藏 号：203710344...