软件测试方法-白盒测试方法

西米露QQ：201129620,VIP基础七班,白盒测试方法,白盒测试方法：白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。白盒法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。白盒法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。白盒测试旨在使测试充分地覆盖软件系统的内部结构，并以软件结构中的某些元素是否都已得到测试为准则来判断测试的充分性。目前，比较成熟的白盒测试技术方法有静态白盒法、侵入式法、控制流图法、基路径法、数据定义使用法、程序片法。,实施步骤,1.测试计划阶段：根据需求说明书，制定测试进度。2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。3.测试执行阶段：输入测试用例，得到测试结果。4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。,优缺点,优点1.迫使测试人员去仔细思考软件的实现2.可以检测代码中的每条分支和路径3.揭示隐藏在代码中的错误4.对代码的测试比较彻底5.最优化缺点1.昂贵2.无法检测代码中遗漏的路径和数据敏感性错误3.不验证规格的正确性,白盒测试方法,静态白盒法路径覆盖法基本路径法域测试符号测试Z路径覆盖程序变异程序片法,静态白盒法,静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。好处：尽早发现软件缺陷。为黑盒测试员提供思路。,静态白盒测试法一般根据审查的严格程度分为三种：同行评审走查评审,同行评审：也称为伙伴审查，这种方法大体类似于“如果你给我看你的，我也给你看我的”类型的讨论。同行评审常常仅在编写代码或设计体系结构的程序员，以及充当审查者的其他一两个程序员和测试员之间进行。走查：是正式、严格、具有深度的技术评审，以便尽可能准确地确定问题之所在。走查过程的目的：在软件开发过程中尽可能早地发现问题。确保对重要部分达成一致意见。,评审,评审是最正式的审查类型，具有高度组织化，要求每一个参与者都接受训练。评审与同行评审和走查的不同之处在于陈述代码的人陈述者或者宣读者不是原来的程序员。这就迫使他们学习和了解要陈述的材料，从而有可能在检验会议上提出不同的看法和解释。其余的参与者称为评审员，其职责是从不同的角度，例如用户、测试员或者产品支持人员的角度审查代码。这有助于对产品的全面审查，通常可以找出不同的软件缺陷。召开评审会议之后，要准备一份书面报告，明确解决问题所必需重做的工作。然后程序员进行修改，由会议协调员验证修改结果。根据修改的范围和规模以及软件的关键程序，可能还需要进行重新评审，以便找到其余的软件缺陷。评审经证实是所有软件交付过程中，特别是设计文档和代码中发现软件缺陷非常有效的方法。,静态白盒法应该具备的基本要素,确定问题。静态白盒测试的目的是找出软件的问题，全部的批评应该直指代码或设计，而不是其设计实现者。参与者之间不应该相互指责，应该把自我意识、个人情绪和敏感丢在一边。遵守规则。静态白盒测试要遵守一套固定的规则，如哪些内容要做评价等。其重要性在于参与者了解自己的角色、目标是什么。这有助于使审查进展的更加顺利。充分准备。每一个参与者都尽自己的力量为审查做准备。根据审查的类型，参与者可能扮演不同的角色。他们需要了解自己的责任和义务，并积极参与审查。在审查过程中找出的问题大部分是在准备期间发现的，而不是实际审查期间。编写报告。审查小组必须做出审查结果的书面总结报告，并使报告便于开发小组的成员使用。,逻辑覆盖法,即设计出足够的测试用例来完成对被测试程序可执行路径进行全方位的执行覆盖。白盒覆盖率分析：白盒测试最常用的基本技术是覆盖率分析，研究的内容包括：如何选择程序元素，如何生成指定程序元素的测试用例；程序元素的覆盖率；测试效果的评价。,语句覆盖判定覆盖条件覆盖判定/条件覆盖条件组合覆盖,语句覆盖,语句路径覆盖是一个比较弱的逻辑路径覆盖标准。它的涵义是指通过选择足够的测试用例，使得运行这些测试用例时，被测程序的每个语句至少被执行一次。,判定覆盖,判定路径覆盖又称为分支路径覆盖，判定路径覆盖比语句路径覆盖的标准稍强一些，它是指通过设计足够的测试用例，使得程序中的每一个判定至少都获得一次“真值”和“假值”，或者说使得程序中的每一个分支都至少通过一次。,条件覆盖,条件路径覆盖的涵义是指，对于每个判定中所包含的若干个条件，应设计足够多的测试用例，使得判定中的每个条件都至少取到一次“真值”和“假值”的机会，也就是说，判定中的每个条件的所有可能结果至少出现一次。,判定/条件覆盖,判定/条件路径覆盖是指通过设计足够多的测试用例，使得运行这些测试用例时，判定中的每个条件的所有可能结果至少出现一次，并且每个判定本身的所有可能结果也至少出现一次。,条件组合路径覆盖,条件组合路径覆盖是指，通过设计足够多的测试用例，使得运行这些测试用例时，每个判定中条件结果的所有可能组合至少出现一次。,物理路径覆盖,物理路径覆盖是指，通过设计足够多的测试用例，使得运行这些测试用例时，程序的每条可能执行的物理路径都至少经过一次（如果程序中有环路，则要求每条环路至少经过一次）。,基本路径法,定义：基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。其中运用最为广泛的是基本路径测试法。基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。,在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法：1.程序的控制流图：描述程序控制流的一种图示方法。2.程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。3.导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。4.准备测试用例：确保基本路径集中的每一条路径的执行。,工具方法：图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。程序的控制流图：描述程序控制流的一种图示方法。圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句。流图只有二种图形符号：图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流任何过程设计都要被翻译成控制流图。,在将程序流程图简化成控制流图时，应注意：在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。,如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,NAND,NOR)连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。例如：if（aorb）xelsey,独立路径：至少沿一条新的边移动的路径,基本路径测试法的步骤：第一步：画出控制流图流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。,画出其程序流程图和对应的控制流图如下,第二步：计算圈复杂度圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。有以下三种方法计算圈复杂度：流图中区域的数量对应于环型的复杂性;给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。,第三步：导出测试用例根据上面的计算方法，可得出四个独立的路径。(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序