逻辑覆盖-南京大学软件学院.pdf

软件测试方法与技术 (04)-逻辑覆盖 陈振宇 南京大学软件学院 /zychen 三种方法 • 条件与判定 Condition and Decision • 子句与谓词 Clause and Predicate • 基于故障的测试 Fault-based Testing 逻辑覆盖测试 • 安全攸关系统通常包含逻辑密集型软件 • US Federal Aviation Administration 规定了 航空控制软件的逻辑测试标准DO-178B • 逻辑表达式来自软件的很多方面 – 程序源代码 – 设计图（FSM, Statechart) – 需求文档 • 逻辑测试尽可能覆盖控制条件的不同逻辑 特性，以确保其高可靠性 3 逻辑控制示例 软件中的逻辑表达式 ((x5) (y0)) Condition Decision 判定覆盖 Decision Coverage • 判定覆盖准则(DC) ：判定的true 和false 至少各执行一次. • ((x5) (y0)): true andfalse // {(6, 1), (1,1)}--DC int foo(int x, int y) { int z = y*2; \\ z=y; if ((x5) (y0)) { z = x; } return x*z; } 条件覆盖 Condition Coverage • 条件覆盖准则(CC) ：每个条件的true和false 至少各被执行一次 • (x5) ：true andfalse • (y0) ：true andfalse // {(6, 0), (0,1)}--CC int foo(int x, int y) { int z = y; if ((x5) (y0)) { z = x; } return x*z; } Subsume 关系 • C1 蕴含C2 (或C2 被C1蕴含), 记为 A ≥ B ：对于任意P: C1(P) ⊆C2(P). • DC ≥ SC • CC not ≥ SC • DC not ≥ CC ，CC not ≥ DC 条件判定覆盖 Condition/Decision Coverage • 条件判定覆盖准则(C/DC): 同时满足DC和 CC. • C/DC(P)=CC(P) ∩ DC(P) • C/DC ≥ CC • C/DC ≥ DC // ?? int foo(int x, int y) { int z = y; if ((x5) (y0)) {