~)
/e:file - 定义随机种子文件
/r[:N] - 定义随机种子,N-种子值
/c - 指定模型计算时大小写敏感(默认不敏感)
/s - 显示模型的统计信息
使用步骤...PICT使用步骤:
构建模型文件:确定因素名和因素取值、子模型、约束条件
生成测试用例
评审并修改用例组合
模型文件
PICT 模型文件格式如下:
# 因素及因素取值定义
parameter definitions...硬件因素 { PLATFORM, CPUS, RAM, HDD } 以 3-wise 进行组合
# 2. 软件因素 { OS, Browser } 以 2-wise 进行组合
# 3....最后 {硬件因素组合,软件因数组合,App} 以 2-wise(默认,可通过 /o:N 设置) 进行组合
{ PLATFORM, CPUS, RAM, HDD } @ 3
{ OS, Browser }...@ 2
# 约束条件定义
# IF Predicate THEN Predicate ELSE Predicate
# 支持的条件约束:=, , >, >=, <, <=, LIKE, IN
#