参考答案：

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