|
|
|
|
移动端

2.7 基于谓词的测试生成

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

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

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


2.7 基于谓词的测试生成

本节将介绍测试集的一些生成技术,它们保证能检测出涉及规则编程的某些错误。作为测试集体设计依据的那些规则,可能存在于软件需求里,也可能嵌入在被测软件中。

规则可以形式化地表示为谓词。例如,考虑软件需求“若打印机处于ON状态且具备打印纸,则发送要打印的文件”。这句话包含一个条件和一个动作。下面的谓词,记为pr,表示这句话的条件部分:

 

谓词pr包含两个由布尔运算符“∧”连接的关系表达式。两个关系表达式都使用了等于符号(=)。编程人员可能正确地为pr编码,也可能没有正确编码,导致程序中存在缺陷。我们的目标是,根据谓词产生测试用例,从而可以确保在测试中发现某种类型的所有缺陷。这种用于验证谓词实现是否正确的测试称之为谓词测试。

在介绍谓词测试方法之前,先定义几个与谓词和布尔表达式相关的术语;然后讨论谓词测试方法所能发现的故障类型;接着介绍谓词约束;最后是谓词测试用例生成算法。

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

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

读 书 +更多

开源osCommerce 轻松架设专业电子商务平台

osCommerce是一款免费的、开放源代码的专业电子商务解决方案。本书以通俗易懂的语言向读者展示了该软件强大的功能和简易的操作方法,主要内...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊