軟體測試的維恩圖

標籤：

軟體測試主要關注的是程式行為，在程式所有可能的行為中，一部分是規格說明所描述的行為（用集合S表示），一部分是程式最終實現的行為（用集合P表示），圖1顯示了二者之間存在的關係。在這個維恩圖中，有些規定的程式行為並沒有被實現，我們稱之為“遺漏缺陷”；有些實現的行為並不是規格說明中規定的，我們稱之為“過失缺陷”；只有集合S和P相交的部分是“正確”的，即所實現的期望行為。那麼，測試就是確定按規定實現的程式行為範圍的過程。

圖1   程式的期望行為與實現行為之間的關係

測試是通過測試案例來引發程式行為的，測試案例對應的程式行為（用集合T表示）與上述行為之間的關係2所示，三者之間相疊交形成7個部分。其中，地區1是三個集合的交集，代表著測試案例所覆蓋的已實現的規定行為；地區2表示測試案例未覆蓋的但是已實現的規定行為；地區3表示測試案例所覆蓋的已實現的未規定行為；地區4表示測試案例所覆蓋的未實現的規定行為；地區5表示測試案例未覆蓋的且未實現的規定行為；地區6表示測試案例未覆蓋的已實現的未規定行為；地區7表示測試案例所覆蓋的並未實現且未規定的行為。

圖2   程式的期望行為、實現行為與測試行為之間的關係

在上述維恩圖中，如果某些規定行為沒有相應的測試案例，那麼測試就是不完備的；如果有測試案例對應的是未規定的行為，有可能是測試案例設計得不恰當，或者規格說明不夠充分，或者是測試人員故意為之以便確認那些規定不該發生的行為是否會發生。顯然，測試人員應該想盡一切辦法使所有行為集合的交集（即地區1）最大化，那麼如何做到這一點呢？一個有效路徑就是利用測試方法來構造測試案例。

軟體測試的維恩圖