基于UML順序圖的場景測試用例生成方法[1]

　　基于UML順序圖的場景測試用例生成方法[1]  軟件測試　

  　引言:本文提出了一個基于UML模型圖來測試場景的方法，它以順序圖為主要測試模型，結合類圖和狀態圖導出所有的場景，并將與場景相關的環境條件與方法序列、輸入、輸出合理組合作為覆蓋該場景的測試用例。我們的工作具有兩方面的優點：測試方法完全基于UML模型，以便已經使用UML的軟件系統能方便地采用，另一方面生成的測試用例數量少，減少工作量。

　　1、實例

　　本文以DHCP[2]作為一個實例，使用UML的類圖、狀態圖和順序圖[3]來說明我們提出的一個場景測試用例生成方法。DHCP是由IETF進行標準化的一個協議，提供一種動態指定IP地址和配置參數的機制。我們選取了DHCP協議的一個子集，協議的一般過程如下：

　　1.客戶端廣播一個DHCP_DISCOVER消息。

　　2.每個具有網絡地址的服務可能響應一個DHCP_ OFFER消息，如果都沒有響應，則表示超時失敗。

　　3.如果客戶端接收到一個或多個DHCP_OFFER消息，則選擇其中一個，然后廣播一條DHCP_REQUEST消息給所有的服務器，并附上選擇參數及指明哪一個服務器。

　　4.所有服務器接收到客戶的廣播信息，只有被選中的服務器才綁定地址給這個客戶，并發送確認消息DHCP_ACK，連接成功;如果要求的地址不可得(可能分配給其它用戶)，則服務器發送一個DHCP_NAK給客戶，連接失敗。

　　圖1顯示了DHCP協議的部分類圖。

　　圖1：DHCP的部分類圖

　　圖2是實例中請求IP的順序圖。

　　圖2：請求IP的順序圖

　　圖3是DHCP中Server類的狀態圖。

　　圖3：DHCP-Server狀態圖

原文轉自：http://www.anti-gravitydesign.com