4.3.2 數值限度測試

數值限度測試是將測試的數值結果和限度值進行比較，如果數值結果在限度范圍之內（或者邏輯比較結果為真），則測試通過，而數值結果一般來自于所調用的代碼模塊。圖4-26所示為數值限度測試步驟的數據空間，重要屬性有Step.Result.Numeric、Step.Limits、Step.DataSource。

圖4-26 數值限度測試步驟的數據空間

數值限度測試有三個特定配置頁：模塊（Module）、限度（Limits）、數據源（Data Source）。模塊頁面和之前合格/失敗測試中是一樣的，用于聲明代碼模塊；數據源頁面中的默認數據源是Step.Result.Numeric；在限度頁面（如圖4-27所示），可以設定限度值，選擇比較類型，默認的比較類型是“GELE”，表示如果滿足“Low Limit＜=Data Source＜=High Limit”（數據源在上下限之間），則測試通過。下限（Low Limit）和上限（High Limit）可以是常量，也可以是表達式，其他比較類型還有大于等于、小于等于、等于、大于、小于。

圖4-27 數值限度測試步驟特定配置頁（限度）

新創建序列文件并添加數值限度測試步驟，在模塊頁面同樣選擇Tests.dll，使用Add函數，根據Add函數原型double Add（double a，double b），先在變量窗格中創建兩個局部變量x和y，數據類型為數值型，初始值為默認值0。添加好之后，局部變量窗格如圖4-28所示。

圖4-28 創建局部變量

在參數列表區域配置參數：在Return Value參數的“Value Expression”欄中輸入“Step.Result.Numeric”，即代碼模塊的輸出傳遞給該屬性。對于參數列表中的每個參數，選中后可以在相應的參數配置區對其進行配置，如圖4-29所示。

圖4-29 數值限度測試步驟特定配置頁（模塊）

在范例資源的第4章練習中，附有例程＜Exercises＞\Chapter 4\Tests\NumericLimitTest.seq，讀者可以通過菜單命令“ExecuteSingle Pass”運行該范例并觀察結果。在變量窗格中，修改局部變量的值，比如x的值為4、y的值為3，重新運行序列，觀察數值測試步驟的狀態。

分析數值限度測試步驟工作過程：首先數據源是Step.Result.Numeric，數據源會與限度值進行比較，如果它在限度范圍內，則步驟狀態為合格，否則為失敗；然后模塊頁面中代碼模塊的返回值傳遞給了Step.Result.Numeric，因此代碼模塊的返回值會影響數據源，數據源繼而影響步驟狀態。在數值限度測試步驟中，上述邏輯可以用下面一段偽碼表示：