PICT3.3用户指南学习笔记

选项

• 组合次数/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认为"在最少的测试用例中覆盖全部参数组合"更重要。