|
|
|
|
移动端

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

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

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

技术沙龙 | 6月30日与多位专家探讨技术高速发展下如何应对运维新挑战!


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

最后,根据算法BOR-MI-CSET的步骤4,从子表达式e1、e2的约束集生成整个表达式E的BOR约束集SE如下,此过程也如图2-21所示:


 
 
图2-21 采用算法BOR-MI-CSET导出的谓词a(bc+bd)的约束集
注意,例2.32中采用算法BOR-MI-CSET导出的约束集SE包含5个约束,而例2.31中采用算法MI-CSET生成的约束集则含有6个约束。在通常情况下,采用BOR-MI-CSET生成的约束集比用MI-CSET生成的小,且有更强的故障检测能力。练习2.40、练习2.41有助于加深读者对BOR-MI-CSET及其生成测试集的故障检测效力的理解。
【责任编辑:云霞 TEL:(010)68476606】

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

读 书 +更多

网络工程师必读——接入网与交换网

本书是以一个典型的计算机广域网通信为背景进行编写的,详细、全面地介绍了通信网中最主要的两个部分:目前,国内外接入网与交换网的主要技...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊