检验和有效性验证

用类型确定所需要的信任程度 .
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 5
V & V 可信度
依赖于系统目标, 用户期望值和市场环境
• 软件功能
• 系统需要的信任程度取决于该软件在机构中的重要程度.
• 用户期望值
• 用户可能对某些软件的期望值很低.
有效性测试
• 目的是为了证明软件满足了设计要求 • 一个好的测试是能证明每一个功能都被很好地实施的测试.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 10
测试和调试
缺陷测试和调试是两个不同的过程 检验和有效性验证关心的是确定程序中存在缺
Slide 13
开发过程的V模型
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 14
软件测试计划的结构
测试过程. 需求跟踪. 测试项目. 测试时间安排. 测试记录程序. 硬件和软件需求. 约束.
陈江平
Software Engineering, 8th edition. Chapter 22
两个主要目标
• 发现系统中的缺陷; • 评估在操作情况下系统可用性与有用性.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 4
V& V 目标
检验和有效性验证要确立软件系统达到设计目 标的信心.
这并不意味着完全没有缺陷. 相反，它必须足够用于其预定用途和根据所使
它已被证明是一种发现程序错误的有效技术.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 17
审查成功
单一的审查可能会发现多个缺陷. 在测试中, 软件中的缺陷可能是相互掩盖的，所以，执行 程序是必要的.
加上领域知识和编程经验，开发者更容易看到 一般出现的错误类型.
• 市场环境
• 让产品早日上市也许比发现产品中的缺陷更重要。
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 6
静态检验和动态检验
软件审查. 对静态系统的表示进行分析来发现 问题 (静态检验)
• 如需求文档、设计图表和程序源代码等
软件测试. 对产品的输出和它的操作行为来测 试 (动态测试)
Slide 1
内容
检验和有效性验证规划 软件审查 自动静态分析 净室软件开发
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 2
检验 vs 有效性验证
检验（Verification）: “我们是否在正确地构造一个产品”.
可以揭示错误的地方. 通过执行软件来观察它的行为，这是非功能性
需求唯一的有效性验证手段. 应与静态检验联合使用来保证V&V过程.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 9
测试类型
缺陷测试
• 所设计的测试用于发现系统中的缺陷 • 一个成功的测试能揭示系统缺陷的出现 • 包含在第23章中
陷. 调试关心的是错误出现的地方和如何改正这些
错误. 调试包括对程序的行为提出假设，并通过验证
这些假设来发现系统的错误.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 11
调试过程
陈江平
Software Engineering, 8th edition. Chapter 22
陈江平
Software Engineering, 8th edition. Chapter 22
SlidBaidu Nhomakorabea 18
审查和测试
审查和测试时互补的，而不是相互对立的检验 手段.
在V & V过程中两者都需要用到. 审查可以检验规范定义的一致性，但是不能检
验用户真实需求的一致性. 审查不能检验非功能特征，如性能，可用性等.
Slide 12
V & V 规划
仔细规划能从程序检查和测试中得到更多的回 报.
规划应该从开发过程早期就开始着手. 规划应该考虑静态检验和测试之间的平衡. 对测试规划主要是制定测试过程标准，而不是
描述产品测试.
陈江平
Software Engineering, 8th edition. Chapter 22
软件应该符合设计规格。 有效性验证（Validation）:
"我们是否在构造一个正确的产品”. 软件应该满足用户所需要的。
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 3
V & V 过程
是否为整个生命周期过程 - V & V 必须应用于 软件周期的各个阶段中.
• 使用测试数据来执行软件，观察它的行为和输出
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 7
静态V&V和动态V&V
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 8
程序测试
目标
软件检验和软件有效性验证之间的区别； 在程序中发现缺陷的程序审查方法； 什么是程序的静态分析以及它在检验和有效性验证中
如何使用； 程序开发中的净室（cleanroom）方法及其有效性的
原因
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 15
软件测试计划
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 16
软件审查
包括对软件系统（一般是源代码）进行复查来 发现异常和缺陷.
审查可以在系统执行前进行，因为它不需要执 行系统.
它们可以应用于任何的系统表示中 (需求, 设 计,配置数据, 测试数据, 等等.).