成對組合覆蓋與pict的應用(編輯修改稿)
2025-07-15 13:05 本頁面
【文章內(nèi)容簡介】 怎么產(chǎn)生的：Eg：(60個用例) (20個用例)注意：1 ． 你可以定義盡可能多的子模型，一個參數(shù)可屬于多個子模型。模型層次結(jié)構(gòu)可以只是一個層次。2 ． 子模型 order 的取值不能超過它所含參數(shù)的數(shù)量。在上面的例子中，第一個子模型的 order 可以取 1 到 4 之間的值。3 ． 如果你沒有給子模型指定 order 值， PICT 會使用默認的 order 值或使用選項 “ /o ”的值。 模型選項1） 、約束：條件約束、無條件約束約束允許你指定域的限制 。 在前面的分區(qū)例子中 ， 一對 （ FAT,5000 ） 將至少出現(xiàn)在一個測試用例中。但是， FAT 文件系統(tǒng)不能創(chuàng)建大于 4096 MB 的卷。注意，你不能簡單地從測試集中刪除這樣的測試用例 ， 因為這個討厭的用例可能覆蓋一些沒有出現(xiàn)在其它用例中但有效的測試情況。為了避免丟失有效的測試情況，你可以在生成的過程中排除不可接受的組合。 在PICT 中指定一個約束，像下面這樣：Type: Primary, Logical, Single, Span, Stripe, Mirror, RAID5Size: 10, 100, 500, 1000, 5000, 10000, 40000Format method: quick, slowFile system: FAT, FAT32, NTFSCluster size: 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536Compression: on, offIF [File system] = FAT THEN [Size] = 4096。IF [File system] = FAT32 THEN [Size] = 32000。為了更能看出效果，如下例子：Eg: 參數(shù)及其取值是謂詞邏輯的原子部分。它們之間的關(guān)系可使用這些符號表示 :=,=,=, 和 LIKE 。 LIKE 是一個通用匹配的操作 (* 表示任意多個字符， ? 表示任意一個字符 ） 。約束分為兩種：有條件的（ ifthenelse ）和無條件的。[Size] 10000[Compression] = OFF[File system] like FAT*操作符 IN 允許指定一組滿足明確關(guān)系的值：IF [Cluster size] in {512, 1024, 2048} THEN [Compression] = Off。IF [File system] in {FAT, FAT32} THEN [Compression] = Off。如下面后臺的一個檢索條件：選擇不同的專賣店則有其對應的不同廣告標題值（則可用上面的in來明確一組關(guān)系值）在 IF 、 THEN 、 ELSE 的語句中可以加入邏輯操作符 NOT 、 AND 和 OR 。可使用圓括號改變它們的運算優(yōu)先順序：IF [File syste
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號-1