选项
- 组合次数/o:N：默认2，最大值为参数总量。取值越大生成的测试用例越多，从而测试覆盖率就更高。
- 值分隔符/d：默认逗号","。
- 别名分隔符/a：默认管道符"|"。
- 负值前缀/n：默认波浪符"~"。
- 输出随机/r：使用同样的模型内容和选项得到的输出是相同的，使用此选项可使输出结果随机。
- 区分大小写/c：参数的取值区分大小写。
模型文件参数定义
- 模型文件内容分块：至少1个"参数定义"区域，额外可选择包含"子模型"和"约束定义"区域。
- 注释和空行：可以用"#"开启一行注释，空行可以出现任何地方。
- 参数定义：参数与其取值间使用分号":"分隔，一行一个参数。
- 参数类型：数值型和字符型两种。
模型文件子模型
- 定义：使用"{参数名1,参数名2,...} @ 组合次数"的格式自定义一个组合，然后通过增减"组合次数"来使特定组合得到更多或更少的测试。
- 说明：可以定义多个子模型；同一参数可在多个模型中使用；组合次数默认值为选项/o的取值，最大值为子模型参数总量。
模型文件约束
条件约束
- IF分支语句：IF pass THEN pass ELSE pass;
- 关系运算符：=,<>,>,>=,<,<=,LIKE(可使用通配符*和?),IN
- 逻辑运算符：NOT,AND,OR
- 可以使用圆括号改变它们的运算优先顺序；参数名需用中括号[]括起来；IN的目标集合需用大括号{}括起来。
无条件约束
- 即无IF分支语句的条件约束。比如[参数] <> [参数2]
高级技巧
别名
- 用处与用法：同一参数多个取值间区别不大时，可使用管道符"|"给值取别名，PICT会在测试用例中轮流使用这些别名。
- 说明：评估约束和值类型时PICT只使用第一个别名。
负面测试
- 用处与用法：测试参数的负面情况时，可使用波浪符"~"来给负面取值加标记。
- 说明：给值加负面标记的作用是避免输入掩盖问题，即一个负面的取值掩盖掉了另一个负面取值。加负面标记后PICT会主动避免两个负面取值出现在同一测试用例中。
权重
- 用处与用法：跟子模型类似，可使用权重来使一些参数取值更多地出现在测试用例中。权重可以是任何正整数，每个值默认的权重是1。
- 说明：权重不一定会起作用，因为PICT认为"在最少的测试用例中覆盖所有参数组合"更重要。
来源：oschina
链接：https://my.oschina.net/u/137532/blog/36178