|
|
|
|
移动端

2.7.6 因果图与谓词测试

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

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

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


2.7.6 因果图与谓词测试

第2.6节中描述的因果图是一种需求建模和测试设计技术。因果关系是从软件需求规范当中提取出来的。在一个因果关系中,作为原因的那部分可以表示成谓词;作为结果的那部分用于构造测试预言,判断当相应原因成立时结果是否会出现。

为了测试代表因果图中原因的条件是否被正确实现,测试人员要么用第2.6.3节描述的判定表技术,要么用本节描述的四个算法之一设计测试集。

已有研究证明:用算法BOR-CSET生成的测试集比用算法CEGDT生成的测试集小得多;用算法BOR-CSET生成的测试集的故障检测效力比用算法CEGDT生成的测试集略差一点。

有两个理由可以认为,将因果图技术与本节介绍的谓词测试技术结合起来肯定会有更强的故障检测能力。首先,因果图是模拟软件需求的有效手段;其次,一旦因果图建立起来之后,可用本节介绍的四个基于谓词的测试设计算法中任意一个生成测试集。练习2.42有助于读者理解因果图与谓词测试组合起来是如何工作的。


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

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

读 书 +更多

精通ASP.NET 2.0+XML+CSS网络开发混合编程

本书以最新的ASP.NET 2.0为基础,详细阐述了当前网络开发的经典架构ASP.NET 2.0+XML+CSS的各个知识点,以及SQL Server 2005的相关知识。全...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊