【答案解析】(1)分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或是输入条件的等价类，而结果是输出条件。 (2)分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”。 (3)标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干个标准的符号标明约束条件。 (4)把因果图转换成判定表，为判定表中每一列表示的情况设计测试用例。 [试题三分析] 本题考查黑盒测试用例的设计方法——因果图法。 [问题1] 考查利用因果图法导出测试用例需要经过的步骤。 因果图方法的思路是：从用自然语言书写的程序规格说明的描述中找出因(输入条件)和果(输出或程序状态的改变)，通过因果图转换为判定表。利用因果图法导出测试用例需要经过的步骤，如正确答案所列。

【答案解析】

输入条件	输出结果
b、c、d、e、h	a、i、j、k

[分析] 考查利用因果图法确定输入条件和输出结果的方法。
依据测试人员对ERP业务的理解，可知：
正确的输入条件中不包括可用库存不满足生产需求(无可用库存)。
正确的输出结果中不包括可以进行MPS运算和可以进行MRP运算。

【答案解析】 [分析] 考查如何生成因果图法的方法。 正确生成因果图，第一需要测试人员掌握测试业务的逻辑关系，第二需要测试人员掌握因果图的绘制方法。因果图中的基本图形符号和约束符号说明如下。 ·因果图的基本图形符号说明如下。 ■ 恒等：若原因出现，则结果出现；若原因不出现，则结果也不出现。 ■ 非(～)：若原因出现，则结果不出现；若原因不出现，结果反而出现。 ■ 或(∨)：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。 ■ 与(∧)：若几个原因都出现，结果才出现。若其中有一个原因不出现，则结果不出现。 ·因果图的约束符号说明如下。 ■ E(互斥)：表示a、b两个原因不会同时成立，两个中至多有一个成立。 ■ I(包含)：表示a、b、c这三个原因中至少有一个必须成立。 ■ O(唯一)：表示a和b当中必须有一个，且仅有一个成立。 ■ R(要求)：表示当a出现时，b必须也出现；a出现时不可能b不出现。 ■ M(屏蔽)：表示当a是1时，b必须是0；而当a为0时，b的值不定。