|
|
|
|
移动端

2.6.3 从因果图生成判定表(2)

《软件测试基础教程》第2章基于需求的测试生成,本章主要介绍从非形式化或形式化定义的软件需求生成测试集的技术。这些技术,有的可以自动地执行,而大部分则需测试人员付出艰辛的劳动,特别是在测试大型软件时。本章所介绍的大部分测试技术属于黑盒测试,因为生成测试集时不需参考被测软件的源代码。本节为大家介绍从因果图生成判定表。

作者:王峰/郭长国/陈振华 等译来源:机械工业出版社|2011-09-17 22:59

技术沙龙 | 邀您于8月25日与国美/AWS/转转三位专家共同探讨小程序电商实战

2.6.3 从因果图生成判定表(2)

根据步骤2.3构造判定表。将以上5个向量转置,并从next_dt_col=1开始依次增加到判定表中。步骤2.3结束后所得的判定表如下:

 

根据步骤2.4修正判定表。置next_dt_col=next_dt_col+m1 =1+5=6,i=2。

回到步骤2.1,此时e=Ef2。进行回溯,我们发现,当中间结点3为1状态时,必将导致结果e发生。从中间结点3开始回溯,可以进一步发现,中间结点2和原因C4的组合(1,1)将导致结点3处于1状态。

前面得到了使中间结点2为1状态的C1、C2、C3组合情况,将C4与它们合并,得到导致结果Ef2发生的原因组合如下:

 

从图2-15中我们得知,C2与C4不能同时处于1状态。因此,将第二、第四行组合从表中删除。这样,得到下面3个组合:

 

在上表后增加两列,分别代表Ef1、Ef2。根据C1、C2、C3、C4的组合分别填上Ef1、Ef2的取值,这样,可获得如下3个向量。此时m2=3,又执行完了CEGDT的步骤2.2,且没有使用任何启发式方法。

 
根据步骤2.3构造判定表。将以上3个向量转置,并从next_dt_col=6开始依次增加到判定表中。步骤2.3结束后所得的判定表如下:

 

接下来,根据步骤2.4修正判定表。置next_dt_col=next_dt_col+m2 =6+3=9,i=3。

由于此时步骤2的循环已终止,因此算法CEGDT结束了。这样,上面给出的判定表就是对图2-15中因果图生成判定表的算法(CEGDT)所得到的输出结果。



【责任编辑:云霞 TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

网管员必读—网络应用(第2版)

本书虽然是《网管员必读—网络应用》的改版,但它绝不是简单的修改,而是完完全全的重写,内容更实用、更专业。全书共9章,13个大小方案,...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊