第二十二章 检验及有效性验证.pdfVIP

软件工程—— 第二十二章检验与有效性验证 2012/3/17 软件工程导论 1 目标 介绍软件检验与有效性验证以及它们之间的区别 程序缺陷审查及其作用 什么是程序的静态分析以及它在检验和有效性验证 中如何使用 程序开发中的净室方法及其有效性的原因 2012/3/17 软件工程导论 2 主要内容 检验和有效性验证规划 软件审查 自动静态分析 净室软件开发方法 2012/3/17 软件工程导论 3 检验和有效性验证 检验: “Are we building the product right （我们 是否在正确地构造一个