第3次大课 软件测试基本技术1课件.ppt

软件测试基础 第3章 软件测试基本技术1;第3章 软件测试基本技术; 无法对程序进行完全测试 (1) 输入量太大，不可能测试程序对所有可能输入的响应。 (2) 输出结果太多 (3) 软件实现途径太多，不可能测试到程序每一条可能的执行路径 (4) 软件规格说明没有客观标准 (5) 不能采用逻辑来证明程序的正确性; 假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取整数，若进行穷举测试： 可能采用的测试数据组：232×232＝264 如果测试一组数据需要1毫秒，一年工作365×24小时，完成所有测试需要5亿年。;桥骤献之悲跪着滨泻港疏蛊兢丘如音助荔蕉妙峙拖驻乞函薛笨筋墩跨撰呕第3次大课 软件测试基本技术1课件第3次大课 软件测试基本技术1课件; 给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条???径进行测试需要1毫秒，假定一年工作365×24小时，要想把所有路径测试完，需3170年。 所以，无法对程序进行完全的测试。;3.1 黑盒测试与白盒测试; 软件的黑盒测试意味着测试要在软件的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，检查程序的功能是否符合它的功能说明，以及性能是否满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。;黑盒测试主要是为了发现以下几类错误： 1. 是否有不正确或遗漏的功能？  2. 在接口上，输入是否能正确的接受？能否输出正确的结果？  3. 是否有数据结构错误或外部信息（例如数据文件）访问错误？  4. 性能上是否能够满足要求？  5. 是否有初始化或终止性错误？ ;2．白盒测试 白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。 软件的白盒测试是对软件的过程性细节做细致的检查，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。;白盒测试须对程序模块进行如下检查： 1. 保证一个模块中的所有独立路径至少被使用一次 2. 对所有逻辑值均测试true和false。 3. 在循环的边界和运行的界限内执行循环体。  4. 检查内部数据结构以确定其有效性。;3.2 白 盒 测 试 技 术; 白盒测试方法又可分为静态测试和动态测试。静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。而动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。;; 最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，测试人员须采用人工的方法来检验程序，有些地方存在非语法方面的错误，只能通过人工检测的方法来判断。 人工检测的方法主要有代码检查法、静态结构分析法等。;1．代码检查法 代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查： (1) 检查代码和设计的一致性； (2) 代码的可读性以及对软件设计标准的遵循情况； (3) 代码逻辑表达的正确性； (4) 代码结构的合理性； (5) 程序中不安全、不明确和模糊的部分； (6) 编程风格方面的问题等。;代码检查方式主要有： （1）桌面检查 （2）代码审查 （3）走查;代码会审是由一组人通过阅读、讨论和争议对程序进行静态分析的过程。 代码审查小组成员： 组长——能力较强的程序员 待审程序的设计者或程序员 测试专家 ;;走查 走查是以小组为单元进行代码阅读的，同样也是一系列规程和错误检查技术的集合。 人员组成 一位经验丰富的程序员 一位程序设计语言专家 一位程序员新手 一位其他不同项目的人员 一位该软件编程小组的成员;;2．静态结构分析法 在静态结构分析中，测试人员通常通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。