Pict,测试用例辅助小工具

1

PICT

PICT

PICT

PICT 3.3

3.3

3.3

3.3 用户指南

微软公司，测试组长， 亚采切尔翁卡

概述

概述

概述

概述

成对组合覆盖测试 工具 PICT 能帮助你有效地设计软件系统测试用例和测试配置 。 使用 PIC T

如 ， 如果你想给分区和卷建立一组测试用例集 ， 在这里需要用到以下几个参数 ： 类型 、 大小

文件系统 、 格式化方法 、 簇大小 、 和压缩 。 每个参数可能的取值数量有限 ， 这由它的性质决

定（例如，压缩只能是开或关 ） ，或有一个等价区间（如尺寸 ） 。

-------------------------------------------------------------------------------

类型： Primary ， Logical ， Single ， Span ， Stripe ， Mirror ， RAID-5

尺寸： 10 ， 100 ， 500 ， 1000 ， 5000 ， 10000 ， 40000

格式方法：快，慢

文件系统： FAT ， FAT32 ， NTFS

簇大小： 512 ， 1024 ， 2048 ， 4096 ， 8192 ， 16384 ， 32768 ， 65536

压缩：开，关

例子。

运行

运行

运行

运行 PICT

PICT

PICT

PICT

PICT 是一个命令行工具，它接受一个纯文本文件作为输入，然后输出测试用例集。

-------------------------------------------------------------------------------

用法： PICT 模型文件路径 [ 选项 ]

选项：

2

-------------------------------------------------------------------------------

PICT 安装程序将会把 PICT 安装到指定的路径 ， 然后你可以从指定的目录中运行它 。 要想查

看上面例子的 PICT 输出，可使用任何像 Windows ® 记事本 ® 的文本编辑器创建模型文件，然

后运行下面的命令：

-------------------------------------------------------------------------------

C:\YourFolder> pict ModelFile.txt

-------------------------------------------------------------------------------

上述命令打印一个制表符分隔的输出文件，可使用 DOS 命令 “ > ” 将输出结果重定向到指定

文件中 :

-------------------------------------------------------------------------------

-------------------------------------------------------------------------------

模型文件

模型文件

模型文件

模型文件

模型区域

一个模型文件至少包含 1 个区域，最多包含 3 个区域：

-------------------------------------------------------------------------------

参数定义

[ 子模型定义 ]

[ 约束定义 ]

简单模型

为了产生一个非常基本的模型文件 ， 你需要列出参数名称 ， 每行一个参数和它可能的取值之

间用分号分隔：

< 参数名称 >:<Value1>,<Value2>,<Value3>,...

3

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

Format method: quick, slow

File system: FAT, FAT32, NTFS

Cluster size: 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536

Compression: on, off

-------------------------------------------------------------------------------

逗号是默认的分隔符，可使用 “ /d: ” 选项指定一个不同的分隔符。

成对和高阶生成

成对和高阶生成

成对和高阶生成

成对和高阶生成

默认情况下 ， PICT 生成一组成对组合且覆盖所有情况的测试用例集 。 可以使用选项 “ /o:N

设置比 2 更大的排列次数。例如，如果指定 “ /o:3 ” ，由此生成的测试用例将涵盖所有三个

一组的值 ， 产生比成对测试更多的测试用例 ， 这样测试的覆盖范围就更大 。 对于一个简单的

子模型允许你将一些参数绑定到组中 ， 以得到自定义的组合顺序 。 在某些参数组合需要被更

充分测试时，这种方式会很有用。子模型以下面的格式定义：

（ <ParamName1> ， <ParamName2> ， <ParamName3> ， ... ） @ <Order>

例如，子模型对涉及硬件和软件参数结合在一起的测试用例时是十分有用的。没有子模型

每个测试用例将产生一个新的 、 唯一的硬件配置 。 将硬件参数放置到一个子模型中可以产生

更少的硬件配置，从而尽可能地降低测试成本。使用创建子模型的命令可带来不少灵活性 。

-------------------------------------------------------------------------------

PLATFORM: x86, ia64, amd64

CPUS: Single, Dual, Quad

RAM: 128MB, 1GB, 4GB, 64GB

-------------------------------------------------------------------------------

下图描述了上面的模型是如何产生的：

-------------------------------------------------------------------------------

4

-------------------------------------------------------------------------------

注意：

是一个层次。

的 order 可以取 1 到 4 之间的值。

”

的值。

模型选项

约束

约束

约束

约束

约束允许你指定域的限制 。 在前面的分区例子中 ， 一对 （ FAT,5000 ） 将至少出现在一个测试

用例中。但是， FAT 文件系统不能创建大于 4096 MB 的卷。注意，你不能简单地从测试集中

Format method: quick, slow

File system: FAT, FAT32, NTFS

Cluster size: 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536

Compression: on, off

IF [File system] = "FAT" THEN [Size] <= 4096;

IF [File system] = "FAT32" THEN [Size] <= 32000;

-------------------------------------------------------------------------------

约束分为两种：有条件的（ if-then-else ）和无条件的。

条件约束

条件约束

条件约束

5

IF [Cluster size] in {512, 1024, 2048} THEN [Compression] = "Off";

IF [File system] in {"FAT", "FAT32"} THEN [Compression] = "Off";

-------------------------------------------------------------------------------

在 IF 、 THEN 、 ELSE 的语句中可以加入逻辑操作符 NOT 、 AND 和 OR 。可使用圆括号改变它们

的运算优先顺序：

-------------------------------------------------------------------------------

IF [File system] <> "NTFS" OR

THEN [Compression] = "Off";

#

#

OS_1: Win2000, WinXP

SKU_1: Professional, Server, Datacenter, WinPowered

LANG_1: EN, DE

#

# Machine 2

#

OS_2: Win2000, WinXP

SKU_2: Professional, Server, Datecenter

LANG_2: EN, DE