软件测试中是如何分类的
测试的目标：测试是为了发现程序中的错误而执行程序的过程；
好的测试方案是尽可能发现迄今为止尚未发现的错误的测试方案；
成功的测试是发现了至今为止尚未发现的错误。
也可以这样说，测试的目标是以较少的用例、时间和人力找出软件中潜在的各种错误和缺陷，以确保系统的质量。
从是否需要执行被测软件的角度，可分为：
－静态测试
－动态测试
从测试是否针对系统的内部结构和具体实现算法的角度来看，可分为：
－白盒测试
－黑盒测试1、黑盒测试和白盒测试
黑盒测试
指的是把被测软件看作是一个黑盒子，我们不去关心盒子里面的结构是什么样子，只关心软件的输入数据和输出结果。
黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能?
在接口上，输入能否正确地接受? 能否输出正确的结果?
是否有数据结构错误或外部信息(例如数据文件)访问错误?
性能上是否能够满足要求?
是否有初始化或终止性错误?
用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测试数据，来检查程序是否都能产生正确的输出。 但这是不可能的。 n假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取整数，按黑盒方法进行穷举测试： n可能采用的
测试数据组： 232×232 ＝264 n如果测试一组数据需要1毫秒，一年工作365×24小时，完成所有测试需5亿年。 黑盒测试的测试用例设计 等价划分法
边界值法
错误推测法
因果图法
1.等价类划分
1>等价类划分是一种典型的黑盒测试方法，使用这一方法时，完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。
2>等价类划分方法把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据做为测试用例。
3>使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。
4>划分等价类
等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。
等价类的划分有两种不同的情况：
① 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。
② 无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。
在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。
划分等价类的原则
(1) 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。
n例如，在程序的规格说明中，对输入条件有一句话：
"…… 项数可以从1到999 ……"
则有效等价类是"1≤项数≤999"
两个无效等价类是"项数＜1"或"项
数＞999"。在数轴上表示成:
1 999
无效等价类 有效等价类 无效等价类
(2) 如果输入条件规定了输入值的集合，或者是规定了"必须如何"的条件，这时可确立一个有效等价类和一个无效等价类。
例如，在Pascal语言中对变量标识符规定为"以字母打头的……串"。那么所有以字母打头的构成有效等价类，而不在此集合内（不以字母打头）的归于无效等价类。
(3) 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。
(4) 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时可为 每一个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。
2.边界值分析 边界值分析也是一种黑盒测试方法，是对等价类划分方法的补充。
人们从长期的测试工作经验得知，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。
比如，在做三角形计算时，要输入三角形的三个边长：A、B和C。 我们应注意到这三个数值应当满足
A＞0、B＞0、C＞0、
A＋B＞C、A＋C＞B、B＋C＞A，才能构成三角形。但如果把六个不等式中的任何一个大于号"＞"错写成大于等于号"≥"，那就不能构成三角形。问题恰出现在容易被疏忽的边界附近。
这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情况。
使用边界值分析方法设计测试用例，首先应确定边界情况。应当选取正好等于，刚刚大于，或刚刚小于边界的值做为测试数据，而不是选取等价类中的典型值或任意值做为测试数据。
3.错误推测法 人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。这就是错误推测法。 错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。 4.因果图
因果图的适用范围
如果在测试时必须考虑输入条件的各种组合，可使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图。
因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。
(1) 分析软件规格说明描述中，哪些是原因 (即输入条件或输入条件的等价类)，哪些是结果 (即输出条件)，并给每个原因和结果赋予一个标识符。
(2) 分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。
(3) 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。
(4) 把因果图转换成判定表。
(5) 把判定表的每一列拿出来作为依据，设计测试用例。
白盒测试指的是把盒子盖打开，去研究里面的源代码和程序结构。
白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能。
使用被测单元内部如何工作的信息，允许测试人员对程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑路径进行测试。基于一个应用代码的内部逻辑知识，测试是基于覆盖全部代码、分支、路径、条件。
白盒测试的主要方法： 逻辑驱动测试
基本路径测试
主要用于软件验证。
使用程序设计的控制结构导出测试用例。
逻辑驱动测试：
主要是测试覆盖率，以程序内在逻辑结构为基础的测试。包括以下6种类型： 语句覆盖 判断覆盖 条件覆盖
判定-条件覆盖
条件组合覆盖
路径覆盖
白盒测试的主要目的 保证一个模块中的所有独立路径至少被执行一次；
对所有的逻辑值均需要测试真、假两个分支；
在上下边界及可操作范围内运行所有循环；
检查内部数据结构以确保其有效性
白盒测试的实施方案
在开发阶段
要保证产品的质量，产品的生产过程应该遵循一定的行业标准。软件产品也是同样，没有标准可依自然谈不上质量的好坏。所有关心软件开发质量的组织、单位，都要定义或了解软件的质量标准、模型。其好处是保证公司实践的均匀性，产品的可维护性、可靠性以及可移植性等。
在测试阶段
与软件产品的开发过程一样，测试过程也需要有一定的准则，来指导、度量、评价软件测试过程的质量。
定义测试准则
为控制测试的有效性以及完成程度，必须定义准则和策略，以判断何时结束测试阶段。准则必须是客观的，可量化的元素，而不能是经验或感觉。
根据应用的准则和项目相关的约束，项目领导可以定义使用的度量方法，和要达到的覆盖率。
度量测试的有效性、完整性
对每个测试的测试覆盖信息和累计信息，用图形方式显示覆盖比率，并根据测试运行情况实时更新，随时显示新的测试所反映的测试覆盖情况。
允许所有的测试运行依据其有效性进行管理，用户可以减少不适用于非回归测试的测试的过程。
概念：
1.语句覆盖：语句覆盖就是设计若干个测试用例，运行被测试程序，使得每一条可执行语句至少执行一次；
2.判定覆盖（也称为分支覆盖）：设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次；
3.条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次；
4.判定-条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的所有可能取值至少执行一次，并且每个可能的判断结果也至少执行一次，换句话说，即是要求各个判断的所有可能的条件取值组合至少执行一次；
5.条件组合测试：设计足够多的测试用例，运行所测程序，使程序中每个判断的所有可能的条件取值组合至少执行一次；
6.路径测试：设计足够多的测试用例，运行所测程序，要覆盖程序中所有可能的路径。
静态测试
是指不实际运行被测软件，而只是静态的检查程序代码、界面或文档中可能存在的错误的过程。
其中包括代码测试、界面测试和文档测试3个方面。
对于代码测试，主要测试代码是否符合相应的标准和规范。
对于界面测试，主要测试软件的实际界面与需求中的说明是否相符。
对于文档测试，主要测试用户手册和需求说明是否符合用户的实际要求。
动态测试
是指实际运行被测程序，输入相应的测试数据，检查实际输出结果和预期结果是否相符的过程。
所以，我们判断一个测试属于动态还是静态测试，唯一的标准就是看是否运行程序。
单元测试
文章来源于领测软件测试网 https://www.ltesting.net/
