结对测试工具PICT用户手册
——中文版
Jacek Czerwonka, Test Lead, Microsoft Corporation
结对测试(pairwise testing)是近几年兴起的一种软件测试实践,是方法论在软件测试中的又一体现。它能保证测试的覆盖率,同时兼顾测试成本。微软的PICT为结对测试用例的生成提供了很好的支持,大爱的工具!但是用户手册是全英文的。虽然能看懂,但是以中文作为母语的人,看英文东西多少还是有些抗拒。为了强迫自己看完,也方便以后再次查阅,最近抽空将整篇用户手册翻译成了中文。本着开放分享的精神,顺便放到网上,希望也能给需要的人提供些许方便!
由于csdn文章长度有限制,不能将整个用户手册写在一篇文章中,只能一个章节单独弄成一篇了。
目录
模型部分
简单的模型
成对和高阶用例生成
子模型
约束
条件约束
无条件约束(不变量)
参数类型
别名
非法性测试
权重
种子
输出的随机性
减少测试用例的数量
大小写敏感性
全部的或者无价值满足关系
限制性约束
磁盘分区的完整模型例子
测试硬件配置的模型
约束语法例子