具有無限參數值的組合測試

Question

我一直在使用一些在線組合測試生成工具，尤其是對於有約束的參數。 但是，這些工具需要明確指定參數值（或其范圍）。 如果我事先不知道參數的限制而使用占位符，即 x 怎么辦？

例如， CTWedge使用以下語法生成組合測試套裝：

Model Phone
  Parameters:
    emailViewer : Boolean
    textLines:  [ 25 .. 30 ]
    display : {16MC, 8MC, BW}
  Constraints:
    # emailViewer => textLines > 28 #

在我的例子中，參數值是這樣的：

Model Phone
  Parameters:
    emailViewer : Boolean
    textLines:  [ 1 .. x ] // unbounded values
    param2:  [ 1 .. m ] // unbounded values
    display : {16MC, 8MC, BW}
  Constraints:
    # emailViewer => textLines > 28 #

運行此代碼時，該工具會出錯。 有沒有辦法解決這個問題？

Answer 1

不，這是不可能的。 請參閱此處的語言語法，相關摘錄如下：

Parameter:
    (Bool | Enumerative | Range) ';'?;

Range:
    name=ID ':' '[' begin=PossiblySignedNumber '..' end=PossiblySignedNumber ']' ('step' step=INT)?; //range of value of a constant

PossiblySignedNumber returns EIntegerObject:
    '-'? INT;

所以它需要一個begin和一個end ，它們都是明確的整數（所以沒有“無窮大”值）。