黑盒测试--因果图

因果图定义

• 因果图是从需求中找出因（输入条件）和果（输出或程序改变的状态），通过因果图转化为判定表。
  • 输入条件之间的关系（组合、约束）
  • 输入与输出的关系
  • 输出条件的关系
• 注意：判定表一般只考虑输入之间的关系。

因果图的基本符号

• 输入和输出的关系
  
  
  
• 输入条件之间的关系（虚线）
  
  
  即：E约束：不同时为1；
  I约束：不同时为0；
  O约束：只有一个为1；
  R约束：a决定b，a是1的时候，b一定是1。
  M约束：结果a是1的时候，结果b强制为0。
• 输出条件之间的关系
  

利用因果图设计测试用例

• 分析程序规格说明的描述中，哪些是原因，哪些是结果。
  • 原因常常是输入条件或是输入条件的等价类
  • 结果是输出条件
• 分析程序规格的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”。
• 由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。
• 把因果图转换为决策表
  • 用0和1标识
  • 中间状态也放在开始里面
• 根据决策表中的每一列设计测试用例。
• 即：找出原因、结果 – 找出关系，画因果图 – 找出约束和限制，加上标记 – 转化为决策表 – 为每一个规则设计测试用例