[工学]软件质量保证第十章.ppt

白盒测试用例设计技术 内容提要 静态白盒法 逻辑覆盖法 基本路径法 白盒测试的其他方法 白盒测试概念 白盒测试也称结构测试或逻辑驱动测试，通过了解软件系统的内部工作过程，设计测试用例来检测程序内部动作是否按照规格说明书规定的正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作。 白盒测试旨在使测试充分地覆盖软件系统的内部结构，并以软件结构中的某些元素是否都已得到测试为准则来判断测试的充分性。 白盒测试概念（续） 白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一种穷举路径的测试方法。但即使每条路径都测试过了，仍然可能存在错误。因为： 穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序。 穷举路径测试不可能查出程序因为遗漏路径而出错。 穷举路径测试发现不了一些与数据相关的错误。 内容提要 静态白盒法 逻辑覆盖法 基本路径法 白盒测试的其他方法 静态白盒法 静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 好处： 尽早发现软件缺陷。 为黑盒测试员提供思路。 静态白盒测试法分类 静态白盒测试法一般根据审查的严格程度分为三种： 同行评审 走查 评审 同行评审 也称为伙伴审查，这种方法大体类似于“如果你给我看你的，我也给你看我的”类型的讨论。同行评审常常仅在编写代码或设计体系结构的程序员，以及充当审查者的其他一两个程序员和测试员之间进行。 走查 （Walk Through） 走查 走查是正式、严格、具有深度的技术评审，以便尽可能准确地确定问题之所在。 走查过程的目的： 在软件开发过程中尽可能早地发现问题。 确保对重要部分达成一致意见。 评审 评审是最正式的审查类型，具有高度组织化，要求每一个参与者都接受训练。评审与同行评审和走查的不同之处在于陈述代码的人——陈述者或者宣读者——不是原来的程序员。这就迫使他们学习和了解要陈述的材料，从而有可能在检验会议上提出不同的看法和解释。其余的参与者称为评审员，其职责是从不同的角度，例如用户、测试员或者产品支持人员的角度审查代码。这有助于对产品的全面审查，通常可以找出不同的软件缺陷。 召开评审会议之后，要准备一份书面报告，明确解决问题所必需重做的工作。然后程序员进行修改，由会议协调员验证修改结果。根据修改的范围和规模以及软件的关键程序，可能还需要进行重新评审，以便找到其余的软件缺陷。评审经证实是所有软件交付过程中，特别是设计文档和代码中发现软件缺陷非常有效的方法。 静态白盒法应该具备的基本要素 确定问题。静态白盒测试的目的是找出软件的问题，全部的批评应该直指代码或设计，而不是其设计实现者。参与者之间不应该相互指责，应该把自我意识、个人情绪和敏感丢在一边。 遵守规则。静态白盒测试要遵守一套固定的规则，如哪些内容要做评价等。其重要性在于参与者了解自己的角色、目标是什么。这有助于使审查进展的更加顺利。 充分准备。每一个参与者都尽自己的力量为审查做准备。根据审查的类型，参与者可能扮演不同的角色。他们需要了解自己的责任和义务，并积极参与审查。在审查过程中找出的问题大部分是在准备期间发现的，而不是实际审查期间。 编写报告。审查小组必须做出审查结果的书面总结报告，并使报告便于开发小组的成员使用。 内容提要 静态白盒法 逻辑覆盖法 基本路径法 白盒测试的其他方法 内容提要 静态白盒法 逻辑覆盖法 基本路径法 白盒测试的其他方法 基本路径法 向量空间的基是相互独立的一组向量，基“覆盖”整个向量空间，使得该空间中的任何其他向量都可以用基向量来表示。 因此，一组基向量在一定程度上可表示整个向量空间的本质：空间中的一切都可以用基表示，并且如果一个基元素被删除了，则这种覆盖特性也会丢失。 基本路径法 基对测试的潜在意义是： 如果可以把程序看做是一种向量空间，则这种空间的基就是要测试的非常有意义的元素集合。如果基没有问题，则可以希望能够用基表达的一切都是没有问题的。 基本路径法 基本路径法是在程序控制流图的基础上，通过分析控制结构的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 基本路径法包括以下几个部分： 程序的控制流图：描述程序控制流的一种图示方法。 程序环路复杂性：McCabe复杂性度量；从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必需的测试用例数目的上界，也即应该设计的测试用例的数目。 确定线性无关的路径的基本集。 准备测试用例，确保测试基本路径集中的每一条路径的执行。 控制流图 McCabe的基路径方法 McCabe认为强连接图的圈数量就是图中线性独立环路数的数量。 McCabe的基