39、软件风险分析
风险分析是对潜在的问题识别和评估的过程，即对测试的对象进行优先级划分；包括两部分：
（1） 发生问题的可能性
（2） 影响严重性
40、测试用例划分-等价类划分
等价类划分为两种情况：有效等价类和无效等价类。
有效等价类：指对于程序的规格说明来说是合理的、有意义的输入数据构成的继承。利用有效等价类用来检验程序是否实现了规格说明中所规定的功能和性能。
无效等价类：与有效类相反。
41、确定等价类的原则：
（１）在输入条件规定了取值范围或值的个数的情况下，可以确立一个有效等价类和两个无效等价类；
（２）在输入条件规定了输入值的集合或规定了“必须如何”的条件的情况下，可以确定一个有效等价类和一个无效等价类。
（３）在输入条件是一个布尔量的情况下，可以确定一个有效等价类和一个无效等价类；
（４）在规定了输入数据的一组值(n个)，并且程序要对每一个输入值分别处理的情况下，可以确定n个有效等价类和一个无效等价类；
(5)在规定了输入数据必须遵守的规则的情况下，可确定一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）
（６）在确知已划分的等价类中，各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步划分为更小的等价类；
42、测试用例划分-边界值分析法
（1）边界条件
（2）次边界条件
43、因果图设计方法
因果图法是从用自软语言书写的程序规格说明书的描述中找出因（输入条件）和果（输出或程序状态的改变），通过因果图转换为判定表。
利用因果图设计测试用例的方法：
(1) 分析程序规格说明的描述，原因常常是输入条件或是输入条件的等价类，而结果是输出条件。
(2) 分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的‘因果图’。
(3) 表明约束条件。在因果图上使用若干个标准的符号标明约束条件。
(4) 把因果图转换成判定表。
(5) 为判定表中的每一列表示的情况设计测试用例。
44、因果图表示方法
通常在因果图中，用Ci表示愿应，Ei表示结果。各节点表示状态，“1”表示出现，“0”表示不出现；
恒等：若原因出现，则结果出现，若原因不出现，则结果不出现；
非：（~）若原因出现，则结果不出现，若原因不出现，则结果出现；
或(∨)：若几个原因中有1个出现，则结果出现，若几个原因都不出现，则结果不出现；
与(∧):若几个原因都出现，结果才出现，若其中有1个原因不出现，则结果不出现；
原因与原因，结果结果之间的约束条件：
E(互斥)：表示两个原因不会同时成立，两个中最多有一个成立；
I(包含)：表示3个原因中至少有一个必须成立；
O(唯一)：表示两个原因中必须有一个，且仅有一个成立；
R(要求):表示a出现时，b必须也出现，a出现时不可能b不出现；
M(屏蔽):表示当a是1时，b必须是0，而当a为0时，b的值不定；
45、判定表驱动法
判定表由四部分组成：
（1） 条件桩：列出了问题的所有条件。
（2） 动作桩：列出了问题规定可能采取的操作。
（3） 条件项：列出了针对它所有列条件的取值，在所有可能情况下的真假值。
（4） 动作项：列出在条件项的各种取值情况下应该采取的动作。
（5） 规则：任何一个条件组合的特定取值及其相应要执行的操作。
适合使用判定表设计测试用例的条件：
（1） 规格说明以判定表的形式给出，或很容易转换成判定表；
（2） 条件的排列顺序不影响执行哪些操作；
（3） 规则的排列顺序不影响执行那些操作；
（4） 当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则；
（5） 如果某一规则要执行多个操作，这些操作的执行顺序无关紧要。
46、功能图法
一个程序的功能说明通常由动态说明和静态说明组成。动态说明描述了输入数据的次序或转移的次序。静态说明描述了输入条件与输出条件之间的对应关系。
功能图方法是用功能图形象地表示程序的功能说明，并机械地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构型。
47、测试方法选择的综合策略
（1）进行等价类划分，包括输入条件和输出条件的等价划分。
（2）在任何情况下都必须使用边界值分析方法。
（3）可以用错误推断法追加一些测试用例，这需要靠经验和智慧。
（4）对照程序逻辑，检查自己设计出的测试用例的逻辑覆盖程度。如果没有达到要求，则补充足够的测试用例。
（5）如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法和判定驱动法。
（6）对于参数配置类的软件，要用正交试验法选择较少的组合方式达到最佳效果。
（7）功能图法也是很好的测试用例设计方法，我们可以通过不同时期条件的有效性设计不同的测试数据。
（8）对于业务流清晰的系统，可以利用场景法贯穿整个测试案例过程，在案例中综合使用各种测试方法。
