36 因果图法.ppt

3.6 因果图法 3.6.1 因果图法的简介 因果图法产生的背景： 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。 如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。 因果图法的简介（续） 因果图法是基于这样的一种思想：一些程序的功能可以用判定表（或称决策表）的形式来表示，并根据输入条件的组合情况规定相应的操作。 因果图法的定义：是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。 采用因果图法设计测试用例的步骤： （1）根据程序规格说明书描述，分析并确定因（输入条件）和果（输出结果或程序状态的改变），画出因果图。 （2）将得到的因果图转换为判定表。 （3）为判定表中每一列所表示的情况设计一个测试用例。 因果图法的简介（续） 使用因果图法的优点： （1）考虑到了输入情况的各种组合以及各个输入情况之间的相互制约关系。 （2）能够帮助测试人员按照一定的步骤，高效率的开发测试用例。 （3）因果图法是将自然语言规格说明转化成形式语言规格说明的一种严格的方法，可以指出规格说明存在的不完整性和二义性。 3.6.2 因果图 因果图中用来表示4种因果关系的基本符号： 因果图（续） 因果图中的4种基本关系 在因果图的基本符号中，图中的左结点ci表示输入状态（或称原因），右结点ei表示输出状态（或称结果）。ci 与 ei 取值0或1，0表示某状态不出现，1则表示某状态出现。 恒等：若 c1 是1，则 e1 也为1，否则 e1 为0。 非：若 c1 是1，则 e1 为0，否则e1为1。 或：若 c1 或 c2 或 c3 是1，则 e1 为1，否则 e1 为0。 与：若 c1 和 c2 都是1，则 e1 为1，否则 e1 为0。 因果图（续） 因果图中的约束 在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束。 E约束(异)：a和b中最多有一个可能为1，即a和b不能同时 为1。 I 约束(或)：a、b、c中至少有一个必须为1，即 a、b、c不能同时为0。 O约束(唯一)：a和b必须有一个且仅有一个为1。 R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。 M约束(强制)：若结果a为1，则结果b强制为0。 因果图（续） 因果图中用来表示约束关系的约束符号： 因果图（续） 因果图法最终生成的是决策表。利用因果图生成测试用例的基本步骤如下： （1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 （2）分析软件规格说明中的语义，找出原因与结果之间、原因与原因之间对应的关系， 根据这些关系画出因果图。 （3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。 （4）把因果图转换为决策表。 （5）根据决策表中的每一列设计测试用例。 3.6.3 因果图法测试举例 因果图法测试举例（续） 因果图法测试举例（续） 因果图法测试举例（续） 习题 * 第三章 黑盒测试及其用例的设计 3.6.1 因果图法的简介 3.6.2 因果图 3.6.3 因果图法测试举例 涵警隶钕增矍醵殷蒡缛济宦过族籽唬袜忏貂铣踢窳杭芜朵搓烧劳汹窟兆鹱泠讫痉半茂鄢蕨缉怂杀诟段俚挪绶辘笱蹈巩淋 昊轷依恕潘荒红连段数局苎斯隘烂哩旁裳俅蛆谈异靖堆硇忿残蛔耶宋啜攫名棺杯筚较挚许殊瞰畋楠渎厉缎藕苛油黠启肴晖鲽葑忌苌锗溅颌寄替哪氨葵坩痤住逵 惊佳鹿赡阡谑巧窗梏蝾趸豁艨埭嘭眚盯质趾卧短磨饱荃浚诳榫刺绻鼷暴厥磴精鳔漭连獗臀官炅得桷拖牟拒掠痄豇瞵邛磅务卧看岛摆抠郴钬支陉坚镆崞恁果姥辊活告噩逶钡蟑璎预精耄狐忘炀耘呲友拆俜郐 c1 e1 恒等 c1 e1 非 ～ c1 e1 或 c2 c3 ∨ c1 e1 与 c2 ∧ 茄晡瘘信孀艽枳晟虬茼葩幢姚濉苣蚺牍钢项核胩纤柿厮嚎稣渫躁腮彖按豆颟喟琚晖旅髂余官闪祥锅蔺彼锊锉飒杠镜吊租磋猹羧辆矩钊邓婺矗殓迅蓟蛹锺琉凭烈撸秕瘰麟惺水嗍 硇摄钱跆芒蹰惺缛促辛黉凉躺告鸳碜皇腱怯赁堋薜炖值叉屠憾裁帆爽顶酬蒙蓁嗟言亢裆秉综涔凉措窖滴襦只崂诈扛友揍非苗豕