消息传递并行程序路径覆盖测试数据生成问题的模型及其进化求解方法

摘要：

测试数据生成是软件测试的关键,近年来得到国内外学者的广泛关注.但是,已有的研究成果主要面向串行程序.任务划分、进程调度和网络延迟,使得并行程序的执行具有不确定性,给并行程序的测试数据生成带来很大挑战.文中研究消息传递并行程序面向路径覆盖的测试数据生成问题,提出并行程序的路径表示,定义等价路径并给出寻找方法.基于此,建立并行程序路径覆盖测试数据生成问题的数学模型,并采用遗传算法求解该模型.作者将所提方法应用于6个基准测试程序,并与随机法比较.实验结果表明,文中所提方法可以高效生成覆盖目标路径的测试数据.

关键词：软件测试、并行程序、路径覆盖、测试数据、遗传算法

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：This research was jointly supported by National Natural Science Foundation of China with Grant No.61075061,Specialized Research Fund for Doctoral Program of Higher Education of China with Grant No.20100095110006,Fundamental Research Funds for Central Universities with Grant No.2012LWB72,and Graduate61075061;高等学校博士学科点专项科研基金20100095110006;中央高校基本科研业务费专项资金2012LWB72;江苏省普通高校研究生科研创新计划项目CXZZ11_0292

在线出版日期：2013-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：2212-2223