问题 1 答案解析:(1)分析程序规格说明的描述中哪些是原因哪些是结果。原因常常是输入条件或是输入条件的等价类而结果是输出条件。
(2)分析程序规格说明的描述中语义的内容并将其表示成连接各个原因与各个结果的“因果图”。
(3)标明约束条件。由于语法或环境的限制有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况在因果图上使用若干个标准的符号标明约束条件。
(4)把因果图转换成判定表为判定表中每一列表示的情况设计测试用例。
(1)分析程序规格说明的描述中,哪些是原因,哪些是结果。原因常常是输入条件或是输入条件的等价类,而结果是输出条件。
(2)分析程序规格说明的描述中语义的内容,并将其表示成连接各个原因与各个结果的“因果图”。
(3)标明约束条件。由于语法或环境的限制,有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况,在因果图上使用若干个标准的符号标明约束条件。
(4)把因果图转换成判定表,为判定表中每一列表示的情况设计测试用例。 解析:考查利用因果图法导出测试用例需要经过的步骤。
因果图方法的思路是:从用自然语言书写的程序规格说明的描述中找出因(输入条件)和果(输出或程序状态的改变),通过因果图转换为判定表。利用因果图法导出测试用例需要经过的步骤,如正确答案所列。
问题 2 答案解析:
解析:考查利用因果图法确定输入条件和输出结果的方法。
依据测试人员对ERP业务的理解,可知:
正确的输入条件中不包括可用库存不满足生产需求(无可用库存)。
正确的输出结果中不包括可以进行MPS运算和可以进行MRP运算。
问题 3 答案解析:
解析:考查如何生成因果图法的方法。
正确生成因果图,第一需要测试人员掌握测试业务的逻辑关系,第二需要测试人员掌握因果图的绘制方法。因果图中的基本图形符号和约束符号说明如下。
.因果图的基本图形符号说明如下。
■ 恒等:若原因出现,则结果出现;若原因不出现,则结果也不出现。
■ 非(~):若原因出现,则结果不出现;若原因不出现,结果反而出现。
■ 或(∨):若几个原因中有一个出现,则结果出现;若几个原因都不出现,则结果不出现。
■ 与(∧):若几个原因都出现,结果才出现。若其中有一个原因不出现,则结果不出现。
.因果图的约束符号说明如下。
■ E(互斥):表示a、b两个原因不会同时成立,两个中至多有一个成立。
■ I(包含):表示a、b、c这三个原因中至少有一个必须成立。
■ O(唯一):表示a和b当中必须有一个,且仅有一个成立。
■ R(要求):表示当a出现时,b必须也出现;a出现时不可能b不出现。
■ M(屏蔽):表示当a是1时,b必须是0;而当a为0时,b的值不定。