收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于进化测试的用例生成方法研究

江胜  
【摘要】:随着信息技术在社会生产应用中的快速发展,计算机软件在信息系统中的作用日益重要,也变得复杂且庞大。在一些关键应用领域中如何保证软件的高可靠性已成为一个严峻课题。 软件测试是保障软件质量和可靠性的重要手段,而测试用例生成是软件测试的核心所在。传统方法中,手动生成测试用例对于软件测试人员而言是一个极其复杂和繁琐的体力劳动,不仅成本高且容易出错。自动化测试技术通过测试用例的自动化生成并驱动程序执行,有效地保证了测试效率和效果并控制了测试成本。基于搜索的测试生成技术是近年来新兴的软件测试技术,通过将测试用例生成转化为一个搜索过程,已取得重大研究进展并在软件生产实践中成功实用。 进化测试是一种重要测试用例自动生成技术,用于结构性测试方法时仍面临很多问题,在面向节点的测试准则下对非结构化程序进行测试就是其中之一,程序中任意跳转语句的引入(如goro),程序的控制流呈现非结构化形式。任意跳转语句的使用使程序的控制流变得复杂和不明确,尤其在循环体内部出现时,循环的边界难以确定,数据依赖和控制依赖分析变得更加困难。由于进化搜索的目标函数构造依赖于数据和控制依赖分析,于是非结构化控制流带来传统进化测试的失效或效率低下。因此必须针对此类应用程序设计合理的目标函数,为进化搜索提供利于搜索进展的导向。 数据依赖是一类重要的程序依赖,测试人员通过程序中变量的定义和使用情况来分析数据间的相互依存关系,数据流分析是结构性测试和程序切片的基础。一定意义上基于数据流的测试其实就是路径测试。 与控制依赖类似,在选定路径中由于标志变量的使用导致数据依赖的缺失同样影响进化测试的效率,此外标志变量特有的程序特性使进化搜索失去导向。因此进化测试的目标函数应充分考虑数据依赖信息,并通过程序易测性转换改变不良的程序特征从而引导进化搜索。已有的循环体中标志变量移除方法不能有效地处理诸如多分支赋值、break语句和半临界分支等情况,而需要改进。 工业实践中,多目标优化技术被广泛地应用于解决含有多目标和多约束的优化问题。覆盖和测试代价等通常作为衡量一个测试用例集的优劣程度,因此测试数据生成需要考虑多方面因素,于是多目标优化方法得以应用于基于搜索的结构性测试。 以进化测试为代表,基于搜索的测试用例自动生成方法取得不错的进展,但该方法的效率受限于大的搜索空间和特殊的程序结构,此外基于单条路径的测试生成其效果不佳。测试用例集生成的多目标优化一方面保证了用例集的优化,使之具备较高的程序覆盖同时限制了用例个数;另一方面复杂程序结构不会带来不必要的进化搜索,而仅依赖于程序执行,于是测试自动化得以实现。 多目标进化算法中,多样性保持直接影响最终Pareto前沿的质量,传统方法多采用基于距离的概念。平均覆盖密度描述了某用例集T提供的覆盖信息,其值越小表示T提供的覆盖越大,亦能体现T关于程序覆盖的多样性。覆盖和用例个数的比值描述了精英强度,在进行繁殖选择时,具备较高强度的个体拥有更强的繁殖能力。此外,不同于传统进化算法,针对用例集的交叉和变异算子进行特别设计。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 饶芳蕾,温晓慧;银行业务应用系统2000年测试[J];中国金融电脑;1998年09期
2 何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
3 冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
4 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
5 段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
6 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
7 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
8 刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
9 刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
10 李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
11 胡冬萍;;一种基于遗传算法的黑盒测试应用[J];科技广场;2008年08期
12 韩毅;周晏;;敏捷型软件开发方法与极限编程[J];科技信息;2009年14期
13 张卫祥;刘文红;;灰盒测试方法的实践与研究[J];飞行器测控学报;2010年06期
14 李华莹;于秀山;;软件自动化测试用例选择策略探讨[J];指挥信息系统与技术;2011年01期
15 高建华;辛敏杰;;影响GUI测试性能的两个因素:测试用例及测试预测[J];小型微型计算机系统;2011年09期
16 刘超;程序交互执行流程图及其测试覆盖准则[J];软件学报;1998年06期
17 冯华,王戟,徐锡山;基于使用模型的统计测试方法的研究[J];计算机工程;2002年12期
18 梁瀚;计算机软件系统测试方案研究[J];鞍山师范学院学报;2003年04期
19 李祎,陈嶷瑛;一种有效的软件测试模型[J];计算机工程与应用;2004年10期
20 宋春明,徐拾义;C++类测试描述语言的设计和实现[J];计算机工程;2004年12期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 孟洛明;;安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
6 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
7 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
8 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
9 陈翔;组合测试技术及应用研究[D];南京大学;2011年
10 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
2 章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
3 高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
4 许扬;ATE软件测试策略及实例研究[D];电子科技大学;2004年
5 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
6 殷广丽;软件测试管理与测试应用实践[D];山东大学;2005年
7 高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
8 高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
9 杨帆;基于系统测试的测试管理工具的开发及其应用研究[D];同济大学;2007年
10 周秋丹;软件测试在IBM域管理系统中的应用[D];大连理工大学;2006年
中国重要报纸全文数据库 前10条
1 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
5 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7 罗德与施瓦茨中国有限公司 周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
8 武刚;测试是质量的关键[N];中国计算机报;2003年
9 罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978