Journal of King Saud University
沙特国王大学
沙特国王大学学报
www.ksu.edu.sawww.s
ciencedirect.com
基于边界超长方体的
Shahram Moadab
a,
*
,
Hassan Rashidi
b
a
伊朗加兹温伊斯兰阿扎德大学加兹温分校电气、信息技术和计算机科学系
b
伊朗德黑兰
Allameh Tabataba'i
大学数学和计算机科学系
接收日期:2014年6月6日;修订日期:2015年3月21日;接受日期:2015年5月13日
2015年11月2日在线发布
设计测试用例和生成测试数据是软件工程中非常重要的阶段。为了生成测试数据,使用
了一些生成器,例如随机测试数据生成器、数据规格生成器和面向路径(Path-Wise)的
测试数据生成器。面向路径的测试数据生成器中最重要的问题之一是缺乏对通过测试数
据发现故障的关注。本文提出了一种自动生成测试数据的方法,以实现在更短的时间内
发现更多的故障。当输入域边界附近的故障数多于中心时,根据Pareto 80-20原则,该方
法的测试数据将在允许区域边界的20%处产生。为此,我们提取边界超长方体,然后利
用这些超长方体生成测试数据。实验结果表明,与以往的方法相比,该方法的故障检测
概率和故障检测速度都有明显提高。通过以这种方式生成数据,可以在短时间内发现更
多故障,从而更有可能按时交付产品
©
2015作者。制作和主办由爱思唯尔B.V.代表沙特国王大学。 这是
CC BY-NC-ND许可下的开放获取文章(http://creativecommons.org/licenses/by-nc-nd/4.0/)。
1.
介绍
软件测试过程的目的是提高软件产品的可靠性(Cai等
人, 2008年)。这一过程在定义和改善软-
*
通讯作者。
电 子 邮 件 地 址 : moadabsh@gmail.com ( S.Moadab ) ,
hrashi@atu. ac.ir(H. Rashidi)。
沙特国王大学负责同行审查
软件开发过程(Hamlet,1995)。因此,测试过程作
为软件开发中最重要的阶段之一,引起了人们的特别
关注执行这样一个重要的过程是唯一可能的原则设计
的测试用例,这是指识别程序输入数据的过程,使其
满足选定的标准的测试(Korel,1990年)。有三种类
型的生成器,即:随机生成器、数据规范生成器和面
向 路 径 的 生 成 器 ( Ryu和 Yi , 1999; Nirpal 和 Kale ,
2011)。随机数发生器是最简单的测试数据发生器,
它使用随机算法来测试数据的产生。使用这种方法生
成的测试数据能够满足被测程序约束的概率很低。数
据规范生成器
http://dx.doi.org/10.1016/j.jksuci.2015.05.002
1319-1578
©
2015作者。制作和主办由爱思唯尔B.V.代表沙特国王大学。 这是一篇基于CC BY-NC-ND
许可证的开放获取文章(http://creativecommons.org/licenses/by-nc-nd/4.0/)。
关键词
面向路径测试;边界超长方
体;符号执行;
故障检测概率;故障检测
速度