第12章 软件验证和确认.pdf

第12章软件验证和确认 软件危机 软件危机实际上源于软件中的错误 正是这些错误导致了软件开发在成本、进度和 质量上的失控 2 基本术语（补充） 错误 （Error ） 错误是指导致系统可能包含故障的人的行为，如输 入错误、需求错误、设计错误等。 缺陷 （Defect ，Bug ） 缺陷是错误的表现，包括过错缺陷和遗漏缺陷。 故障 （Fault ） 故障是指系统的规格说明与其行为之间的偏差，通 常由一个或多个缺陷引起。 2013-04-02 3 定义软件错误的规则（补充） ① 软件未达到产品说明书标明的功能； ② 软件出现了产品说明书指明不会出现的错误； ③ 软件功能超出了产品说明书指明的范围； ④ 软件未达到产品说明书虽未指出但应达到的目 标； ⑤ 软件测试人员认为软件难以理解、不易使用、运 行速度缓慢、或者最终用户不满意。 2013-04-02 4 为什么要有验证和确认活动？ 尽管软件活动的每个阶段一般均经过严格 的技术审查，以尽可能早地发现并纠正错 误，但经验表明阶段审查并不能发现所有 错误，新的活动还会引入新的错误。 有错是软件的属性，而且是无法改变的。 关键在于如何避免错误的产生和消除已经 产生的错误，使程序中的错误密度达到尽 可能低的程度。 Solution: 进行验证和确认活动 2013-04-02 5 12.1 验证和确认 验证和确认（Verification Validation ，简称 VV ）工作是在整个软件生命周期中对软件的 规范性评估活动，以保证软件开发各个环节的 正确性。 系统开发完毕后再测试的观念是错误的。 如果早期开发中出现的错误不能及时发现和解决， 将带到设计、编码、测试等各阶段，影响会逐步扩 大。 6 验证与确认的活动模型（补充） 2013-04-02 7 12.1 验证和确认 验证和确认是两个相互独立但却相辅相成的活 动，二者很容易混淆 验证 （Verification ） Are we building the product right“ （我们是否在正确地制造产 品？） 软件验证试图证明在软件生存周期的各个阶段，软件产品或 中间产品是否能够满足客户需求，包括逻辑协调性、完备性 和正确性。 确认 （Validation ） Are we building the right product“ （我们是否在制造正确的产 品？） 软件确认是一系列的活动和过程，其目的是保证软件产品能 够符合其描述的要求。 2013-04-02 8 12.1 验证和确认 确认 （Validation ）：包括需求规格说明的确 认和程序的确认 程序的确认又分为静态的确认和动态的确认。 静态的确认一般不在计