一、簡單用法
在pict安裝目錄下新建乙個txt文字。把引數填入txt文字中。[內容包括(注意格式: , , , ...),e.g)] ,txt檔名最好是英文名,文字標點必須是英文標點
在cmd命令中輸入:pict test.txt
二、更多的用法之約束條件
[parameter definitions]
引數定義格式::,,,… … [sub-model definitions]
子模型定義格式: @ n [constraint definitions]
規則約束:if then 條件語句,此外在條件語句中支援:=、<>、>、>=、
三.更多的用法之子模型
四.子模型與約束條件結合
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
@ 2@ 2
if [platform] in then [os] in ;
if [platform] = "x86" then [ram] <> "64gb";
黑盒測試用例設計
黑盒測試用例設計方法 設計大量的測試用例,使之覆蓋軟體中的所有輸入輸出介面。白盒測試用例設計方法 設計足夠多的測試用例,使之覆蓋程式內部的所有邏輯結構與路徑。把程式的輸入域劃分成若干部分,然後從每個部分中選取少數代表性資料作為測試用例 每類的代表性資料在測試中的作用等價於這一類中的其他值,如果某一類...
測試用例組合 PICT
測試用例組合 一原理1.配對組合原理 兩兩組合原理 應用工具pict自動輸出組合 name a,b value 1,2 key m,n 如果自己組合那麼有2 2 2 8條用例 a1m a2m a1n a2n b1m b2m b1n b2n 使用配對組合原理結果是a2m a1n b2n b1m 2.基...
黑盒測試用例設計方法
1 等價劃分 所謂等價類劃分是指一套被選擇的值,這些值分別代表了許多眾多的可能輸入值,程式對其處理的方式都是一樣的。等價類劃分的方法作為繼邊界值分析方法之後補充的測試用力設計試用的一種方法。劃分等價類 確定測試用例 等價類劃分是一種典型的黑盒測試方法,使用這一方法時,完全不考慮程式的內部結構,只依據...