检验与有效性验证.pptVIP

检验和有效性验证 确保一个软件系统满足用户 的需求  目标 软件检验和软件有效性验证之间的区别 在程序中发现缺陷的程序检査过程及其在检验 和有效性验证中的作用 静态分析方法作为一种检验技术 净室软件开发方法  内容 检验和有效性验证规划 软件检査 自动静态分析 净室软件开发方法  检验与有效性验证 检验: 我们是否在正确地建立一个产品 软件应该符合它的描述 有效性验证 “我们是否在建立一个正确的产品 软件应该满足用户真正的需要  检验和有效性验证过程 是个全生命周期的过程一一检验和有效性验证 应该应用到软件过程的每个阶段 有两个主要目的 发现系统中的缺陷 评估系统在实际操作中是否可用