allpairs使用说明

 allpairs 

在线工具:https://pairwise.yuuniworks.com/

新加入语法:【参考:https://www.cnblogs.com/liangshi/archive/2010/07/25/1784666.html】

1.约束

根据一个项目对其他的项目取值范围约束，eg:

IF [PLATFORM] = "x86" THEN [RAM] <> "64GB";

IF [OS] = "Win2K3" THEN [IE] >= 6.0;

第一条约束是，当CPU是x86时，内存不能是64GB。第二条约束是，当操作系统是Windows 2003时，IE的版本号要大于6.0。当PICT读取模型文件时，它会解析约束规则，并将其应用于测试用例生成过程。生成的测试用例集既满足对有效取值组合的覆盖，又不包含无效取值组合。

2.卫哨

使用~标识“负面”（Negative）取值

用特殊符号"~"标记出非法（invalid）值。例如，在如下模型中，参数A的取值0被标记为非法。

A: ~0, 1, 10

B: -1, 0, 1

C: -1, 0, 1