结对测试工具——PICT用户手册（中文版）

结对测试工具PICT用户手册

——中文版

Jacek Czerwonka, Test Lead, Microsoft Corporation

 

 结对测试（pairwise testing）是近几年兴起的一种软件测试实践，是方法论在软件测试中的又一体现。它能保证测试的覆盖率，同时兼顾测试成本。微软的PICT为结对测试用例的生成提供了很好的支持，大爱的工具！但是用户手册是全英文的。虽然能看懂，但是以中文作为母语的人，看英文东西多少还是有些抗拒。为了强迫自己看完，也方便以后再次查阅，最近抽空将整篇用户手册翻译成了中文。本着开放分享的精神，顺便放到网上，希望也能给需要的人提供些许方便！

由于csdn文章长度有限制，不能将整个用户手册写在一篇文章中，只能一个章节单独弄成一篇了。

 

 目录

 

概述

使用PIC生成测试用例参数

运行 PICT

模型文件

模型部分

简单的模型

成对和高阶用例生成

子模型

模型选项

约束

条件约束

无条件约束（不变量）

参数类型

别名

非法性测试

权重

种子

输出的随机性

减少测试用例的数量

大小写敏感性

输出格式

警告消息

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

限制性约束

样本模型

磁盘分区的完整模型例子

测试硬件配置的模型

约束语法例子