6.2 软件测试：软件测试技术

对某种指定的条件下对系统或组件操作，观察或记录结果，对系统或组件的某些方面进行评估的过程。分析软件各项目以检测现有的结果和应用结果之间的差异，并评估软件各项目的特征的过程。

1、基本概念

验证：保证软件特定开发阶段的输出已经正确完整地实现了规格说明。

确认：对于每个测试级别，都要检查开发活动的输出是否满足具体的需求或与这些特定级别相关的需求。

软件测试：找出软件缺陷，并确保修复。

软件调试：目标是定位于修复缺陷。

软件质量保证：创建、执行改进过程并防止缺陷的标准和方法。

质量：功能性、可移植性、效率、可靠性、可维护性、可用性

测试用例是测试输入、执行条件、以及预期结果的集合，是为特定的目的开发的，例如执行特定的程序路径或验证与指定的需求相符合。
在这里插入图片描述

在这里插入图片描述
灰盒测试：白盒测试和黑盒测试的结合。

考虑系统或组件的内部机制的测试形式。
把测试对象看做一个透明盒子，允许利用程序内部逻辑结构及有关信息，进行测试。通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。又称为结构测试或逻辑驱动测试。

逻辑测试：以程序内部的逻辑结构为基础设计测量用例的技术。语句覆盖、分支覆盖、条件覆盖、条件组合覆盖。

控制流图覆盖测试：将代码转变为控制流图（CFG），基于其进行测试的技术。
在这里插入图片描述

就是设计足够的测试用例，覆盖程序中所有可能的路径。
在这里插入图片描述

将覆盖的路径压缩到一定限度内，程序中的循环体最多只执行一次。
在这里插入图片描述

程序的环路复杂性:程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。
独立路径:从控制流图来看，一条独立路径是至少包含有一条在其它独立路径中从未有过的边的路径。
计算方法:V(G)=e-n+2。其中，e 为图中边的数目;n 为节点数目。

忽略系统或组件的内部机制，仅关注于那些响应所选择的输入及相应执行条件的输出的测试形式。

测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性。只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。又叫做功能测试或数据驱动测试。

基本思想：把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据做为测试用例。
测试步骤：划分等价类；选取测试用例
等价类
等价类:某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。
有效等价类:对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。
无效等价类:对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。