成對組合覆蓋與pict的應(yīng)用-免費閱讀
【正文】 這就是因為他們相互作用導(dǎo)致的歧義 。 所有的關(guān)系 、 條件或約束都必須讓結(jié)果集是有意義的。Eg:5) 大小寫敏感性 默認情況下 ， PICT 執(zhí)行所有比較和檢查時不區(qū)分大小寫 。 如果你沒有顯式地指定一個權(quán)重，那么 PICT 默認會使用 1 。 每個 “ 負面測試 ” 測試用例應(yīng)該只有一個無效的值 ， 因為大多數(shù)程序當(dāng)它們發(fā)現(xiàn)第一個錯誤后就不會再做進一步處理 。 如果一個值有多個名字 ， 那么只有第一個會被計算 ?？墒褂脠A括號改變它們的運算優(yōu)先順序：IF [File system] NTFS OR ( [File system] = NTFS AND [Cluster size] 4096 )THEN [Compression] = Off。IF [File system] = FAT32 THEN [Size] = 32000。在上面的例子中，第一個子模型的 order 可以取 1 到 4 之間的值。 在某些參數(shù)組合需要被更充分測試時，這種方式會很有用。（模型文件中的符號都需要用英文輸入法半角下輸入）Eg: 2） 、成對和高階生成默認情況下 ， PICT 生成一組成對組合且覆蓋所有情況的測試用例集 。 要想查看上面例子的 PICT 輸出，可使用任何像 Windows 174。在運行之前，需要準(zhǔn)備一份詳細描述了測試參數(shù)的模型文件。可見成對組合覆蓋是一種非常有效的測試用例設(shè)計方法。成對組合覆蓋要求任意兩個因素（輸入條件）的所有水平組合至少要被覆蓋1次。例如 ， 如果你想給分區(qū)和卷建立一組測試用例集 ， 在這里需要用到以下幾個參數(shù) ： 類型： Primary ， Logical ， Single ， Span ， Stripe ， Mirror ， RAID5尺寸： 10 ， 100 ， 500 ， 1000 ， 5000 ， 10000 ， 40000格式方法：快，慢文件系統(tǒng)： FAT ， FAT32 ， NTFS簇大?。?512 ， 1024 ， 2048 ， 4096 ， 8192 ， 16384 ， 32768 ， 65536壓縮：開，關(guān)這些參數(shù)可能的取值組合超過 4700 個。 記事本 174。 可以使用選項 “ /o:N ”設(shè)置比 2 更大的排列次數(shù)。子模型以下面的格式定義：（ ParamName1 ， ParamName2 ， ParamName3 ， ... ） Order例如，子模型對涉及硬件和軟件參數(shù)結(jié)合在一起的測試用例時是十分有用的。3 ． 如果你沒有給子模型指定 order 值， PICT 會使用默認的 order 值或使用選項 “ /o ”的值。為了更能看出效果，如下例子：Eg: 參數(shù)及其取值是謂詞邏輯的原子部分。IF NOT ( [File system] = NTFS OR ( [File system] = NTFS AND NOT [Cluster size] = 4096 ))THEN [Compression] = Off。只有在評估約束性時類型才是重要的。 為此 ， 就可能發(fā)生負面測試中被稱之為輸入掩蓋的問題。
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號-1