PICT3.3用戶指南學習筆記

選項

• 組合次數/o:N：默認2，最大值爲參數總量。取值越大生成的測試用例越多，從而測試覆蓋率就更高。
• 值分隔符/d：默認逗號","。
• 別名分隔符/a：默認管道符"|"。
• 負值前綴/n：默認波浪符"~"。
• 輸出隨機/r：使用一樣的模型內容和選項獲得的輸出是相同的，使用此選項可以使輸出結果隨機。
• 區分大小寫/c：參數的取值區分大小寫。

模型文件參數定義

• 模型文件內容分塊：至少1個"參數定義"區域，額外可選擇包含"子模型"和"約束定義"區域。
• 註釋和空行：能夠用"#"開啓一行註釋，空行能夠出現任何地方。
• 參數定義：參數與其取值間使用分號":"分隔，一行一個參數。
• 參數類型：數值型和字符型兩種。

模型文件子模型

• 定義：使用"{參數名1,參數名2,...} @ 組合次數"的格式自定義一個組合，而後經過增減"組合次數"來使特定組合獲得更多或更少的測試。
• 說明：能夠定義多個子模型；同一參數可在多個模型中使用；組合次數默認值爲選項/o的取值，最大值爲子模型參數總量。

模型文件約束

條件約束

• IF分支語句：IF pass THEN pass ELSE pass;
• 關係運算符：=,<>,>,>=,<,<=,LIKE(可以使用通配符*和?),IN
• 邏輯運算符：NOT,AND,OR
• 能夠使用圓括號改變它們的運算優先順序；參數名需用中括號[]括起來；IN的目標集合需用大括號{}括起來。

無條件約束

• 即無IF分支語句的條件約束。好比[參數] <> [參數2]

高級技巧

別名

• 用處與用法：同一參數多個取值間區別不大時，可以使用管道符"|"給值取別名，PICT會在測試用例中輪流使用這些別名。
• 說明：評估約束和值類型時PICT只使用第一個別名。

負面測試

• 用處與用法：測試參數的負面狀況時，可以使用波浪符"~"來給負面取值加標記。
• 說明：給值加負面標記的做用是避免輸入掩蓋問題，即一個負面的取值掩蓋掉了另外一個負面取值。加負面標記後PICT會主動避免兩個負面取值出如今同一測試用例中。

權重

• 用處與用法：跟子模型相似，可以使用權重來使一些參數取值更多地出如今測試用例中。權重能夠是任何正整數，每一個值默認的權重是1。
• 說明：權重不必定會起做用，由於PICT認爲"在最少的測試用例中覆蓋全部參數組合"更重要。