软件测试技术2.pptVIP

* * 谓词约束 给定谓词pr的约束C，任意满足C的测试用例将使pr取值为true或false。将使得pr(C)=true的约束C称为“真”约束，而将使得pr(C)=false的约束C称为“假”约束。 这样，就将约束集合S划分为两个子集St和Sf，S= St∪Sf。其中，对于任意C?St，有pr(C)=true;对于任意C?Sf，有pr(C)=false; * * 谓词测试准则 我们最关心的是如何从给定的谓词pr生成测试集T，使其满足： ①T是最小集合; ②T保证能够检测出pr实现中存在的符合前面所述故障模型的所有故障。 为了获得这样的测试集，定义了称作BRO测试准则，名称BRO对应于布尔和关系运算符。 * * 谓词测试准则 形式化定义（BRO）： 对于复合谓词pr，如果测试集T确保能够检测出pr实现中存在的所有单/多布尔运算符及关系运算符故障，则T满足BRO测试准则，称T为BRO充分测试集，记为TBRO。 * * 首先，回顾关于集合笛卡尔积的定义： 有限集合A和B的笛卡尔积记为A×B，定义如下： A×B={(a, b) |a?A, b?B} 为了能生成最小的测试约束集，还需要另一种集合积的计算方法。 * * 集合的onto积（其运算符记为?）定义如下： 对于有限集合A和B，A?B为二元偶(u,v)构成的最小集合，其中u?A、v?B，且A中的各个元素至少出现一次，B中的各个元素也至