软件测试

数据流测试：指关注变量接受值的点和使用（或引用）这些值的点的结构性测试形式，它可以做路径测试的真实性检查，它包含两种形式，一种提供一组基本定义和一种统一的测试覆盖指标结构，另一种基于叫做“程序片”的概念。

定义/使用测试

程序P的程序图为G(P)，P中的所有路径集合是PATHS(P)。
节点n є G(P) 是变量v є V的定义节点，记做DEF(v , n)，当且仅当变量v的值由对应节点n的语句片段处定义。即n是一个语句片段，而变量v在这个语句片段中定义。
节点n є G(P) 是变量v є V的使用节点，记做USE(v , n)，当且仅当变量v的值在对应节点n的语句片段处使用。即n是一个语句片段，而变量v在这个语句片段中使用。
当且仅当语句n是谓词语句，使用节点USE(v , n)是一个谓词使用，记做P-use，否则使用节点USE(v , n)是一个计算使用，记做C-use。对应于谓词使用的节点永远有外度>=2，对应于计算使用的节点永远有外度<=1。
关于变量v的定义-使用路径，记做du-path，是PATHS(P)中的路径，使得对某个v є V，存在定义和使用节点DEF(v , m)和USE(v , n)，使得m和n是该路径的最初和最终节点。
关于变量v的定义-清除路径，记做dc-path，是PATHS(P)中的路径，是具有最初和最终节点DEF(v , m) 和 USE(v , n)的PATHS(P)中的路径，使得该路径中没有其他节点是v的定义节点。
对于以下程序伪代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
Program Commission(INPUT,OUTPUT)
Dim locks, stocks, barrels As Integer
Dim lockPrice, stackPrice, barrelPrice As Real
Dim totalLocks, totalStock, totalBarrels As Integer
Dim lockSales, stockSales,barrelSales As Real
Dim sales, commission As Real
lockPrice [...]

1. 边界值测试：
边界值测试基于“单缺陷”假说，即失效极少是由两个或多个缺陷的同时发生而引起的，因此，边界值分析测试用例的获得，通过使所有变量取正常值，只使一个变量取极限。

健壮性测试：
在边界值测试的基础上增加了略大于最大极限值或者略小于最小极限值的取值来测试函数有什么表现。
最坏情况测试：
边界值测试和健壮性测试均基于“单缺陷”假说，如需关心当多个变量取极值的时候系统的表现，这种测试就是最坏情况测试。对待测参数采取5个取值：最小值，略大于最小值，正常值，略小于最大值，最大值。
健壮最坏情况测试：
即在最坏情况测试的5类取值的基础上增加两类取值，略小于最小值和略大于最大值。
2. 等价类测试：
边界值测试无法实现完备性测试并且避免冗余，选择确定类的等价关系，通过预测可能的实现，并考虑在实现中必须提供的功能操作来做出这种选择。等价类测试的两个决定性因素，即健壮性和单/多缺陷假设。

弱一般等价类测试
基于单缺陷假设，弱一般等价类测试通过使用一个待测系统中的某一个输入量的每个等价类（区间）中取一个变量来实现。
强一般等价类测试
基于多缺陷假设。强一般等价类测试通过将待测系统中每一个输入量的每个等价类（区间）中的一个取值，进行笛卡尔运算，强一般等价类测试能保证完备性。
弱健壮等价类测试
基于弱一般等价类测试，在弱一般等价类测试的基础上增加了两段区间范围内的取值，即小于最小值的区间和大于最大值的区间。
强健壮等价类测试
基于强一般等价类测试，在强一般等价类测试的基础上增加了两段区间范围内的取值，即小于最小值的区间和大于最大值的区间。
3. 决策表测试：
决策表表示的是条件桩和行动桩之间的关系的表，条件桩一般取值T或F，如果条件可以有多个值，则对应的决策表叫做扩展条目决策表。