测试用例设计(白盒).pptVIP

软件测试和质量保证 测试用例设计 本章要点 以覆盖准则为切入点，讨论基于系统内部实现的测试方法 基本路径测试 覆盖准则 基本控制流的测试 基于数据流的测试 基于程序变异的测试 面向对象的测试 基本路径测试 基本路径 控制流图 基本路径测试 控制流图 控制流图 控制流图 环复杂度 环复杂度 基本路径 基本路径 三角形问题 控制流图 环复杂度 基本路径和测试用例（1） 基本路径和测试用例(2) 基本路径与环复杂度 81-86-87-88-92-99-100-102 81-86-87-88-92-93-95-97-98-102 81-86-87-88-92-93-95-96-102 81-86-87-88-92-93-94-102 81-86-87-89-90-92-93-94-102 如果基本路径必须是可行的，则逻辑关系会压缩基本路径集合数量，因此环复杂度是包含起始点和终止点的基本路径数目的上限 练习 练习 对节点粒度的讨论 对节点粒度的讨论 覆盖准则 测试充分性准则，测试数据完备准则 用以描述被测对象被测试的充分程度 作用 设计测试用例 测试停止的标准，用于衡量测试是否充分 选取测试用例数据的依据，满足相同覆盖准则的测试数据是等价的 与揭错能力之间的关系 包含关系 如果说A标准的充分程度比B标准高，则意味着满足A标准的测试用例集合也满足B标准 原理上，覆盖程度高的覆盖准则，揭错能力强 基于控制流的覆盖准则 被工业界广泛采用 主要用于测试代码中的逻辑表达式 常用的覆盖准则包括 语句覆盖 分支/条件覆盖 分支-条件覆盖 修正的分支/条件覆盖 加强的分支/条件覆盖 多条件覆盖 语句覆盖 语句覆盖 分支覆盖 讨论 条件覆盖 条件覆盖 分支-条件覆盖 分支-条件覆盖 Software Level The required Design Assurance Level (DAL) is determined from the safety assessment process and hazard analysis by examining the effects of a failure condition in the system. The failure conditions are categorized by their effects on the aircraft, crew, and passengers. Catastrophic - Failure may cause a crash. Hazardous - Failure has a large negative impact on safety or performance, or reduces the ability of the crew to operate the plane due to physical distress or a higher workload, or causes serious or fatal injuries among the passengers. Major - Failure is significant, but has a lesser impact than a Hazardous failure (for example, leads to passenger discomfort rather than injuries). Minor - Failure is noticeable, but has a lesser impact than a Major failure (for example, causing passenger inconvenience or a routine flight plan change) No Effect - Failure has no impact on safety, aircraft operation, or crew workload. Some Important Definitions Truth Vector For a Boolean function or expression, a specific condition combination and the function/expression result. For example, for the expression A and (B or C) one truth vector is 4:F-tff, where the condition combination 4:(tff) applied to the expression r