检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]河北工业大学计算机科学与软件学院,天津300401
出 处:《计算机工程与设计》2008年第10期2581-2586,共6页Computer Engineering and Design
基 金:国家自然科学基金项目(50675059);国家863高技术研究发展计划基金项目(2006AA042109);教育部博士点基金项目(20060080002);天津市自然基金项目(07JCZDJC08900)
摘 要:针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。The limitations of simulated annealing and genetic algorithms applied to test data generation automatically are investigated, and an automated approach based on GEMGA for generating such data is proposed. A method that a control flow graph combined with a data flow graph generates the feasible path to avoid the important computation for the infeasible path is proposed. The preliminary analysis results show that the method is practical from the view of the software engineering practice. Based on GEMGA, solving F(X) for the branch function of the generated feasible path and comparison with other automated testing methods, the experimental results of TriType show that it can generate higher quality test data more efficiently, and can be applied to larger applications.
关 键 词:数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.89