软件验证与确认(精).pptVIP

内容提要 基本概念 Fagan Inspection 软件测试 基本概念 软件测试的分类 软件测试用例设计 测试自动化 总结 透视软件质量问题 软件缺陷开销 验证与确认（VV） 验证（Verification） Are we building the product right? Software conforms to its specification 保证：软件软件正确实现特定功能（软件～SPEC） 确认（Validation） Are we building the right product? Software meets the users’ needs 保证：软件的实现满足用户需求（需求～SPEC） Static vs. Dynamic VV 审查（Inspection） Analyze and check system representation such as requirements documents, design diagrams and the program source code. All the stages of software life cycle 测试（Testing） Execution with test data and examining operational behaviour 内容提要 基本概念 Fagan Inspection 软件测试 基本概念 软件测试的分类 软件测试用例设计 测试自动化 总结 软件审查 非正式的文档/代码走查（Walkthrough） 作者和评估者，二人讨论 正式的软件审查 Fagan [76], Gilb [94] 审查前活动?审查会议?审查后活动 审查角色： 作者、审查员、测试员 Fagan审查 IBM, Michael Fagan, 1976 IBM Huston，航天飞机软件，200万行代码，审查发现85%的错误，测试发现另15% IBM North Harbor，审查发现93%的缺陷，生产力提高9% Fagan审查—主要角色 主审员 规划审查，主持会议，遵循Fagan方针，解决冲突，记录缺陷，确保后继活动实施 讲解员 讲解交付品，参与评审 产品设计者 准备数据和材料，修正缺陷 测试员 分析测试需求 Fagan审查—主要方针 Fagan审查—主要步骤 计划：时间、地点、人员、材料 概述：背景材料 准备：交付品和其它相关文档 审查：缺陷识别，建立缺陷数据库以便进行度量和历史分析 分析/过程改进：确定过程中存在的问题 修改：缺陷修改 后继活动：确保缺陷修正，问题得到解决 Fagan审查—进入/退出标准 Fagan审查—进入/退出标准 Fagan审查—进入/退出标准 Fagan审查—问题严重性 Fagan审查—缺陷分类 逻辑 设计 需求 可维护性 接口 数据用量 性能 标准 代码注释 内容提要 基本概念 Fagan Inspection 软件测试 基本概念 软件测试的分类 软件测试用例设计 测试自动化 总结 基本概念--自测题目 假设一程序实现以下功能： 读入3个数据，分别代表三角形的三条边，判断并输出三角形的形状，即：不等边三角形，等边三角形，等腰三角形。 请列出可以用来测试该程序的测试用例。 自测参考测试用例 正确的不等边三角形 正确的等边三角形 正确的等腰三角形 不正确的三角形，两边长度之和等于第三边 不正确的三角形，两边长度之和小于第三边 不正确的三角形，至少有一边长度小于或等于0 输入数据少于或多于3个 输入非数据字符 基本概念--测试的目的 G. Myers Testing is the process of executing a program with the intent of finding an error.(测试是程序执行的过程，目的在于发现错误) A good test case is one that has a high probability of finding an as-yet undiscovered error. (好的测试用例在于能发现至今未发现的错误) A successful test is one that uncovers an as-yet undiscovered error.(成功的测试是发现了至今未发现的错误) 测试的目的（续） 以最少的时间和人力，系统地找出软件中潜在的各种错误和缺陷。 实施测试收集到的测试结果数据为可靠性分析提供依据。 测试不能表明软件中不存在错误，它只能说明软件中存在错误。 基本概念--测试的原则 “尽早地和不断地进行软件测试”，测试贯穿于整个软件生命周期 测试需按计划进行，测试计划需根据需求尽早编写 彻底的、无遗漏的测试是不可能的 应包括“合理的输入