软件质量保证与测试 逻辑覆盖法.pptVIP

逻辑覆盖法 逻辑覆盖法 什么叫覆盖 覆盖的充分性及标准 针对不同标准的逻辑覆盖法 语句覆盖 判定覆盖(分支覆盖) 条件覆盖 判定/条件覆盖 多条件覆盖 增强的判定/条件覆盖 组合覆盖 覆盖 覆盖：对于一个集合S，若存在有限个非空集合S1, S2,… ,Sn,,使得:则称Si是对集合S的一个覆盖。 例：班级有30名同学，现要组织新年晚会，排演多个节目。 覆盖充分性标准 覆盖的完整性 全覆盖 部分覆盖 覆盖的针对性 功能覆盖 结构覆盖 覆盖的充分性度量 覆盖率 功能覆盖 登录 编辑文件 收发通知 打印 退出 结构覆盖 顺序结构 分支结构 if for(例) while do 循环结构 初始化 判定 步进 循环体 逻辑覆盖法 语句覆盖-顺序结构 If语句覆盖-分支结构 判定覆盖(分支覆盖) 条件覆盖 判定/条件覆盖 多条件覆盖 增强的判定/条件覆盖 组合覆盖 语句覆盖 语句覆盖：构造测试用例集，使得每条语句至少执行一次。 若提升“语句”为模块、功能块等，语句覆盖转变为模块覆盖、功能点覆盖等 判定覆盖(分支覆盖) 目的：if等语句的存在，使得程序结构存在分支的情况。经验表明，语句中的逻辑判定是程序逻辑错误的主要来源。 判定覆盖： 构造测试用例集，使得每个if语句的分支部分至少被执行一次 例 if ( a 1 b 5) { cout “ 1 ” e