软件工程课件：第七章 实现.ppt

等价类划分原则（2）原则2：如果规定了输入数据的一组值，而且程序要对每种输入数据分别处理，则可为每种输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。例：教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做相应的处理。因此可以确定4个有效等价类为教授、副教授、讲师和助教，一个无效等价类，它是所有不符合以上身分的人员的输入值的集合。*等价类划分原则（3）原则3：若规定了输入值的集合，或者是规定了“必须如何”的条件，则可确立一个有效等价类和一个无效等价类。例：Pascal语言对变量标识符规定必须“以字母打头”，则所有以字母打头的构成有效等价类，而不以字母打头的归于无效等价类。*等价类划分原则（4）原则4：如果规定输入数据为整型，则可划分出正整、零和负整数三个有效类，其他数据为无效类原则5：如果程序处理对象是表格，则应使用空表、含一项和多项的表。原则6：如果确知，已划分的等价类中各元素在程序中的处理方式不同，则应将此等价类进一步划分成更小的等价类。*步骤2：确立测试用例在确立了等价类之后，建立等价类表，列出所有划分出的等价类。*测试用例的选择原则原则1:为每一个等价类规定一个唯一编号；原则2:设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；原则3:设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。*混合策略1）衍变的自顶向下的增殖测试先对输入／输出模块和引入新算法模块进行测试；再自底向上组装成为功能相当完整且相对独立的子系统；然后由主模块开始自顶向下进行增殖测试。*2）自底向上一自顶向下的增殖测试先对含读操作的子系统自底向上直至根结点模块进行组装和测试；再对含写操作的子系统做自顶向下的组装与测试。*7.5确认测试又称有效性测试。验证软件的功能、性能及其它特性是否与用户的要求一致。确认测试的基础：软件需求规格说明书确认测试的主要工作：有效性测试与软件配置审查主要参与人员：以用户为主*确认测试的步骤*7.5.1确认测试范围通常采用黑盒测试，验证被测软件是否满足用户需求。测试计划：包括测试种类及进度安排；测试步骤：描述具体的测试用例测试目的：确定软件的特性是否与需求相符；所有的文档都是正确且便于使用；其它软件需求。测试结果：与预期的结果相符；与预期的结果不符：要提交一份问题报告。*7.5.2软件配置复查目的：保证软件配置的所有成分都齐全；各方面的质量都符合要求；具有维护阶段所必需的细节；而且已经编排好分类的目录。应当严格遵守用户手册和操作手册中规定的使用步骤，以便检查这些文档资料的完整性和正确性。*7.5.3α测试和β多测试适用：为多个用户开发的软件α测试：由用户在开发环境下进行的测试。主要评价软件产品的:FLURPS(即功能、局域化、可使用性、可靠性、性能和支持）β测试：由最终用户在实际使用环境下进行的测试，这些用户定期返回有关错误信息给开发者。注意：只有当α测试达到一定的可靠程度时，才开始β测试。*7.1编码7.2软件测试基础7.3单元测试7.4集成测试7.5确认测试7.6白盒测试技术7.7黑盒测试技术7.8调试7.9软件可靠性7.10小结*7.6白盒测试技术白盒测试执行的要求：对程序模块的所有独立的执行路径至少测试一次对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次；在循环的边界和运行界限内执行循环体；测试内部数据结构的有效性。*7.6.1逻辑覆盖逻辑覆盖是以程序内部的逻辑结构为基础设计测试用例的技术。语句覆盖判定覆盖条件覆盖判定一条件覆盖条件组合覆盖点覆盖边覆盖路径覆盖**图7.5被测试模块的流程图图7.5被测试模块的流程图*语句覆盖：使得每一可执行语句至少执行一次测试数据（X任意实数）：A=2,B=0,X=4*判定覆盖：运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。测试数据：A=3,B=0,X=3（覆盖1）A=2,B=1,X=1（覆盖2）满足判