軟體度量驗證

驗證軟體系統的度量涉及兩個步驟：

• 驗證度量系統
• 驗證預測系統

驗證度量系統

度量或度量系統用於透過對一個或多個屬性進行數值表徵來評估現有實體。如果度量準確地表徵了它聲稱要測量的屬性，則該度量是有效的。

驗證軟體度量系統是透過證明表示條件得到滿足來確保度量是對聲稱屬性的適當數值表徵的過程。

為了驗證度量系統，我們需要一個描述實體的形式化模型和一個保留我們正在測量的屬性的數值對映。例如，如果有兩個程式P1和P2，並且我們希望連線這些程式，那麼我們期望任何長度m的度量都滿足：

m(P1+P2) = m(P1) + m(P2)

如果程式P1的長度大於程式P2，那麼任何度量m也應該滿足：

m(P1) > m(P2)

程式的長度可以透過計算程式碼行數來測量。如果此計數滿足上述關係，我們可以說程式碼行數是長度的有效度量。

驗證度量的正式要求涉及證明它在測量理論的意義上表徵了所述屬性。驗證可用於確保度量定義正確，並且與實體的現實世界行為一致。

驗證預測系統

預測系統用於預測未來實體的某些屬性，涉及具有相關預測程式的數學模型。

在給定環境中驗證預測系統是透過經驗方法（即透過將模型效能與給定環境中的已知資料進行比較）來建立預測系統準確性的過程。它涉及實驗和假設檢驗。

可接受驗證的準確度取決於預測系統是確定性的還是隨機的，以及進行評估的人員。一些隨機預測系統比其他系統更隨機。

隨機預測系統的示例包括軟體成本估算、工作量估算、進度安排估算等系統。因此，為了正式驗證預測系統，我們必須確定它的隨機性程度，然後將預測系統的效能與已知資料進行比較。