软件验证与确认(精)说课材料.ppt

《软件验证与确认(精)说课材料.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件验证与确认(精)透视软件质量问题软件缺陷开销需求定义设计编码测试维护152050100缺陷分布验证与确认（V&V）验证（Verification）Arewebuildingtheproductright?Softwareconformstoitsspecification保证：软件软件正确实现特定功能（软件～SPEC）确认（Validation）Arewebuildingtherightproduct?Softwaremeetstheusers’needs保证：软件的实现满足用户需求（需求～SPEC）Staticvs.DynamicV&V审

2、查（Inspection）Analyzeandchecksystemrepresentationsuchasrequirementsdocuments,designdiagramsandtheprogramsourcecode.Allthestagesofsoftwarelifecycle测试（Testing）Executionwithtestdataandexaminingoperationalbehaviour内容提要基本概念FaganInspection软件测试基本概念软件测试的分类软件测试用例设计测试自动化总结软件审查非正式的文档/代码

3、走查（Walkthrough）作者和评估者，二人讨论正式的软件审查Fagan[76],Gilb[94]审查前活动审查会议审查后活动审查角色：作者、审查员、测试员Fagan审查IBM,MichaelFagan,1976IBMHuston，航天飞机软件，200万行代码，审查发现85%的错误，测试发现另15%IBMNorthHarbor，审查发现93%的缺陷，生产力提高9%Fagan审查—主要角色主审员规划审查，主持会议，遵循Fagan方针，解决冲突，记录缺陷，确保后继活动实施讲解员讲解交付品，参与评审产品设计者准备数据和材料，修正缺陷测试员分析

4、测试需求Fagan审查—主要方针6/304/10-15测试计划125/500100/300代码6/304/10-15设计6/304/10-15需求审查时间6/304/10-15测试计划125/500100/300代码6/304/10-15设计6/304/10-15需求准备时间最多/每小（页）总计/每小（页）区域活动严格标准/放宽标准Fagan审查—主要步骤计划：时间、地点、人员、材料概述：背景材料准备：交付品和其它相关文档审查：缺陷识别，建立缺陷数据库以便进行度量和历史分析分析/过程改进：确定过程中存在的问题修改：缺陷修改后继活动：确保缺陷修正

5、，问题得到解决Fagan审查—进入/退出标准设计满足需求设计满足设计标准设计缺陷得到纠正需求通过审查并结束设计文档就绪具有足够领域知识的审查者就绪设计需求满足客户需求所有需求缺陷得到纠正具有足够的评审文档专业技能的审查者准备就绪需求文档就绪需求退出标准进入标准审查类型Fagan审查—进入/退出标准代码满足设计和需求代码遵循程序编码标准代码通过完全的编译缺陷排除需求及设计通过审查并结束程序概述就绪具有足够领域知识的审查者就绪代码列表就绪源代码清晰并可编译代码满足程序编码标准代码退出标准进入标准审查类型Fagan审查—进入/退出标准测试计划足以胜任

6、需求的测试测试计划遵循测试标准缺陷排除需求/设计结束概述就绪具有足够领域知识的审查者就绪测试计划退出标准进入标准审查类型Fagan审查—问题严重性待调查的项目，暂时不能确认是否为缺陷调查（INV）根据主要缺陷分析得到的过程改进建议过程改进（PI）产品中的非主要问题次要问题（m）产品中的一种缺陷，如果缺陷没有被发现，将会导致客户抱怨主要问题（M）定义问题严重性Fagan审查—缺陷分类逻辑设计需求可维护性接口数据用量性能标准代码注释系统接口可移植性可靠性可维护性错误处理其他产品目标文件硬件接口竞争分析功能软件接口性能拼写可用性内容提要基本概念Fag

7、anInspection软件测试基本概念软件测试的分类软件测试用例设计测试自动化总结基本概念--自测题目假设一程序实现以下功能：读入3个数据，分别代表三角形的三条边，判断并输出三角形的形状，即：不等边三角形，等边三角形，等腰三角形。请列出可以用来测试该程序的测试用例。自测参考测试用例正确的不等边三角形正确的等边三角形正确的等腰三角形不正确的三角形，两边长度之和等于第三边不正确的三角形，两边长度之和小于第三边不正确的三角形，至少有一边长度小于或等于0输入数据少于或多于3个输入非数据字符基本概念--测试的目的G.MyersTestingisthep

8、rocessofexecutingaprogramwiththeintentoffindinganerror.(测试是程序执行的过程，目的在于发现错误