软件工程期末复习13-软件测试方法与过程

1. 软件测试方法

按照执行测试时是否需要运行程序，软件测试可以划分为静态测试和动态测试。
审查和走查是静态测试的常用形式。
动态测试中有两种非常流行的测试技术，即黑盒测试和白盒测试。

2. 黑盒测试

黑盒测试包括等价类划分法、边界值分析法、错误推测法、因果图法等。
白盒测试包括逻辑覆盖测试方法和基本路径测试等方法。
2.1　等价类划分法
等价类划分是把程序的输入域划分为若干子集，然后从每个子集中选取少数具有代表性的数据用作测试用例，所选取的输入数据对于揭露程序中的错误都是等效的。
等价类分为有效等价类和无效等价类。
有效等价类是指对程序的规格说明是有意义的、合理的输入数据所构成的集合。
无效等价类是指对程序的规格说明是无意义的、不合理的输入数据构成的集合。
2.2 边界值分析法
边界值分析法是一种补充等价类划分法的黑盒测试方法，它不是选择等价类中的任意元素，而是选择等价类边界的测试用例。
2.3 错误推测法
基本想法是列举出程序中可能有的错误和容易发生错误的特殊情况，并且根据它们选择测试方案。
2.4 因果图法
因果图法是一种黑盒测试方法，它从自然语言书写的程序规格说明书中寻找因果关系，即输入条件与输出和程序状态的改变，通过因果图产生判定表。
2.5 决策表法
决策表（也称判定表）是分析和表达多逻辑条件下执行不同操作的情况的工具，可以把复杂逻辑关系和多种条件组合的情况表达的比较明确。
在简化并得到最终决策表后，只要选择适当的输入，使决策表每一列的输入条件得到满足