|
|
51CTO旗下网站
|
|
移动端

2.7.5 生成BOR、BRO和BRE充分性测试用例(6)

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

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

2.7.5 生成BOR、BRO和BRE充分性测试用例(6)

接着,构造使表达式E取值为假的约束集。从上面6个约束集中选取约束集SfE,使其规模最小并且覆盖所有的FS:

 

现在,已经准备好了介绍从非奇异表达式生成最小约束集的算法BOR-MI-CSET。下面的算法会用到前面介绍的算法BOR-CSET和MI-CSET。

为包含非奇异表达式的谓词生成最小约束集的算法BOR-MI-CSET

输入:布尔表达式E。

输出:表达式E的约束集SE,确保能够检测出E的实现中存在的布尔运算符故障。

Begin of BOR-MI-CSET

步骤1将表达式E划分为n个相互奇异的组件,E={E1,E2,...,En}。

步骤2利用算法BOR-CSET为每个奇异组件生成BOR约束集。

步骤3利用算法MI-CSET为每个非奇异组件生成MI约束集。

步骤4利用算法BOR-CSET的步骤2,组合以上两步骤得到的约束集,形成表达式E的约束集。

End of BOR-MI-CSET

下面的例子用于说明算法BOR-MI-CSET。

例2.32同例2.31,考虑表达式E=a(bc+bd),其中a、b、c、d是布尔变量。注意,E是非奇异的表达式,因?淞縝出现了两次。应用算法BOR-MI-CSET来计算表达式E的约束集SE。

根据BOR-MI-CSET的步骤1,将E划分为组件e1、e2,其中,e1=a,e2=(bc+bd),e1是奇异表达式,而e2则是非奇异表达式。

根据BOR-MI-CSET的步骤2,采用算法BOR-CSET生成e1的约束集如下:

 

下面,采用算法MI-CSET生成e2的约束集。注意,e2是个析取范式,可以表示成e2 =u+v,其中,u=bc,v=bd。

根据MI-CSET的步骤1,得到:

 
再下来,根据MI-CSET的步骤4、步骤5、步骤6,构造e2的“假”约束集Sfe2,其中步骤4、步骤5用到的求补子表达式为:
 
至此,将采用算法BOR-MI-CSET的步骤1、步骤2、步骤3产生的结果总结如下:
 

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

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

读 书 +更多

XML案例解析教程

本书对开发XML应用程序给予了详细指导,其中一些应用程序甚至对于您来说是完全陌生的。这些应用程序包括XML 1.0,以及与XSLT、XQuery和XPat...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊