Linux_软件测试基础
目录：
黑盒测试与白盒测试
Ⅰ．黑盒测试
Ⅱ．白盒测试
白盒测试技术
Ⅰ. 白盒测试静态测试
| 1．代码检查法 | 2．静态结构分析法 |
|---|
Ⅱ . 程序插桩技术
Ⅲ. 逻辑覆盖
| 1．语句覆盖 | 2．判定覆盖 | 3．条件覆盖 |
|---|---|---|
| 4．条件判定组合覆盖 | 5．多条件覆盖 | 6．测试覆盖准则 |
Ⅳ. 基本路径测试法
| 1．程序的控制流图 | 2．基本路径测试法的步骤 | 3. 基本路径测试中的图形矩阵工具 |
|---|
5 . 其他白盒测试方法
| 1．域测试 | 2．符号测试 |
|---|---|
| 3．Z路径覆盖 | 4．程序变异 |
Ⅵ . 白盒测试应用策略
黑盒测试技术
Ⅰ . 功能测试
| 1. 等价类划分法 | 例：三角形问题（等价类划分法） | 2. 边界值分析法 | 例：找零钱最佳组合（边界值分析法） |
|---|---|---|---|
| 3. 错误推测法 | 4. 因果图法 | 例：NextDate问题设计判断表，工资发放问题（因果图） | 5. 场景法 |
| 6. 功能图法 | 7. 状态机 | 例：路人甲打电话预订飞机票，要去某地 |
Ⅱ . 非功能测试
Ⅲ . 黑盒测试策略
黑盒测试与白盒测试
测试对需求负责
任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。
Ⅰ．黑盒测试
黑盒测试：已知产品的功能设计规格和用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。
软件的黑盒测试意味着测试要在软件的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，检查程序的功能是否符合它的 功能说明，以及性能是否满足 用户的要求。因此黑盒测试又叫 功能测试 或 数据驱动测试。
黑盒测试主要是为了发现以下几类错误：
- 是否有不正确或遗漏的功能？
- 在接口上，输入是否能正确的接受？能否输出正确的结果？
- 是否有数据结构错误或外部信息（例如数据文件）访问错误？
- 性能上是否能够满足要求？
- 是否有初始化或终止性错误？
Ⅱ．白盒测试
白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。
软件的白盒测试是对软件的 过程性细节做细致的检查，它允许测试人员利用程序内部的 逻辑结构及有关信息，设计或选择测试用例，对程序 所有逻辑路径 进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为 结构测试 或 逻辑驱动测试。
白盒测试须对程序模块进行如下检查：
- 保证一个模块中的所有独立路径至少被使用一次
- 对所有逻辑值均测试true和false。
- 在循环的边界和运行的界限内执行循环体。 4. 检查内部数据结构以确定其有效性。
白盒测试技术
白盒测试是一种被广泛使用的逻辑测试方法，也称为 结构测试 或 逻辑驱动测试。
白盒测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。
白盒测试方法又可分为 静态测试 和 动态测试 。
- 静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。
- 动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。
Ⅰ. 白盒测试静态测试
最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，测试人员须采用人工的方法来检验程序，有些地方存在非语法方面的错误，只能通过人工检测的方法来判断。
人工检测的方法主要有代码检查法、静态结构分析法等。
1．代码检查法
代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查：
(1) 检查代码和设计的一致性；
(2) 代码的可读性以及对软件设计标准的遵循情况；
(3) 代码逻辑表达的正确性；
(4) 代码结构的合理性；
(5) 程序中不安全、不明确和模糊的部分；
(6) 编程风格方面的问题等。
代码检查方式主要有：
- 桌面检查
- 代码审查
- 走查
2．静态结构分析法
在静态结构分析中，测试人员通常通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。
通过分析这些图表，包括控制流分析、数据据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。
静态结构分析法通常采用以下一些方法进行源程序的静态分析：
(1) 通过生成各种图表，来帮助对源程序的静态分析，常用的的各种引用表主要有：
① 标号交叉引用表
② 变量交叉引用表
③ 子程序（宏、函数）引用表
④ 等价表
⑤ 常数表
常用的的各种关系图、控制流图主要有：
- 函数调用关系图： 列出所有函数，用连线表示调用关系，通过应用程序各函数之间的调用关系展示了系统的结构。
- 模块控制流图： 由许多结点和连接结点的边组成的图形，其中每个结点代表一条或多条语句，边表示控制流向，可以直观地反映出一个函数的内部结构。
(2) 错误静态分析
静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。
① 类型和单位分析
② 引用分析
③ 表达式分析
④ 接口分析
Ⅱ . 程序插桩技术
在软件动态测试中，程序插桩是一种基本的测试手段，有着广泛的应用。
程序插桩方法是借助往被测程序中插入操作，来实现测试目的的方法，即向源程序中添加一些语句，实现对程序语句的执行、变量的变化等情况进行检查。
要了解一个程序在某次运行中所有可执行语句被覆盖的情况，或是每个语句的实际执行次数，最好的办法是利用插桩技术。
以计算整数X和整数Y的最大公约数程序为例，说明插桩方法的要点。如下程序的流程图。
设计插桩程序时需要考虑的问题包括：
① 探测哪些信息；
② 在程序的什么部位设置探测点；
③ 需要设置多少个探测点；
④ 程序中特定部位插入某些用以判断变量特性的语句。
Ⅲ. 逻辑覆盖
逻辑覆盖也是白盒测试主要的动态测试方法之一，是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序的覆盖，这一方法要求测试人员对程序的逻辑结构有清楚的了解
从覆盖源程序语句的详细程度分析，逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。
1．语句覆盖
语句覆盖使程序中每个语句至少都能被执行一次。
在程序1中，为使程序中每个语句至少执行一次，只需设计一个能通过路径 a-c-e 的数据就可以了，例如选择输入数据为：A=2，B=0，X=3就可达到 “语句覆盖” 标准。
在程序2中，如测试用例输入为：x=4、y=5、z=5 程序执行的路径是：a-b-d。
2．判定覆盖
比语句覆盖稍强的覆盖标准是判定覆盖。
按判定覆盖准则进行测试是指，设计若干测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被满足。判定覆盖又称为分支覆盖。
3．条件覆盖
在设计程序中，一个判定语句是由多个条件组合而成的复合判定。
条件覆盖的含义是：构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。
4．条件判定组合覆盖
条件判定组合覆盖的含义是：设计足够的测试用例，使得判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。
5．多条件覆盖
多条件覆盖也称为条件组合覆盖，它的含义是：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。
显然 满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件判定组合覆盖的。
6．测试覆盖准则
（1）Foster的ESTCA覆盖准则
前面所介绍的逻辑覆盖其出发点似乎是合理的。所谓“覆盖”，就是想要做到全面而无遗漏。但是，事实表明，它并不能真的做到无遗漏。
K.A.Foster从测试工作实践的教训出发，吸收了计算机硬件的测试原理，提出了一种经验型的测试覆盖准则。
（2）Woodward等人的层次LCSAJ覆盖准则
Woodward 等人曾经指出结构覆盖的一些准则，如分支覆盖或路径覆盖，都不足以保证测试数据的有效性。为此，他们提出了一种层次LCSAJ覆盖准则。
Ⅳ. 基本路径测试法
之前例子是个比较简单的程序段，只有两条路径。但在实际问题中，即使一个不太复杂的程序，其路径的组合都是一个庞大的数字。
基本路径测试法是在是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一条可执行语句至少执行一次。
1．程序的控制流图
控制流图是描述程序控制流的一种图示方式。其中基本的控制结构对应的图形符号如图所示。在图所示的图形符号中，圆圈称为控制流图的一个结点，它表示一个或多个无分支的语句或源程序语句。
 |
 |
2．基本路径测试法的步骤
(1) 画出程序控制流图
(2) 计算程序环路复杂性
进行程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。
所谓独立路径，是指包括若干未曾处理的语句或条件的一条路径
基本路径集不是惟一的，对于给定的控制流图，可以得到不同的基本路径集。
通常环路复杂性可用以下3种方法求得。
① 将环路复杂性定义为控制流图中的区域数。
② 设E为控制流图的边数，N为图的结点数，则定义环路的复杂性为V(G)=E−N+2。
③ 若设P为控制流图中的判定结点数，则有V(G)=P+1。
(3) 确定独立路径集合
(4) 准备测试用例
3. 基本路径测试中的图形矩阵工具
图形矩阵是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。
为了使导出程序控制流图和决定基本测试路径的过程均自动化实现，开发了一个辅助基本路径测试的软件工具，称为图形矩阵(graph matrix)，在进行基本路径测试中很有用。
5 . 其他白盒测试方法
1．域测试
域测试是一种基于程序结构的测试方法。
域测试正是在分析输入域的基础上，选择适当的测试点以后进行测试的。
域测试正是在分析输入域的基础上，选择适当的测试点以后进行测试的。
2．符号测试
符号测试的基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，这一方法也因此而得名。
3．Z路径覆盖
分析程序中的路径是指检验程序从入口开始，执行过程中经历的各个语句，直到出口。
4．程序变异
程序变异方法是一种错误驱动测试。所谓错误驱动测试方法，是指该方法是针对某类特定程序错误的。经过多年的测试理论研究和软件测试的实践，人们逐渐发现要想找出程序中所有的错误几乎是不可能的。比较现实的解决办法是将错误的搜索范围尽可能地缩小，以利于专门测试某类错误是否存在。
错误驱动测试主要有两种，即程序强变异和程序弱变异。
Ⅵ . 白盒测试应用策略
以下是各种白盒测试方法的综合应用策略，可供在实际测试应用过程中参考。
（1）在测试中，应尽量先使用工具进行静态结构分析。
（2）测试中可采取先静态后动态的组合方式：先进行静态结构分析、代码检查，再进行覆盖率测试。
（3）利用静态分析的结果作为导引，通过代码检查和动态测试的方式对静态发现结果进行进一步的确认，使测试工作更为有效。
（4）覆盖率测试是白盒测试的重点，一般可使用基本路径测试法达到语句覆盖标准；对于软件的重点模块，应使用多种覆盖率标准衡量代码的覆盖率。
（5）在不同的测试节点，测试的侧重点不同：在单元测试阶段，以代码检查、逻辑覆盖为主；在集成测试阶段，需要增加静态结构分析等；在系统测试阶段，应根据黑盒测试的结果，采取相应的白盒测试。
黑盒测试技术
黑盒测试也称数据驱动测试，在测试时，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构盒内部特性的情况下，测试者在程序接口进行测试。
在黑盒测试过程中，只是通过输入数据、进行操作、观察输出结果，来检查软件系统是否按照需求规格说明书的规定正常使用，软件是否能适当地接收输入数据而产生正确的输出信息，并保持外部信息的完整性。
Ⅰ . 功能测试
1. 等价类划分法
等价类划分是一种典型的、常用的黑盒测试方法。
所谓等价类是指某个输入域的子集，使用这一方法时，是把所有可能的输入数据，即程序的输入域划分成若干部分（子集），然后从每一个子集中选取少数具有代表性的数据作为测试用例。
等价类的划分有以下两种不同的情况
-
① 有效等价类：是指对于程序规格说明来说，是合理的、有意义的输入数据构成的集合。利用它，可以检验程序是否实现了规格说明预先规定的功能和性能。
-
② 无效等价类 ：是指对于程序规格说明来说，是不合理的、无意义的输入数据构成的集合。利用它，可以检查程序中功能和性能的实现是否有不符合规格说明要求的地方。
划分等价类的方法如下：
① 按区间划分
② 按数值划分
③ 按数值集合划分
④ 按限制条件划分
⑤按限制规则划分
⑥按处理方式划分
在确立了等价类之后，建立等价类表，列出所有划分出的等价类
再从划分出的等价类中按以下原则选择测试用例。
- ① 为每一个等价类规定一个惟一的编号。
- ② 设计一个新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类；重复这一步骤，直到所有的有效等价类都被覆盖为止。
- ③ 设计一个新的测试用例，使其仅覆盖一个无效等价类，重复这一步骤，直到所有的无效等价类都被覆盖为止。
例：三角形问题（等价类划分法）
输入三个整数为三角形的三条边的长度值，程序打印输出这个三角形为不等边的，等腰的，或是等边三角形。
分析：
设三边分别为A,B,C，如能构成三角形的三边，须：
- A>O,B>0，C>0，且A+B>C,B+C>A,A+C>B;
- 如是等腰三角形，则要判断A=B||A=C;
- 如是等边三角形，须判断是否A=B，且B=C，且A=C；
由此可得三角形等价类设计表：
设计测试用例，输入顺序为A,B,C
2. 边界值分析法
边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。
在测试过程中，边界值分析法是通过选择等价类边界的测试用例进行测试，边界值分析法与等价类划分法的区别是边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。另外，边界值分析不仅考虑输入条件边界，还要考虑输出域边界产生的测试情况。
使用边界值分析方法设计测试用例，首先应确定边界情况。
通常输入等价类与输出等价类的边界，就是应着重测试的边界情况。应当选取正好等于，刚刚大于，或刚刚小于边界的值作为测试数据，而不是选取等价类中的典型值或任意值作为测试数据。
选择测试用例的原则如下。
-
① 如果输入条件规定了值的范围，则应该取刚达到这个范围的边界值，以及刚刚超过这个范围边界的值作为测试输入数据。
-
② 如果输入条件规定了值的个数，则用最大个数、最小个数、比最大个数多1个、比最小个数少1 个的数作为测试数据。
-
③ 根据规格说明的每一个输入条件，使用前面两条规则 。
-
④ 根据规格说明的每一个输出条件，使用前面两条规则 。
-
⑤ 如果程序的规格说明给出的输入域或输出域是有序集合（如有序表、顺序文件等），则应选取集合的第一个和最后一个元素作为测试用例。
-
⑥ 如果程序用了一个内部结构，应该选取这个内部数据结构的边界值作为测试用例。
-
⑦ 分析规格说明，找出其他可能的边界条件
例：找零钱最佳组合（边界值分析法）
假设自动售货机货品价格®皆不大于100元（且为整数），若顾客付款在100元内 ( P )，求找给顾客最少货币个（张）数？（ 货币面值50元 (N50)，10元 (N10)，5元 (N5)，1元 (N1) 四种 ）；
1：分析输入的情形
R：商店货品价格（R=<100且R为整数） P：顾客付款金额（0
2：分析输出情形
设PR=P-R（即PR为找给顾客的余额）
3：由上述输入／输出条件组合出可能的情形
4、 为满足以上之各种情形，测试资料设计如下：
① 货品价格 = 101
② 货品价格 = 0
③ 货品价格 = -1
④ 货品价格 = 100, 付款金额 = 101
⑤ 货品价格 = 100, 付款金额 = 99
⑥ 货品价格 = 50, 付款金额 = 100
⑦ 货品价格 = 51, 付款金额 = 100
⑧ 货品价格 = 90, 付款金额 = 100
⑨ 货品价格 = 91, 付款金额 = 100
⑩ 货品价格 = 95, 付款金额 = 100
⑪ 货品价格 = 96, 付款金额 = 100
⑫ 货品价格 = 99, 付款金额 = 100
⑬ 货品价格 = 100, 付款金额 = 100
3. 错误推测法
基于经验和直觉推测程序中所有可能存在的各种错误，从而有针对性的设计测试用例的方法，这就是错误推测法。 （输入因子有关系）
错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。
4. 因果图法
因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。
利用因果图生成测试用例的基本步骤如下。
-
① 分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入条件或输入条件的等价类，结果是输出条件。
-
② 分析软件规格说明描述中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系，画出因果图。
-
③ 标明约束条件。 由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干标准的符号标明约束条件。
-
④ 把因果图转换成 判定表。
-
⑤ 为判定表中的每一列设计测试用例。
通常在因果图中，用Ci表示原因，Ei表示结果，其基本符号如下图所示。
例： 某需求规格说明书包含这样的要求：第1列字符必须是A或B，第2列字符必须是1个数字，在此情况下对文件进行修改，但如果第1列字符不正确，则给出错误信息L；如果第2列字符不是数字，则给出错误信息M。
例：NextDate问题设计（决策表法实例分析）判断表
NextDate (int month, int day, int year)函数规定：输入三个整数：month、day和year，函数的输出为输入日期后一天的日期。例如，输入为2006年3月7日，则函数的输出为2006年3月8日，year满足1920≤year≤2050。
步骤如下：
（1）构造决策表
●
M1={月份:30天/月}，
M2={月份: 31天/月,12月除外}，
M3={月份: 12月}，M4={月份: 2月}
●
D1={日期:1<=日<=27}，
D2={日期:日=28}，
D3={日期:日=29} ，
D4={日期:日=30}，
D5={日期:日=31}
●
Y1={年:闰年}，Y2={年:平年}
注：二月：平年28天，闰年29天
条件桩：
- C1:月份在{M1,M2,M3,M4}中之一
- C2:日期在{D1,D2,D3,D4 ,D5}中之一
- C3:年在{Y1,Y2}中之一
动作桩：
- A1:不可能
- A2:日期增1
- A3:日期复位(置1)
- A4:月份增1
- A5:月份复位(置1)
- A6:年增1
（2）由决策表设计测试用例，得测试用例表
例：工资发放问题（因果图）
某厂工资发放，分析测试需求，列出输入和输出条件，情况描述如下：
- 工资分年薪制a1，月薪制a2；
- 错误程度分普通a3,严重a4；
- 工资为a1的员工范普通错误时扣工资1%（b1），犯严重错误时扣工资2%（b2）;
- 工资为a2的员工范普通错误时扣工资2%（b3），犯严重错误时扣工资4%（b4）;
其中a1与a2互斥，b1,b2与b3,b4互斥；a3和a4可同时兼备。
分析：（因果图）— 转化成 — （判定表）— 转换成 —（测试用例表）
判定表：
可得测试用例表如下：
5. 场景法
现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。
6. 功能图法
功能图法是用功能图形象地表示程序的功能说明，并机械地生成功能图的测试用例，功能图方法是一种黑盒白盒混合用例设计方法。
程序功能说明包括动态说明和静态说明。
动态说明：描述输入数据的次序或转移次序。
静态说明：描述输入条件和输出条件之间的对应关系。
功能图：功能图模型由状态迁移图和逻辑功能模型构成。
状态迁移图：用于表示输入数据序列以及相应的输出数据；由输入数据和当前状态决定输出数据和后续状态。
逻辑功能模型：用于表示在状态中输入条件和输出条件的对应关系。由输入数据决定输出数据。此模型只适用于描述静态说明。
7. 状态机
许多需求用状态机的方式来描述，状态机的测试主要关注在测试状态转移的正确性上面。
对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态。可能不可能产生非法的状态转移等。对于被测系统，若我们可以抽象出它的若干个状态，以及这些状态之间的切换条件和切换路径，那么就可以从状态迁移路径覆盖的角度来设计用例对该系统进行测试。状态迁移法的目标是设计足够的用例达到对系统状态的覆盖、状态-条件组合的覆盖以及状态迁移路径的覆盖。
状态迁移法的思想是提供将多个状态的转换串联起来进行测试的思路。该方法适合测试各种状态的转换，而且这些状态转换的测试在实践中是易遗漏的。例如像手机、MP3等，都可以使用状态迁移法对使用状态的迁移（即用户使用场景的转换）进行测试。
状态迁移法的使用：
步骤一：根据需求提取全部状态；
步骤二：绘制状态迁移图；
步骤三：根据状态迁移图推导测试路径（状态迁移树）；
步骤四：选取测试数据，构造测试用例。
例：
一、需求：路人甲打电话预订飞机票，要去某地。
二、分析：
1、测试需求分析：
a).客户向航空公司打电话预订机票。此时，机票信息处于“完成预订”状态；
b).顾客支付了机票款项后，机票信息变为“已支付”状态；
c).客户当天到达机场并使用身份证换领登机牌后，机票信息变为“已出票”状态；
d).检票登机后，机票信息变为“已使用”状态；
e).在登机前，可以取消自己的订票信息，若已支付机票费用，则可以退回票款。
取消后，订票信息处于“已取消”状态；
由以上分析得出客户预订机票时订单的全部状态： 完成预定、已支付、已出票、已使用、已取消；
2、测试设计方法分析（状态迁移法）：
(a).状态迁移图：
(b).测试路径（状态迁移树）：
由状态迁移图得出的测试路径：
(1).A->B->E；
(2).A->B->C->E；
(3).A->B->C->D。
状态迁移法实际测试了被测系统各种状态的转换，这些状态转换的测试在实际工作中是容易遗漏的，只要能够将这些状态的转换测试到，是否采用状态迁移法并不重要，因为状态迁移法只是提供了一种将多个状态的转换串联起来进行测试的思路（思维模式）。
实际工作中，在业务流程中都涉及到了复杂的业务场景（即业务状态的迁移）。而这些业务场景在需求规格中往往不能够完全阐述清楚，容易出现遗漏。所以当被测系统的业务场景复杂时，在工程中应用这种针对状态迁移测试的思路完成对复杂业务场景的测试有时是很有必要的。
Ⅱ . 非功能测试
1. 强度测试
强度测试是验证软件的性能在各种极端的周边环境和系统条件下是否能正常工作，也就是验证软件的性能在各种极端的周边环境和系统条件下的承受能力。
这里所谓“强度”包括了两项：一项是超载运行测试，另一项是容量测试。
超（满）载运行测试：是对软件在单位时间内所能承受的荷载的极限进行验证。
容量测试：是对软件系统处理大量数据的能力进行检验。
2. 性能测试
性能测试通常是验证软件的性能在正常环境和系统条件下重复使用时是否还能满足性能指标，软件的性能测试是系统测试中难度较大的测试。
软件系统的性能测试包括：系统反应时间、用户反应时间、软件界面反应时间、中央处理器的利用率、检查系统记忆容量在运行程序时有没有流失现象（或称内存泄露，）等。
3. 安全测试
软件安全测试是为了检验软件对数据的保密及对数据完整性的测试。可以说，任何的软件都只是在一定程度上安全而没有绝对安全的软件。一般情况下，软件的安全检验是由专门人员完成的，测试工程师只能从功能检测的角度去配合。
4. 安装与卸装测试
安装测试：在安装过程中，注意测试软件给用户的提示是否清楚明了、安装的操作是否容易、安装过程是否太冗长、各系统设置是否正确、安装完成后软件是否能正常运作、安装过程有没有干扰计算机中其他的程序等。
卸装测试：卸装测试要考虑卸装过程中，系统的提示是否清楚明了、操作是否简单、卸装是否彻底、系统设置是否回复到安装前状态等。软件卸装通常遇到的问题是卸装不彻底，比如安装时设立的文件夹没有清除、 里面的设置是否清理干净等。
5. 配置测试
配置测试主要注意三个方面：
一是软件安装与卸装过程中系统配置的变化；
二是软件完成安装后，人为改变配置；
三是硬件的不同组合是否与软件兼容。
6. 兼容性测试
兼容性测试是针对测试中软件与其他软件之间，以及被测试的软件与不同硬件之间的兼容性进行的测试。兼容测试应包括以下这些：
1. 操作系统兼容
2. 硬件兼容
3. 软件兼容
4. 数据库兼容
5. 数据兼容
7. 故障修复测试
故障修复测试是为了保证软件无论在遇到特殊事故或任何出错的情况下，一旦故障排除，即能迅速恢复到事故或出错前的状况，继续正常运行。
测试人员可用各种方法使软件出错，观察软件的反应，然后排错，看看软件是否会恢复到原来的状态并正常工作。这一测试技术广泛应用于文件传输软件、数据库的相关软件的测试中。
8. 使用性能测试
使用性能测试从用户的角度去审视及改进软件，从而保证了软件的使用性能。
使用性能测试一般是由用户实现的，通常情况下，由于用户接触该软件的时间不长，因而需要在测试人员或技术人员的协助下进行。
很多时候，该类测试是通过Alpha及Beta 测试来实现的。
9. 帮助菜单及用户说明测试
软件的帮助菜单系统及用户说明书等是最容易被测试部门忽略的。大家都集中精力测试软件的各部分功能，但是不要忘记，帮助菜单系统及用户说明书也会有许多错误出现，对这部分的测试应该一并列入测试工作中。
测试帮助菜单及用户说明书，很重要的是对其使用性能进行测试，也就是从用户的角度来检验使用的方便程度及其可靠性、准确性。
Ⅲ . 黑盒测试策略
在实际测试中，往往是综合使用各种方法才能有效提高地提高测试效率和测试覆盖率，这就需要认真掌握这些方法的原理，积累更多的测试经验，以有效地提高测试水平。
以下是功能测试部分的各种黑盒测试方法的综合选择的策略。
-
① 首先进行等价类划分，包括输入条件和输出条件的等价划分，将无限测试变成有限测试，这是减少工作量和提高测试效率最有效的方法。
-
② 在任何情况下都必须使用边界值分析方法。经验表明，用这种方法设计出的测试用例发现程序错误的能力最强。
-
③ 可以用错误推测法追加一些测试用例，这需要依靠测试工程师的智慧和经验。
-
④ 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。如果没有达到要求的覆盖标准，应当再补充足够的测试用例。
-
⑤ 如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法等方法。
-
⑥ 功能图法也是很好的测试用例设计方法，我们可以通过不同时期条件的有效性设计不同的测试数据。
-
⑦ 对于业务流清晰的系统，可以利用场景法贯穿整个测试案例过程，在案例中综合使用各种测试方法。