第8章-1检验与有效性验证.pdf

检验和有效性验证 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 1 目标  软件检验和软件有效性验证之间的区别；  在程序中发现缺陷的程序审查方法；  什么是程序的静态分析以及它在检验和有效性验证中 如何使用；  程序开发中的净室（cleanroom ）方法及其有效性的 原因 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 2 内容  检验和有效性验证规划  软件审查  自动静态分析  净室软件开发 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 3 检验vs 有效性验证  检验（Verification ）: “我们是否在正确地构造一个产品”.  软件应该符合设计规格。  有效性验证（Validation ）: 我们是否在构造一个正确的产品”.  软件应该满足用户所需要的。 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 4 V V 过程  是否为整个生命周期过程- V V 必须应用于 软件周期的各个阶段中.  两个主要目标 • 发现系统中的缺陷; • 评估在操作情况下系统可用性与有用性. 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 5 V V 目标  检验和有效性验证要确立软件系统达到设计目 标的信心.  这并不意味着完全没有缺陷.  相反，它必须足够用于其预定用途和根据所使 用类型确定所需要的信任程度 . 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 6 V V 可信度  依赖于系统目标, 用户期望值和市场环境 • 软件功能 • 系统需要的信任程度取决于该软件在机构中的重要程度. • 用户期望值 • 用户可能对某些软件的期望值很低. • 市场环境 • 让产品早日上市也许比发现产品中的缺陷更重要。 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 7 静态检验和动态检验  软件审查. 对静态系统的表示进行分析来发现 问题 (静态检验) • 如需求文档、设计图表和程序源代码等  软件测试. 对产品的输出和它的操作行为来测 试(动态测试) • 使用测试数据来执行软件，观察它的行为和输出 陈江平 Software Engineering, 9th edition. Chapter 8 Slide 8 静态VV和动态VV 陈江平 Soft