成對組合覆蓋與pict的應(yīng)用-資料下載頁
2025-06-18 13:05本頁面
【正文】 重 ， 您可以強制 PICT 優(yōu)先接受指定的值 。 權(quán)重可以是任何正整數(shù) 。 如果你沒有顯式地指定一個權(quán)重，那么 PICT 默認(rèn)會使用 1 。 讓我們把焦點放在使用 NTFS 格式化主分區(qū)上Type: Primary (10), Logical, Single, Span, Stripe, Mirror, RAID5SIZE: 10, 100, 500, 1000, 5000File system: FAT, FAT32, NTFS (10)Eg：重要說明： 權(quán)重值沒有絕對的意義。例如，當(dāng)一個參數(shù)定義如下時：File system: FAT, FAT32, NTFS (10)這并不意味著 NTFS 在輸出結(jié)果中會是 FAT 或 FAT32 的 10 倍 。 此外 ， 你還不能認(rèn)定你所指定的權(quán)重一直會起作用，因為 PICT 還必須要處理兩個相互矛盾的要求：1 ． 在最少的測試用例中覆蓋所有參數(shù)組合2 ． 根據(jù)參數(shù)的權(quán)重進行取值上述 [ 規(guī)則 1] 的優(yōu)先級永遠比 [ 規(guī)則 2] 高，只有在選擇值時不需要依賴 [ 規(guī)則 1] ，權(quán)重才有可能起作用。更確切地說，在創(chuàng)建測試用例的過程中， PICT 會評估所有可能的候選值，然后盡量選擇在大多數(shù)參數(shù)值組合中沒有使用過的值 。 有時候多個候選值可能同樣重要 。 在這種情況下， PICT 會使用權(quán)重去做最終的選擇。你可以使用權(quán)重嘗試將機會偏向一些值，但是 PICT 會決定是否遵守這一要求，到什么程度，使用幾個因素，不僅只是權(quán)重。Eg:5) 大小寫敏感性 默認(rèn)情況下 ， PICT 執(zhí)行所有比較和檢查時不區(qū)分大小寫 。 例如 ， 有 OS 、 os 兩個參數(shù) ， PI會認(rèn)為它們重名 （ 參數(shù)名必須是唯一的 ） 。 PICT 默認(rèn)也會解除大小寫限制 ： IF [OS] = Win2 THEN ... 將會匹配 Win2K 和 win2k 兩個值（參數(shù)值可以不是唯一的 ） ?？梢允褂眠x項 “ /c使模型計算時完全區(qū)分大小寫。、大小寫敏感性（5） 警告信息約束或 條件 定義出錯的警告應(yīng)當(dāng)引起注意 。 PICT 在生成過程中發(fā)現(xiàn)有語法錯誤時不會停止它仍然能生成一些有意義的結(jié)果 。 然而 ， 如果你看到這些警告后 ， 最好還是重新檢查一下模型文件中的參數(shù)和約束。全部或沒有值滿足關(guān)系 當(dāng)你定義了一個錯誤的關(guān)系時 ， 這種警告能給你及早的提示 。 所有的關(guān)系 、 條件或約束都必須讓結(jié)果集是有意義的。如果沒有值滿足關(guān)系或所有的值都滿足關(guān)系，則肯定哪兒出錯了如果看到此警告，得重新檢查一下你的值關(guān)系并理清他們。Eg：限制性約束，輸出將不包含下列值 有時一組約束條件交織在一起導(dǎo)致一些值總是違反一個或多個約束條件 。 循環(huán)依賴便是這樣的一個例子：if [A] = a1 then [B] = b1。if [B] = b1 then [C] = c1。if [C] = c1 then [A] = a2。在這個例子中 ， 選擇 a1 意味著選擇 b1 ， 這使得該工具選擇了 c1 ， 反過來又意味著選擇 a2,所以，如果你選擇了 a1 ，那么你也選擇了 a2 。所有這些限制單獨計算是完全有效的。這就是因為他們相互作用導(dǎo)致的歧義 。 PICT 將會通過不使用值 a1 來避免這種情況 。 a1 將不會出現(xiàn)在輸出結(jié)果中，并且 PICT 將顯示約束限制警告。Eg:
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號-1