第二十二章 检验与有效性验证.pdf

软件工程—— 第二十二章检验与有效性验证 2012/3/17 软件工程导论 1 目标 介绍软件检验与有效性验证以及它们之间的区别 程序缺陷审查及其作用 什么是程序的静态分析以及它在检验和有效性验证 中如何使用 程序开发中的净室方法及其有效性的原因 2012/3/17 软件工程导论 2 主要内容 检验和有效性验证规划 软件审查 自动静态分析 净室软件开发方法 2012/3/17 软件工程导论 3 检验和有效性验证 检验: “Are we building the product right （我们 是否在正确地构造一个产品）”. 软件应该符合它的需求规格描述. 有效性验证: “Are we building the right product （我们 是否在构造一个正确的产品）”. 软件应该满足客户真正的需求. 2012/3/17 软件工程导论 4 V V 过程 V V 发生在软件过程的每一个阶段，贯穿 整个软件生命周期. 有两个主要的目标 发现系统中的缺陷; 评估操作环境下系统的可用性. 2012/3/17 软件工程导论 5 V V 目标 VV应该建立软件符合其目标的信心. 这并不意味着完全没有缺陷. 系统必须足以承担所要求的任务，所要求的 信心程度依赖于系统的设计目标、系统用户 对它的期望值和系统目前的市场环境. 2012/3/17 软件工程导论 6 V V 信心 依赖于系统的目标，用户期望和市场环境 软件功能 The level of confidence depends on how critical the software is to an organisation. 用户期望值 Users may have low expectations of certain kinds of software. 市场环境 Getting a product to market early may be more important than finding defects in the program. 2012/3/17 软件工程导论 7 静态和动态检验 软件审查. 分析系统的静态表示从而发现问题 (静态检验) May be supplement by tool-based document and code analysis 软件测试. 运行从而观察软件的行为(动态检 验) The system is executed with test data and its