软件测试总结 (二)

本文索引

• 黑盒测试方法
• 白盒测试方法
• ALAC测试方法
• DPBT缺陷模式
• 基于模型
• 形式化测试

黑盒测试方法

等价类划分法：把程序的输入域划分成若干等价类，然后从每个部分中选取少数代表性数据当做测试输入数据。 

等价类是某个输入域的子集，在该子集中每个输入数据的作用是等效的。

边界值分析法：边界值分析法是列出单元功能、输入、状态及控制的合法边界值和非法边界值，设计测试用例，包含全部边界值的方法。

边界点分为上点、内点和离点。

上点：边界上的点。

内点：区间内的点。

离点：离边界值最近且与上点不属于同一等价类的点。

判定表方法：由“条件和活动”两部分组成，即列出一个测试活动执行所需的条件组合，所有可能的条件组合定义了一系列的选择，而测试活动需要考虑每一个选择。

条件桩：列出问题的所有条件

动作桩：列出可能针对问题所采取的操作

条件项：针对所列条件的具体赋值

动作项：列出在条件项（各种取值）组合情况下应该采取的动作。

规则：任何一个条件组合的特定取值及其相应要执行的操作。

因果图法：如果在测试时必须考虑输入条件的各种组合，则可能组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。

1）提取因果，赋予标识符：分析软件规格说明描述中，哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。

2）提取因果关系，表示因果图：分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的关系，根据这些关系，画出因果图。

3）标明约束条件：由于语法或环境制约，有些原因与原因之间，原因与结果之间的组合情况不可能出现，为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。

4）转换成判定表：把因果图转换为判定表。

5）设计测试用例：把判定表的每一列拿出来作为依据，设计测试用例。

成对组合：

大部分缺陷是在两个变量取值冲突的测试时被发现的，不仅仅是在所有的组合情况下才会发现所有的测试缺陷 

将所有输入选项两两组合

不要测试所有的组合

要求任意两个输入条件的所有选项组合至少要被覆盖1次

正交试验法：正交试验设计是研究多因素（输入条件）多水平（输入条件的取值）的一种设计方法，是合理安排试验（测试）的一种科学试验设计方法

错误推测法：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据他们设计测试用例

白盒测试方法

DPBT缺陷模式

基于模型

形式化测试