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的目标集合需用大括号{}括起来。 无条件约束