软件测试技术：因果图

软件测试技术-4因果图因果图需求中的每个原因（输入）都会在因果图中表示为条件，它的取值是真或假。

每一个结果（输出）都表示成为动作，它的取值是真或假。因果图因果图是从用自然语言书写的程序规格说明的描述中找到因（输入条件）和果（输出或程序状态的改变），通过因果图转化为判别表。因果图原因可能是程序的输入，结果可能是程序的输出。

通常情况下，图中左边的节点表示原因，右边的节点表示结果。

有可能会有一些中间节点，用AND和OR这些逻辑操作符连接。基本逻辑符合约束符号约束符合-----E“E”(Exclusive)表示约束a和b不能同时为真(0,1)(1,0)(0,0)约束符合-----I“I”(Inclusive(atleastone))表示a，b，c中至少有一个为真（a,b,c不能同时为假）。(1,0,0)(0,1,0)(0,0,1)(1,1,0)(1,0,1)(0,1,1)(1,1,1)约束符合-----O“O”(OneandOnlyOne)表示a，b中只有一个为真。(1,0)(0,1)约束符合-----R“R”(Requires)表示如果a为真，那么b一定为真。换句话说，不可能a为真而b为假。(1,1)(0,1)(0,0)“M”(Mask)表示如果原因a为真，那么结果b为假。原因和结果不能同时为真。(1,0)(0,1)(0,0)约束符合-----M设计测试用例的过程把程序的规格划分解成可以工作的片断识别出需求说明中的原因和结果分析原因和结果之间的逻辑关系，使用因果图表示出来通过约束符合来描述原因和结果之间不可能出现的情况。把因果图转化成有限决条目决策表从决策表中的每一列设计一个测试用例.例:因果图第一个列表必须是A或者B。第二个列表必须是一个数字。文件在这种条件下更新。如果第一个列表不正确，信息“X12”会显示在屏幕上。如果第二个列表不正确，信息“X13”会显示在屏幕上。定义原因和结果原因：１——第一个列表是“Ａ”

２——第一个列表是“Ｂ”

３——第二个列表是一个数字结果：７０——更新７１——显示信息Ｘ１２７２——显示信息Ｘ１３简单因果图题目有约束的因果图题目因果图得到的决策表测试1测试2测试3测试4测试5测试6测试7测试8原因111110000原因211001100原因310101010中间原因11111100结果1nono101000结果2nono000011结果3nono010101练习:因果图

有一个自动售货机软件程序来出售装入的各种饮料，饮料价格1.5元。如果放入了1.5元的硬币，然后按“可乐”，“雪碧”或者“红茶”按钮，那么相应的饮料就会售出。如果投入2元的硬币，那么售出饮料的同时，会找回0.5元

练习:创建一个因果图，并将其转化为决策表。练习:确定原因原因1:投入1.5元硬币原因2:投入2元硬币原因3:按“可乐”按钮原因4:按“雪碧”按钮原因5:按“红茶”按钮练习:确定结果结果1:找回0.5元硬币结果2:售出一瓶可乐结果3:售出一瓶雪碧结果4:售出一瓶红茶练习：因果图EEC2C5C4C3C1M2M1E4E3E2E1∨∧∨∧∧∧练习:决策表T1T2T3T4T5T6T7T8T9T10T11C111110000000C200001111000C310001000100C401000100010C500100010001M111111111000M211101110111E100001110000E210001000000E301000100000E400100010000二义性测试该设计方法用于软件开发的需求阶段，用于确定功能性需求的二义性；二义性测试的意图是明确需求中不清楚的地方；去除这些二义性将提高需求的质量。总结根据需求规格说明书，分析因