google搜索 51Testing站内搜索                    软件测试门户 | 软件测试培 训 | 文章资料精选 | 软件测试论坛 | 软件测试博客 | 测试招聘求职 
打印

软件测试数据生成的4种主要的方法

软件测试数据生成的4种主要的方法






白盒测试中的许多诸如控制流测试和数据流测试问题以及黑盒测试中的一些问题都可以归结为面向路径的测试数据生成问题(本文简称为问题Q),其非形式化描述为:给定一个程序P和P中一条路径W,设P的输入空间为D,求x∈D,使得P以x为输入运行,所经过的路径为W.
自动求解问题Q将有效地提高单元测试的效率.求解问题Q的实质在于约束系统的建立和求解.求解约束系统的主要困难之一在于其中所存在的非线性约束
  Davis 1973年证明不存在能求解任意约束系统有效数值方法.
  Wicker 1979年进一步证明不存在有效的算法,对于任意的P和W,能生成使W被经过的输入数据.尽管这些理论结果令人沮丧,但是实际应用的需要迫使人们进行研究,并提出各种方法求解问题Q.
1)随机法:基本思想是对输入数据空间D进行随机取样。
2)静态法:采用符号执行等方法将路径上的所有(判断)语句转换成约束系统,然后进行求解.
3)动态方法:基于程序实际运行,生成测试数据的过程是确定性
4)试探方法:遗传算法和模拟退火算法.

TOP

8错
欢迎。。。


让我们一起变老http://xm3525.cublog.cn

TOP

学习

TOP

呵呵,好文章啊!

TOP

很有概括性.相关的引用是不是可以给出呢?

TOP

很概括!

TOP

很多东西说的太模糊了阿,不理解
解释一下遗传算法和模拟退火算法

TOP

很抽象,现在我做的测试好像没有用到这些!楼主能否说的详细些

TOP

是啊,能不能解释得更加明确点。

TOP

是啊,能不能解释得更加明确点。

TOP

比较抽象,可不可以解释得明白点啊?斑竹

TOP

比较抽象,可不可以解释得明白点啊?斑竹

TOP

是啊,能不能解释得更加明确点。

TOP

是比较抽象,要是具体的话,没个几十页纸也许拿不下来。
测试源于爱,爱源于内心。Doing what you love and loving what you do.

TOP

比较抽象,可不可以解释得明白点啊?

TOP

比较抽象,可不可以解释得明白点啊?

TOP

菜鸟


比较抽象啊

TOP

楼主的水平太高了,呵呵,汗。

TOP

请教楼主,什么是遗传算法和模拟退火算法?

TOP

不错,在学习中。我现在做测试好像还没有用到这些方法,能否讲的更详细一些。

TOP

 
当前时区 GMT+8, 现在时间是 2008-9-7 17:29Copyright(C)上海博为峰软件技术有限公司 2001-2007 电话:021-64471599-8017
当您在访问网站、论坛及博客过程中遇到问题时可发送email:webmaster@51testing.com或发送论坛短信至管理员风在吹