软件测试技术与实践.ppt

软 件 测 试 技 术介 绍 内 容 1. 软件测试基本概念 1.1 为何软件测试 1.2 什么是软件测试 1.3 软件测试的作用 1.4 软件测试公理 1.1 为何软件测试？ 随着软件功能越来越强、复杂程度越来越高，导致致命故障越来越多。 1.1 为何软件测试？ 软件错误开销： 美国航空公司 储运损耗每分钟损失2万美金； 1989 - 12小时储运损耗 1994 - 5小时储运损耗 飞行系统故障 - $50,000,000损失； Boeing - 每分钟损失5万美金； 美国联邦快递 - 每分钟损失16.7万美金。 历史上： 1973年W.Hetzel指出测试是对程序或系统能否完成特定任务建立信心的过程。 异议：我们不应该只是为了对一个程序建立信心或显示信心而去作测试。 1.3 软件测试的作用 软件测试的重要性 软件设计与编码过程是引入错误的过程，而软件测试是排除软件错误的过程。 测试只能证明错误的存在，而不能表明程序中没有错误。 一个好的测试用例应当是一个对以前未被发现的缺陷有高发现率的用例，而不是一个表明程序工作正确的用例。 不执行程序代码，通过审查文档、代码的方式查找软件中的缺陷。 静态测试方法 技术评审 软件需求分析与设计； 对需求规格文档、设计文档进行非二义性、平衡性、一致性检查。 代码走查（Walkthrough） 设计测试数据人工方式执行代码。 代码审查（Code Inspection） 代码审查（Code Inspection） 静态分析 静态分析是对被测软件进行特性分析的一些方法的总称； 静态分析的查错功能是编译系统所不能替代的； 静态分析方法 改善代码质量 避免编程语言本身在使用过程中容易造成的误用； 提高开发速度： 开发人员不需要总是从一些基本原则出发进行决策； 增进团队精神： 有助于减少团队内部在一些小事情上的不必要的争论，使团队成员更易于阅读和维护其他成员的代码； 在正确的方向上取得一致： 使开发人员放开手脚，在有意义的方向上发挥创造力； C语言本身容易出错的问题 词法”陷阱“ 语法”陷阱“ 语义”陷阱“ 连接 库函数 预处理器 可移植性缺陷 ＝容易和＝＝混淆； 和|容易和和||混淆； 词法分析中的“贪心法” y = x/*p /* p指向除数 */ 会被编译器理解为/*p /* p指向除数 */为注释 字符与字符串 C语言中的单引号和双引号含义不同，易错用带来问题； ‘s’表示一个整数； “s”表示一个字符指针； 运算符的优先级问题； 注意作为语句结束标注的分号 If （a b） big ＝ a； If （a b）; big ＝ a； “悬挂”else的问题； switch语句遗漏break； 指针与数组； 非数组的指针； 作为参数的数组声明； 空指针并非空字符串； 边界计算与不对称边界； 求值顺序； 运算符、||和！ 整数溢出 在循环语句中使用“break”语句。 功能函数无返回值。 MISRA C /MISRA-C：2004 MISRA国际发动机工业软件可靠性协会组织制定了“汽车软件C语言使用指南”的标准。这份标准的产生在自动化行业极大地推动了使用“安全的C”进行编程。这份标准在汽车行业被广泛接受，同时它也被其它行业所广泛借鉴 。 ISO 9126 ISO 国际标准化组织 IEC 61508 IEC 国际电工委员会 DERA C DERA 英国防护评估和研究机构 在语言的底层面上，前面列出的C语言存在的隐患，在C＋＋中基本都存在，所以从这个角度来看，C语言的大多数规则同样适用于C＋＋； C＋＋应用比较广泛的编程规则 Ellemtel Coding Standards C＋＋ Codeing Standards More Effective C++ 编码规则主要是针对语言使用本身的； 编程风格主要是针对代码书写风格的； 对于质量“苛刻性”系统，执行严格的编码规则后，弱化了对于编程风格的要求； 规则约束很全面很严格，很大程度上已经完成了编程风格检测所要达到的效果； 对于非质量“苛刻性”系统，执行宽松的编码规则，编程风格的作用就显得比较重要； 编码规则检查实施 项目之初制定编码规则可提高软件产品质量，做到“有法可依”； 培训软件编程人员理解规则； 加强管理，项目进行过程中需严格按编码规则检查，做到“执法必严”； 有效的编码规则检查工具支持； 控制流分析 使用控制流程图系统检查程序的控制流程结构； 结构化验证； 分析不合理的控制流程结构： 无条件跳转指令（GOTO语句）使用； 不适当的循环嵌套、分支嵌套； 多重入口、出口； 不允许的递归调用等。 数据流分析 在控制流基础上分析数据使用情况； 静态数据