实验二动态测试资料.docVIP

软 件 学 院 上 机 实 验 报 告 课程名称： 软件测试与评估 实验项目： 实验二基于规格说明的测试技术 实 验 室： 耘慧416 姓 名： 学 号： 专业班级： 软件13-7 实验时间： 2016/4/7 实验成绩评阅教师 实验目的及要求 1.掌握基于规格说明的测试技术（即动态测试技术）； 2.能够运用其进行测试用例的设计。 实验性质 设计性 实验学时 2学时 实验环境 1.实验环境：主流PC机一套，要求安装windows操作系统、OFFICE工具 2.知识准备： （1）软件基于规格说明的测试技术； （2）划分测试用例的原理和方法的同时，运用其设计测试用例。 实验内容及步骤 1.对问题进行分析，选用基于规格说明的测试技术中适合的方法为NextDate函数问题设计测试用例： NextDate函数 NextDate函数说明另一种复杂的关系，即输入变量之间逻辑关系的复杂性。 NextDate函数包含三个变量month、day和year，函数的输出为输入日期后一天的日期。要求输入变量month、day和year均为整数值，并且满足下列条件： 条件1 1≤month ≤12 条件2 1≤day ≤31 条件3 1912≤year ≤2050 结论：在NextDate函数中有两种复杂性的输入来源，一是输入域的复杂性，二是确定闰年的规则并要增加“额外天”。 2.以覆盖测试技术中的判定覆盖为例来进行三角形问题的测试用例的设计： 如果输入值a、b、c不满足条件1、条件2和条件3 ，程序给出“边的取值超出允许范围”的信息。 如果输入值a、b、c 满足条件1、条件2和条件3，则输出下列四种情况之一： （1）如果不满足条件4、条件5和条件6中的一个，则程序输出为“非三角形”； （2）如果三条边相等，则程序输出为“等边三角形”； （3）如果恰好有两条边相等，则程序输出为“等腰三角形”； （4）如果三条边都不相等，则程序输出为“一般三角形”。 五、实验要求及步骤 1.对于NextDate函数问题进行分析： （1）选用基于规格说明的测试技术中适合的方法为其设计测试用例； （2）选定等价类、边界值、等价类边界值结合法、因果图/决策表法其中之一设计具体测试用例，给出预定输入和输出，以及实际输出结果； 可供选择的设计方法包括： 等价类测试 等价类测试方法是把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据作为测试用例。使用等价类划分方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。 等价类的划分有两种不同的情况：①有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。②无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 用等价类划分法设计测试用例步骤： a形成等价类表，每一等价类规定一个唯一的编号； b设计一个新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类，重复这一步骤，直到所有有效等价类均被测试用例所覆盖； c设计一个新测试用例，使其只覆盖一个无效等价类，重复这一步骤直到所有无效等价类均被覆盖。 边界值分析 边界值分析是考虑边界条件而选取测试用例的一种功能测试方法。边界值分析关注输入空间的边界，以标识测试用例，因为错误更可能出现在输入变量的极值附近。 边界值分析的基本思想是：利用输入变量的最小值(min)、略大于最小值(min+)、正常值(nom)、略小于最大值(max-)和最大值(max)来设计测试用例。使用在最小值、略高于最小值、正常值、略低于最大值和最大值处取输入变量值。 在边界值分析法中获取测试用例的方法是： a每次保留程序中一个变量，让其余的变量取正常值，被保留的变量依次取min、min+、nom、max-和max作为有效边界值；依次取min-和max+作为无效边界值。 b对程序中的每个变量重复1) 。 决策表的测试 决策表（也称判定表）适合描述分析和表达针对不同逻辑条件的组合取值执行不同操作的情况。 决策表分为4部分，如下图所示： 其中: a条件桩：列出问题的所有条件 b条件项：针对条件桩给出的条件列出所有可能的取值 c动作桩：列出问题规定的可能采取的操作 d动作项：指出在条件项的各组取值情况下应采取的动作 使用决策表标识测试用例，则决策表中的条件就是规格说明书中的输入条件