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