乙個模型由至少乙個，最多三個部分組成：
parameter definitions
[sub-model definitions]
[constraint definitions]
模型部分應始終按照上面所示的順序指定，不能重疊。引數定義部分在前面，後面是可選的子模型和約束部分（如果使用）。在它們之間不需要任何特殊的分隔符。空行可以出現在任何地方。在模型中，可以通過使用「#」字首來新增注釋。
為了產生乙個非常基本的模型檔案，分行列出所有引數的名稱，和它們由逗號分隔的所有可能的值：
: , , , ...
例子:#
# this is a sample model for testing volume create/delete functions #
type: primary, logical, single, span, stripe, mirror, raid-5
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:option
引數指定使用其它的分隔符。
預設情況下，pict生成成對（或稱為兩兩）測試用例套件–所有的引數值對都會覆蓋到。您可以使用選項/o設定乙個大於2的值來指定測試用例套件的階數。例如，如果你指定的輸出/o：3，生成的測試用例要覆蓋所有的三元組，產生比選擇二元組更大的測試用例數量，但這潛在地提高了測試用例的覆蓋率。乙個簡單模型的最大階數等於引數的個數。按照這個原則，如果指定/o:1，將產生所有只包含乙個值的測試用例。
子模型允許把引數分組，每組可使用不同的階數。如果某些引數的組合需要更徹底地測試，或必須與模型中的其他引數分離，可以使用子模型。子模型定義有以下格式：
@ 階例如，當硬體和軟體引數組合在一起的時候，使用子模型就很有用了。沒有子模型，每個測試用例都會產生乙個新的、唯一的硬體配置。將所有硬體引數放入乙個子模型中會產生較少的硬體配置，並可能降低測試成本。可以分配每個子模型的階數，提供了額外的靈活性。
platform: x86, ia64, amd64
cpus: single, dual, quad
ram: 128mb, 1gb, 4gb, 64gb
hdd: scsi, ide
os: nt4, win2k, winxp, win2k3
ie: 4.0, 5.0, 5.5, 6.0
@ 3@ 2
下面的圖表描述了是如何找到上面的模型的：
注:1 可以定義任意多個子模型，任何引數都可以屬於任意子模型。模型階數可以只是一階。
2 乙個子模型的組合階數不能超過其引數的個數。在上面的例子中，第乙個子模型的階數可以是1到4之間的任何值.。
3 可以不指定子模型的階，pict將使用預設值。當然，也可以通過/o選項指定階數。
返回目錄
結對測試工具PICT使用者手冊（5） 輸出格式
pict列印所有的錯誤 警告資訊和隨機種子到錯誤輸出流。它將測試用例列印到標準輸出流。輸出的第一行包含引數的名稱。下面的每一行代表乙個生成的測試用例。每個行的值由製表符分隔。type size format method file system clustersize compression pri...
PICT測試工具的安裝及使用
pict工具就是在 微軟公司出品一款成對組合的命令列生成工具，現在已經對外提供，可以在 網際網路pict 可以有效地按照兩兩 測試的原理，進行 測試用例 設計。在使用pict時，需要輸入與測試用例相關的所有引數，以達到全面覆蓋的效果。我們知道成對組合覆蓋這一概念是mandl於1985年在測試aad編...
專案的使用者手冊和測試
1.每完成乙個整體的部分，例如乙個小功能，都要把測試寫好。2.或針對於測試來寫功能，先測試後功能。功能 的程式設計和手冊的書寫盡量由個人完成，好處自然是創作人對自己的作品更了解，書寫完成當然也可以找個不了解產品的使用者進行體驗，改善手冊。手冊的編寫和測試一樣，要及時，半年後可能創作人也對自己的作品不...