软件测试实验三

北京林业大学2012学年—2013学年第1学期软件测试实验报告书专业：信息管理与信息系统实验题目：基于OCL和状态图的类测试、OATS类交互测试实验环境：WindowsServer2003、VC6.0实验目的掌握基于OCL和状态图的类测试以及OATS类交互测试的方法。实验内容实验1：以下是Student类OCL说明的一部分，请根据每个操作的前置条件和后置条件构造测试用例。要求写明测试用例的构造依据，以及最后得到的测试用例。Studentxh（学号）0age（年龄）=16andage=40Student::setAge(age:Int)Pre:age=16andage=40Post:self.age=ageandxh=xh@preStudent::setXh(xh:Int)Pre:xh0Post:self.xh=xhandage=age@pre答：前置条件中，①：age=16；②：age=40；Post:self.age=ageandxh=xh@pre后置条件中，①：self.age=ageandxh=xh@pre；Pre：age=16andage=40构造测试用例如下：①(age=16andage=40，self.age=ageandxh=xh@pre)②(not(age=16)andage=40，Exception)③(age=16andnot(age=40)，Exception)④(not(age=16)andnot(age=40)，Exception)前置条件中，①：xh0；Post:self.xh=xhandage=age@pre后置条件中，①：self.xh=xhandage=age@pre；Pre：xh0构造测试用例如下：②(xh0，self.xh=xhandage=age@pre)②(not(xh0)，Exception)实验2：考察人掷某物件的过程。假设掷出去的距离与人的高度、力量以及物件的重量有关，并且人的力量只有大于物件的重量，人才能拾起物件。假定人用类People描述，包含如下属性：(1)Height：身高，必须大于0.5米;(2)Might：力量；(3)ThingStatus：物件状态，有三种取值：None（无物件）、Pickedup（拾起状态）、LiftedUp（举起状态）；(4)ThingWeight：物重，只有ThingStatus取值不是None时才有意义，并且应大于0。可以用以下几个方法描述人的行为：(1)PickUp：拾起物件（需引用Might，执行可能改变ThingStatus、ThingWeight）；(2)LiftUp：举起物件（执行可能改变ThingStatus）(3)Throw：掷物件（需引用Might、Height、ThingWeight，执行可能改变ThingStatus）。People类的状态转换图如图1所示。请利用状态转换图法设计类测试用例，要求列出测试序列，并做必要解释说明。S1InitializeS2PickUpS3LiftUpThrow图1People类的状态转换图答：#s1:Initialize·PickUp·LiftUp·Throw#s2:Initialize·PickUp·LiftUp·Throw·PickUp实验3：一个面向对象系统包含一个client类（C1）和它的一个子类（C2）。这些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）把因素和值映射到表中，为剩下的水平数选取值OAaftermappingfactorsClientServerMTest1C1S1M1Test2C1S2M2Test3C2S1M2Test4C2S2M1