结对测试工具PICT用户手册.pdfVIP

结对测试工具PICT用户手册

——中文版

JacekCzerwonka,TestLead,MicrosoftCorporation

概述3

使用PIC生成测试用例参数3

运行PICT3

模型文件4

模型部分4

简的模型4

成对和高阶用例生成5

子模型5

模型选项6

约束6

条件约束6

无条件约束（不变量）7

参数类型8

别名8

非法性测试9

权重10

种了11

输出的随机性12

减少测试用例的数量12

大小写敏感性12

输出格式12

警告消息13

全部的或者无价值满足关系13

限制性约束13

样本模型13

磁盘分区的完整模型例子13

测试硬件配置的模型14

约束语法例子15

概述

两两独立组合测试工具（PICT）可以帮助QA有效地设计软件系统的测试用例和测试配

置。使用PICT,可以产生比手动生成更高效的测试caseoPICT生成一组代表应该用来组成

组合覆盖测试用例的简洁的参数值。

使用PIC生成测试用例参数

PICT是一个命令行工具。使用PICT,需要准备一个模型文件，详细说明要测试的接口

（或配置集或数据集）的参数。PICT生成一组简洁的参数值选项，用米组成组合覆盖测试用

例。

例如，如果你希望创建一个用于测试创建分区和卷的测试套件，那么域可以由以下参数

描述：类型、大小、文件系统、格式方法、簇大小和压缩情况。每个参数都有有限的可能值，

每个值都由它的性质决定例（如，压缩只能是开或关）或作为等价分区（如大小〉。

Type:Primary,Logical,Single,Span,Stripe,Mirror,RAID-5

Size:10,100,500,1000,5000,10000,40000

Formatmetod:quick,slow

Filesystem:FAT,FAT32,NTFS

Clustersize:512,1024,2048,4096,8192,16384,32768,65536

Compression:on,off

组合这些值的方式有超过4700种可能。要在合理的时间内进行测试，是非常困难的。

研究表明，测试所有可能的参数值对既提供了很好的测试覆盖率，同时测试用例的数量也能

够接受。例如，｛Primary,FAT｝是一个参数值对，｛10,slow｝是另一个；一个测试用例可以覆

盖许多值对。

对于上面的参数设置，PICI会产生60个测试用例。木指南的最后一节包含此卷/分区示

例的完整例子。

运行PICT

PICT是一个命令行工具，接受纯文本模式的文件作为输入，输出是一组测试用例。

Usage:pictmodel[options]

Options:

/O：N-Orderofcombinations(default:2)

/d:C-Separatorforvalues(default:,)

/a:C-Separatorforaliases(default:1)

/n:C-Negativevalueprefix(default:~)

/e:file-Filewitseedingrows

/r（:N]-Randomizegeneration,N-seed

/c-Cdi5e-bentiLivt;mudeltJdluaLion

/s-Sowmodelstatistics

PICT安装程序会将PICT添加到系统路径，所以