检验和有效性验证

陈江平Leabharlann Baidu
Software Engineering, 8th edition. Chapter 22
Slide 16
软件测试计划
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 17
软件审查




包括对软件系统（一般是源代码）进行复查来 发现异常和缺陷. 审查可以在系统执行前进行，因为它不需要执 行系统. 它们可以应用于任何的系统表示中 (需求, 设 计,配置数据, 测试数据, 等等.). 它已被证明是一种发现程序错误的有效技术.
Slide 20
程序审查


文件检查的正确方式 拟明确规定缺陷检测（而不校正）. 缺陷可能是逻辑错误，在代码中可能显示一个 错误的异常状态（如一个未初始化的变量）或 不符合标准.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 21
审查先决条件
• • • 软件功能
• 系统需要的信任程度取决于该软件在机构中的重要程度.
用户期望值
• 用户可能对某些软件的期望值很低.
市场环境
• 让产品早日上市也许比发现产品中的缺陷更重要。
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 7
静态检验和动态检验
Software Engineering, 8th edition. Chapter 22
Slide 10
测试类型

缺陷测试
• • • 所设计的测试用于发现系统中的缺陷 一个成功的测试能揭示系统缺陷的出现 包含在第23章中 目的是为了证明软件满足了设计要求 一个好的测试是能证明每一个功能都被很好地实施的测试.

软件审查. 对静态系统的表示进行分析来发现 问题 (静态检验)
• 如需求文档、设计图表和程序源代码等

软件测试. 对产品的输出和它的操作行为来测 试 (动态测试)
• 使用测试数据来执行软件，观察它的行为和输出
陈江平
Software Engineering, 8th edition. Chapter 22
检验和有效性验证
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 1
目标


软件检验和软件有效性验证之间的区别； 在程序中发现缺陷的程序审查方法； 什么是程序的静态分析以及它在检验和有效性验证中 如何使用； 程序开发中的净室（cleanroom）方法及其有效性的 原因
Slide 19
审查和测试



审查和测试时互补的，而不是相互对立的检验 手段. 在V & V过程中两者都需要用到. 审查可以检验规范定义的一致性，但是不能检 验用户真实需求的一致性. 审查不能检验非功能特征，如性能，可用性等.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 22
审查过程
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 23
审查过程



系统概述提交给审查组. 最新的、语法正确的代码版本发给所有团队成 员. 进行审查并记录错误. 改正已经发现的错误. 视情况决定再审查是否必要.
Control faults
Input/output faults
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 27
程序审查内容2
Interface faults Do all function and method calls have the correct number of parameters? Do fo rmal and actual parameter types match? Are the parameters in the right order? If comp onents access shared memo ry, do they have the same mo del of the shared memo ry structure?
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 24
审查角色
Author or owner The programmer or designer responsible fo r producing the program or document. Responsible for fixing defects discovered during the inspection process. Finds errors, omissions and inconsistencies in programs and documents. May also identify broader issues that are outside the scope of the inspection team. Presents the code or document at an inspection meeting. Records the results of the inspection meeting. Manages the process and facilitates the inspection. Reports process results to the Chief mo derator. Responsible for inspection process imp rovements, checklist updating, standards development etc.
Slide 8
静态V&V和动态V&V
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 9
程序测试


可以揭示错误的地方. 通过执行软件来观察它的行为，这是非功能性 需求唯一的有效性验证手段. 应与静态检验联合使用来保证V&V过程.
陈江平


检验和有效性验证要确立软件系统达到设计目 标的信心. 这并不意味着完全没有缺陷. 相反，它必须足够用于其预定用途和根据所使 用类型确定所需要的信任程度 .
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 6
V & V 可信度

依赖于系统目标, 用户期望值和市场环境
Inspector
Reader Scribe Chairman or mo derator Chief mo derator
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 25
审查清单



应有一份常出的错误清单来引导审查. 错误清单依赖于编程语言并反映语言中可能会 出现的特征错误. 一般来说，较“弱”的类型检查对应了较大的 清单. 例子:初始化，常量命名，循环终止，数组界 限,等.



检验（Verification）: “我们是否在正确地构造一个产品”. 软件应该符合设计规格。 有效性验证（Validation）: "我们是否在构造一个正确的产品”. 软件应该满足用户所需要的。
陈江平
Software Engineering, 8th edition. Chapter 22
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 26
程序审查内容1
Data faults Are all program variables initialised before their values are used? Have all constants been named? Should the upper bound of arrays be equal to the size of the array or Size -1? If character strings are used, is a de limiter explicitly assigned? Is there any possibility of b uffer overflow? For each conditional statement, is the condition correct? Is each loop certain to terminate? Are comp ound statements correctly bracketed? In case statements, are all possible cases accounted for? If a break is required after each case in case statements, has it been included? Are all input variables used? Are all output variables assigned a value before they are output? Can unexpected inputs cause corruption?




必须要有一个精确的可用说明书. 团队成员必须对组织标准非常熟悉. 必须有语法正确的代码或者其他系统表示. 应准备错误清单. 在软件过程的早期，管理人员必须接受审查会 增加成本的事实. 不应该使用审查来考核工作人员，如查找谁犯 了错误等.
陈江平
Software Engineering, 8th edition. Chapter 22

有效性测试
• •
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 11
测试和调试



缺陷测试和调试是两个不同的过程 检验和有效性验证关心的是确定程序中存在缺 陷. 调试关心的是错误出现的地方和如何改正这些 错误. 调试包括对程序的行为提出假设，并通过验证 这些假设来发现系统的错误.
Slide 4
V & V 过程


是否为整个生命周期过程 - V & V 必须应用于 软件周期的各个阶段中. 两个主要目标
• • 发现系统中的缺陷; 评估在操作情况下系统可用性与有用性.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 5
V& V 目标
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 12
调试过程
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 13
V & V 规划


仔细规划能从程序检查和测试中得到更多的回 报. 规划应该从开发过程早期就开始着手. 规划应该考虑静态检验和测试之间的平衡. 对测试规划主要是制定测试过程标准，而不是 描述产品测试.
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 2
内容



检验和有效性验证规划 软件审查 自动静态分析 净室软件开发
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 3
检验 vs 有效性验证
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 18
审查成功


单一的审查可能会发现多个缺陷. 在测试中, 软件中的缺陷可能是相互掩盖的，所以，执行 程序是必要的. 加上领域知识和编程经验，开发者更容易看到 一般出现的错误类型.
陈江平
Software Engineering, 8th edition. Chapter 22
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 14
开发过程的V模型
陈江平
Software Engineering, 8th edition. Chapter 22
Slide 15
软件测试计划的结构



测试过程. 需求跟踪. 测试项目. 测试时间安排. 测试记录程序. 硬件和软件需求. 约束.