白盒测试用例设计技术.ppt

白盒测试用例设计技术 内容提要 静态白盒法 侵入式法 路径覆盖法 基本路径法 定义/使用法 程序片法 白盒测试的其他方法 白盒测试概念 白盒测试也称结构测试或逻辑驱动测试，通过了解软件系统的内部工作过程，设计测试用例来检测程序内部动作是否按照规格说明书规定的正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作。 白盒测试旨在使测试充分地覆盖软件系统的内部结构，并以软件结构中的某些元素是否都已得到测试为准则来判断测试的充分性。 目前，比较成熟的白盒测试技术方法有静态白盒法、侵入式法、控制流图法、基路径法、数据定义使用法、程序片法。 内容提要 静态白盒法 侵入式法 路径覆盖法 基本路径法 定义/使用法 程序片法 白盒测试的其他方法 静态白盒法 静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 好处： 尽早发现软件缺陷。 为黑盒测试员提供思路。 静态白盒测试法分类 静态白盒测试法一般根据审查的严格程度分为三种： 同行评审 走查 评审 同行评审 也称为伙伴审查，这种方法大体类似于“如果你给我看你的，我也给你看我的”类型的讨论。同行评审常常仅在编写代码或设计体系结构的程序员，以及充当审查者的其他一两个程序员和测试员之间进行。 走查 走查是正式、严格、具有深度的技术评审，以便尽可能准确地确定问题之所在。 走查过程的目的： 在软件开发过程中尽可能早地发现问题。 确保对重要部分达成一致意见。 评审 评审是最正式的审查类型，具有高度组织化，要求每一个参与者都接受训练。评审与同行评审和走查的不同之处在于陈述代码的人——陈述者或者宣读者——不是原来的程序员。这就迫使他们学习和了解要陈述的材料，从而有可能在检验会议上提出不同的看法和解释。其余的参与者称为评审员，其职责是从不同的角度，例如用户、测试员或者产品支持人员的角度审查代码。这有助于对产品的全面审查，通常可以找出不同的软件缺陷。 召开评审会议之后，要准备一份书面报告，明确解决问题所必需重做的工作。然后程序员进行修改，由会议协调员验证修改结果。根据修改的范围和规模以及软件的关键程序，可能还需要进行重新评审，以便找到其余的软件缺陷。评审经证实是所有软件交付过程中，特别是设计文档和代码中发现软件缺陷非常有效的方法。 静态白盒法应该具备的基本要素 确定问题。静态白盒测试的目的是找出软件的问题，全部的批评应该直指代码或设计，而不是其设计实现者。参与者之间不应该相互指责，应该把自我意识、个人情绪和敏感丢在一边。 遵守规则。静态白盒测试要遵守一套固定的规则，如哪些内容要做评价等。其重要性在于参与者了解自己的角色、目标是什么。这有助于使审查进展的更加顺利。 充分准备。每一个参与者都尽自己的力量为审查做准备。根据审查的类型，参与者可能扮演不同的角色。他们需要了解自己的责任和义务，并积极参与审查。在审查过程中找出的问题大部分是在准备期间发现的，而不是实际审查期间。 编写报告。审查小组必须做出审查结果的书面总结报告，并使报告便于开发小组的成员使用。 内容提要 静态白盒法 侵入式法 路径覆盖法 基本路径法 定义/使用法 程序片法 白盒测试的其他方法 侵入式法 侵入式法白盒测试指的是在软件测试过程中需要对软件系统的代码进行修改的测试方法。按照修改的目的不同分为：程序插桩测试、断言测试和缺陷种植法。 程序插桩技术 借助往被测程序中插入操作，来实现测试目的的方法。 在调试程序中，常常要在程序中插入一些打印语句。 通过打印信息了解执行过程中程序的一下动态特性。 程序插桩图 插桩程序中插入的语句 设计插桩程序要考虑的问题 探测哪些信息； 在程序的什么部位设置探测点； 需要设置多少个探测点。 断言测试 断言测试用于检查在程序运行过程出现的一些本“不应该”发生的情况。也就是在一个应该正确的地方，加一条判断来验证程序运行时，它是否真正如当初预料的那样，具有预期的正确性。 断言测试就是在程序中插入断言，插入断言的根本目的是用于帮助程序的调试与排错，因此本质上它是属于测试代码，是一种特殊的插桩语句，而不是属于真正的应用程序模块的一部分。 缺陷种植测试 是一种用来估计驻留在程序中的缺陷数量的技术。工作原理是向一个软件中“种植”缺陷，然后运行测试集，以检查发现了多少个种植的缺陷，还有多少个种植的缺陷没有被发现，以及已经发现了多少个新的非种植的缺陷。然后就可以预测残留的缺陷数量。 案例 如果种植了100个种子缺陷，而在测试中只找到75个种植的缺陷，那么种子发现率为75%。如果已经发现了450个真实的缺陷，那么可以通过种子发现率，推出这450个真实的缺陷只代表了现在存在