软件验证与确认.ppt_第1页
软件验证与确认.ppt_第2页
软件验证与确认.ppt_第3页
软件验证与确认.ppt_第4页
软件验证与确认.ppt_第5页
已阅读5页，还剩71页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、软件验证与确认,内容提要,基本概念 Fagan Inspection 软件测试 基本概念 软件测试的分类 软件测试用例设计 测试自动化 总结,透视软件质量问题,软件缺陷开销,验证与确认（V 或者 a-c-d, a-b-e 问题：无法检查条件错误，x1 误写为x1,条件覆盖,使得程序中每个判断的每个条件的可能取值至少执行一次。 问题：有可能不能覆盖判断的所有分支。,判定-条件覆盖,使得程序中每个判断中 所有条件的所有可能取值至少执行一次 所有可能的判断结果至少执行一次,问题：逻辑表达式错误不一定能检查出来,路径覆盖,使得程序中所有可能的路径都执行至少一次,白盒测试-基本路径测试,将覆盖的路径数压

2、缩到一定限度内， 在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合(基本路径集、基本集) 保证被测程序的每一条可执行语句至少执行一次,程序控制流图,描述程序的控制流 节点：表示一个或多个无分支的语句 有向边：控制流方向 区域：边和接点圈定的区域,复合逻辑的控制流图,程序环路复杂性,McCabe程序复杂性度量 程序控制流图中，有向图G所封闭的环路个数V(G)： V(G) = G中的边数-G中的节点数+2 = G中的判定的节点数+1 = G中的区域数,独立路径,基本路径集合的成员 某一程序的独立路径是从程序入口到出口的多次执行中，每次至少一个语句是新的（包括运算、赋值、

3、输入输出或判断）。 在控制流图中，从入口进入后，至少要经历一个从未走过的弧。 程序中至少引进一个新的处理语句集合或一个条件的任一路径。,基本集,V(G)提供了组成基本集独立路径的上界。 基本集并不唯一。 基本集测试：每一条语句至少执行一次；每一个条件执行时都将分别去T和F。 基本导出：控制流图遍历,生成测试用例,适用于模块的详细设计及源代码 以详细设计或源代码为基础，导出程序的控制流图 计算得到的控制流图的环路复杂性 确定线性无关的基本路径集 生成测试用例，确保基本路径集中每条路径的执行,内容提要,基本概念 Fagan Inspection 软件测试 基本概念 软件测试的分类 软件测试用例设计

4、 测试自动化 总结,测试周期,回归测试,概念:当发现软件存在缺陷后,首先要把错误定位,其次提出修改方案,审定后进行正式修改.然后将原有的测试用例重新测试,并验证测试结果. NOTE: 不能简单地只执行发现缺陷的测试用例,有时在修改程序时,会造成软件其它地方的错误. *: 每次修改后重新执行所有测试用例!,软件测试自动化,优势 重复工作, 回归测试 手工测试难以执行的操作 测试设计/数据复用 提高测试效率 更好利用资源,局限 测试有效性 可维护性 与被测系统的互操作性 测试工具的技术支持,测试工具,静态分析工具 动态分析工具 覆盖工具 测试设计工具 测试执行与结果比较工具 性能模拟工具 测试管理工具,本章回顾,验证与确认 用户需求,规格说明

人人文库> 全部分类> 生活休闲 > 科普知识

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论