1、精選優質文檔-傾情為你奉上北京林業大學2012學年2013學年第 1 學期 軟件測試 實驗報告書專業：信息管理與信息系統實驗題目： 基于OCL和狀態圖的類測試、OATS類交互測試 實驗環境： Windows Server 2003、VC6.0 實驗目的掌握基于OCL和狀態圖的類測試以及OATS類交互測試的方法。實驗內容實驗1：以下是Student類OCL說明的一部分，請根據每個操作的前置條件和后置條件構造測試用例。要求寫明測試用例的構造依據，以及最后得到的測試用例。Studentxh（學號）>0age（年齡）>=16andage<=40Student:setAge(age:I

2、nt)Pre:age>=16andage<=40Post:self.age=ageandxh=xhpreStudent:setXh(xh:Int)Pre:xh>0Post:self.xh=xhandage=agepre答：前置條件中，：age>=16；：age<=40；Post:self.age=ageandxh=xhpre后置條件中，：self.age=ageandxh=xhpre；Pre：age>=16andage<=40構造測試用例如下：(age>=16andage<=40，self.age=ageandxh=xhpre)(not(a

3、ge>=16)andage<=40，Exception)(age>=16andnot(age<=40)，Exception)(not(age>=16)andnot(age<=40)，Exception)前置條件中，：xh>0；Post:self.xh=xhandage=agepre后置條件中，：self.xh=xhandage=agepre；Pre：xh>0構造測試用例如下： (xh>0，self.xh=xhandage=agepre)(not(xh>0)，Exception)實驗2：考察人擲某物件的過程。假設擲出去的距離與人的高度、

4、力量以及物件的重量有關，并且人的力量只有大于物件的重量，人才能拾起物件。假定人用類People描述，包含如下屬性：(1) Height：身高，必須大于0.5米;(2) Might：力量；(3) ThingStatus：物件狀態，有三種取值：None（無物件）、Pickedup（拾起狀態）、LiftedUp（舉起狀態）；(4) ThingWeight：物重，只有ThingStatus取值不是None時才有意義，并且應大于0?？梢杂靡韵聨讉€方法描述人的行為：(1) PickUp：拾起物件（需引用Might，執行可能改變ThingStatus、ThingWeight）；(2) LiftUp：舉起物件

5、（執行可能改變ThingStatus）(3) Throw：擲物件（需引用Might、Height、ThingWeight，執行可能改變ThingStatus）。People類的狀態轉換圖如圖1所示。請利用狀態轉換圖法設計類測試用例，要求列出測試序列，并做必要解釋說明。圖1People類的狀態轉換圖答：#s1:Initialize·PickUp·LiftUp·Throw#s2:Initialize·PickUp·LiftUp·Throw·PickUp實驗3：一個面向對象系統包含一個client類（C1）和它的一個子類（C2）。

6、這些client類又與一個server類S1交互，這個server類有一個子類S2。這個server類包括一個方法foo()，它把M1的一個實例做為參數，M1有一個子類M2。圖2client、server、message的交互關系圖請使用正交陣列測試法（OATS）測試client與server之間的類交互關系foo，要求列出詳細測試步驟，并給出最終的測試用例。答：（1）有三個獨立的變量（Factors:client，server，和消息類）；（2）每個變量可以取2個值（Levels）；（3）選擇L4(23)正交表變量為3因素，值為2水平。（4）把值映射到正交表中OAbeforemappingfactorsFactor1Factor2Factor3Run1000Run2011Run3101Run4110（5）把因素和值映射到表