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

常青藤 · 发表于 2004-10-7 13:00:13

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

xm3525 · 发表于 2004-10-8 09:28:46

8错

暗箱操作 · 发表于 2004-10-8 11:35:07

学习

babybear315 · 发表于 2004-10-8 13:02:39

呵呵，好文章啊！

xygwf · 发表于 2005-2-28 21:30:54

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

gecko · 发表于 2005-4-7 22:31:26

很概括！

guirongb · 发表于 2005-5-11 11:46:49

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

coolseal · 发表于 2005-5-27 09:24:35

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

rzm_1974 · 发表于 2005-6-20 09:24:10

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

rzm_1974 · 发表于 2005-6-20 09:24:46

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

jennyq · 发表于 2005-8-15 10:41:36

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

jennyq · 发表于 2005-8-15 10:43:04

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

chch9964 · 发表于 2005-8-26 10:14:50

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

Nokia0906 · 发表于 2005-8-26 11:02:11

是比较抽象，要是具体的话，没个几十页纸也许拿不下来。

ls_xh · 发表于 2005-9-14 15:15:45

比较抽象，可不可以解释得明白点啊？

ls_xh · 发表于 2005-9-14 15:16:09

比较抽象，可不可以解释得明白点啊？

swjtunono · 发表于 2005-11-2 23:54:35

比较抽象啊

kevin_he · 发表于 2005-11-7 16:22:46

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

kevin_he · 发表于 2005-11-7 16:29:05

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

雪儿185 · 发表于 2005-12-31 23:07:56

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

		自动登录	找回密码
密码			(注-册)加入51Testing

[原创] 软件测试数据生成的4种主要的方法

相关帖子

菜鸟

站长推荐 /1