查看完整版本: 软件测试数据生成的4种主要的方法

常青藤 2004-10-7 13:00

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

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

xm3525 2004-10-8 09:28

8错

暗箱操作 2004-10-8 11:35

学习

babybear315 2004-10-8 13:02

呵呵，好文章啊！

xygwf 2005-2-28 21:30

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

gecko 2005-4-7 22:31

很概括！

guirongb 2005-5-11 11:46

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

coolseal 2005-5-27 09:24

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

rzm_1974 2005-6-20 09:24

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

rzm_1974 2005-6-20 09:24

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

jennyq 2005-8-15 10:41

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

jennyq 2005-8-15 10:43

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

chch9964 2005-8-26 10:14

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

Nokia0906 2005-8-26 11:02

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

ls_xh 2005-9-14 15:15

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

ls_xh 2005-9-14 15:16

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

swjtunono 2005-11-2 23:54

菜鸟

比较抽象啊

kevin_he 2005-11-7 16:22

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

kevin_he 2005-11-7 16:29

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

雪儿185 2005-12-31 23:07

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

shark_jr 2006-1-4 19:09

不能理解

zhaohaha112 2006-2-20 13:45

学习学习

983221wy 2006-4-5 09:15

谢谢了！！！！

superls 2006-8-17 16:22

学习一下

ljustin 2006-10-20 18:07

太难了。。根本不知道在说什么

little_insect 2007-3-5 13:24

有收获!

呵呵!有收获!

wymln 2007-6-4 17:56

回复 #1 常青藤 的帖子

能否具体点

eramyang 2007-6-25 14:52

如果能再分析一下就好了，本人的数学学的很差

pamperpan 2007-7-1 12:09

多谢指导～！不过还是有点似懂非懂～如果配点例子就perfect

gaoyanfang1 2007-7-5 12:58

说的有点抽象，不太理解

totti9807 2007-7-11 17:42

试探方法：遗传算法和模拟退火算法.

??
不明白

cq0417 2007-9-12 10:18

说得太抽象啦。。呵呵`

小鱼oO 2007-12-20 11:27

遗传算法和模拟退火算法能不能讲讲

mvjh13 2008-1-18 17:01

最好举些例子就更好了

piaofei 2008-1-31 16:41

退火算法什么意思

SJZ 2008-3-13 21:22

xiexie

zxsong024 2008-3-24 00:08

xuexi bucuo

karai_2008 2008-6-2 13:11

全然分りません

hifree 2008-6-4 14:05

白盒测试中的许多诸如控制流测试和数据流测试问题以及黑盒测试中的一些问题都可以归结为面向路径的测试数据生成问题(本文简称为问题Ｑ),其非形式化描述为:给定一个程序Ｐ和Ｐ中一条路径Ｗ,设Ｐ的输入空间为Ｄ,求ｘ∈Ｄ,使得Ｐ以ｘ为输入运行,所经过的路径为Ｗ.
自动求解问题Ｑ将有效地提高单元测试的效率.求解问题Ｑ的实质在于约束系统的建立和求解.求解约束系统的主要困难之一在于其中所存在的非线性约束

我原来做过一个黑盒测试，测试数据全部手工编制，因为该系统独特的业务特性（业务逻辑复杂，数据繁多但有规律），使用方法： 每个TEST CASE 后都附有相应的测试数据， 很低级但好像也只能这么做

请问楼主： 对于业务复杂，且数据要求严格的系统，做黑盒测试数据，有何捷径？？？？

wxcwyc 2008-7-4 10:32

不是很清楚？？？只是看出来是四种！！！！呵呵
页: [1] 2
查看完整版本: 软件测试数据生成的4种主要的方法