软件测试基本技术.docVIP

03软件测试基本技术 2010-09-10 10:20:031分类:软件测试|标签：卜字号大中小订阅 本章主要知识点 黑盒测试巧白盒测试基本概念 白金测试技术 黑盒测试技术 一、 软件测试技术概述 黑盒测试：己知产品的功能设讣规格和用户于册，训以进行测试验证每个功能是否实现、毎个实现了 的功能是否符合要求，以及产品的件能是否满足用户的要求。黑盒测试主要是为「发现软件屮以下儿类错 误： 是否有不正确或遗漏的功能？ 在接I I上输入是否能正确的接受？能否输出正确的结果？ 是否有数据结构错课或外部信息(例如数据文件)访问错误？ 性能上是否能够满足要求？ 是否有初始化或终止性错误？ 软件的黑盒测试意味着测试要在软件的接I I处进行，测试人员完全不考虑程序内部的逻辑结构和内部 特性，只依据程序的需求规格说明书和用户于册，检查程序的功能是否符合它的功能说明，以及性能是否 满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。 口盒测试：已知产品的内部工作过程，可以通过测试验i正毎种内部操作是否符合设讣规格要求，所冇 内部成分是否已经过检查。白盒测试须对程序模块进行如下检査： 保证一个模块内的所有独立路径至少被使用一次。 对所有逻辑值均测试true和false。 在循环的边界和运行的界限内执行循环体。 检查内部数据结构以确定其有效性。 软件的口盒测试是对软件的过程性细节做细致的检査，它允许测试人员利用程序内部的逻辑结构及有 关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检査程序状态，确定实际状 态是否与预期的状态一致。因此白盒测试又称为结构测试或逻紺驱动测试。 门盒测试方法的准备时间很长,所要求的技术也较高，相应的测试成木也较人，黑盒测试不考虑程序 内部结构和内部特性，主要是验证软件所应该具冇的功能是否实现，软件系统的性能是否满足用户的要求。 所以，黑盒测试方法对技术的要求较低，方法简单育效，可以柴体测试系统的行为，也可以从头到尾进行 数据完幣性测试。 二、 白盒测试 白盒测试是一种被广泛使用的逻辑测试技术，也称为结构测试或逻辑驱动测试。白盒测试的对象基本 上是源程序，是以程序的内部逻辑为基础的一种测试技术，是按照程序内部的结构测试程序，检验程序屮 的各条通路是否都能够按预定要求正确T作，所以口盒测试针对性很强，可以对程序的毎一行语句、毎一 个条件或分支进行测试，测试效率比较高，而H可以淸楚测试的覆孟程度。 白盒测试可分为静态测试和动态测试。 静态测试是一种不通过执行程序而进行测试的技术，其关键是检查软件的表小和描述定否一致，是否 存在冲突或者歧义。静态测试瞄准的是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的 前提。 动态测试需要软件的执行，当软件系统在模拟的或其实的环境屮执行之前、之中和之后，对软件系统 行为的分析是动态测试的主要特点。动态测试技术主要包括程序插桩、逻轲覆盖、基木路径测试等。 三.静态测试 三. 最常见的静态测试是找出源代码的语法错误，这类测试可山编译器来完成，因为编译器可以逐行分析 检验程序的语法，找出错谋并报告。除此之外,测试人员需要采用人工的方式來检验程序，因为程序有些 地方存在非语法方面的错课,只能通过人T检测的方法來判断。人工检测的方法主要右代码检查法、静态 结构分析法等。 代码检査法。主要检査以下方面： 检查代码和设计的一致性。 代码的町读性以及对软件设计标准的遵循情况。 代码逻辑表达的正确性。 代码结构的合理性。 程序屮不安全、不明确和模糊的部分。 编程风格方面的问题等。 代码检查法的主要方式有如下三种： 桌面检查：指程序设计人员对源程序代码进行分析、检验，并补充相关的文档，发现程序 中的错误。通常包括以下内容： N 检査变帚:的交叉引用表：检查未说明的变戢、违反类世规定的变戢以及变帚:的引用 情况。 込 检查标号的交叉引用表:验证所有标号的正确性以及转向指定位置的标号是否正确。 N 检查子程序、宏、函数：验证毎次调用与所调用位置是否正确，调用的子程序、宏、 函数是否存在,参数是否一致，并检验调用序列中调用方式耳参数顺序、个数、类型 等的一致性。 N 等价性检查：检査全部等价变量的类型的一致性。 Z 常最检查：确认常量的取值和数制、数据类型，检查常量每次引用同它的取值和类 型的一致性。 N 设计标准检查：检查程序是否违反设计标准的问题。 N 风格检査：检査程序的设计风格方面的问题。 Z 比较控制流：比较设计控制流图和实际程序生成的控制流图的差异。 N 选择、激活路径：在设计控制流图屮选择某条路径，到实际的程序屮激活这条路径， 如果不能激活，则程序可能有错。用这种方法激活的路径集合,应保证源程序模块的 每行代码都被检查，即桌前检查应至少达到语句覆盖。 N 对照程序的规格说明