《软件测试》基于谓词的测试生成 参考文档.docx

PAGE23

2.7基的测试生成

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

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

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