课件05-嵌入式软件测试.pptx

嵌入式软件测试第五部分软件单元与集成测试软件单元与集成测试单元测试集成测试单元与集成测试环境单元测试—重要性基于软件问题报告的分析结果在嵌入式软件开发中，没有特定的缺陷类型占据主导地位需求问题及需求相关问题是主要缺陷原因(36%)归结于缺乏系统化单元测试的问题是第二大原因 (22%)单元测试—对象软件的独立单元例子结构化程序设计语言中的函数或子程序面向对象语言中的类4GL的菜单或画面单元测试—特点实现－串行或并行测试方法－白盒为主单元测试—测试准备要求的文档可提交软件设计规格说明、软件接口设计规格说明源程序符合规范要求并已无错误地通过编译或汇编被测软件单元已纳入配置管理中具备了规定的单元测试环境和测试工具单元测试—通过准则命名符合规则控制流程正确变量使用无差错达到质量度量指标功能与设计说明一致性能达到软件设计指标覆盖测试达到规定的覆盖率对发现的问题已进行修改并通过回归测试单元测试—测试策略测试内容静态测试动态测试原则静态和动态测试互补，不能相互替代建议静态测试在动态测试前完成，实践中，部分动态测试可与静态测试并行单元测试—静态测试全面的静态分析选择性代码检查补充代码走查单元测试—静态测试度量收集并分析每小时审查的代码行数(LOC)每千行代码(KLOC)生成的变更请求数(CR)每小时生成的变更请求数(CR)代码审查过程花费的总时间单元测试—动态测试黑盒测试白盒测试基于数据结构的测试单元测试—动态测试被测单元单元接口局部数据结构边界条件独立执行路径错误处理的路径测试用例单元测试—接口测试调用被测单元时的实际参数与该单元的形式参数的一致性个数、属性、量纲、顺序被测单元调用子模块时，传递的实际参数与子模块的形式参数的一致性个数、属性、量纲、顺序是否修改了只作为输入值的形式参数调用其他模块时，检查其可用性和处理结果单元测试—接口测试被测单元调用内部函数时,使用参数的正确性个数、属性、量纲、顺序被测单元使用全局变量/数据的合理性是否与定义一致在单元有多个入口的情况下，是否引用了与当前入口无关的参数常数是否当作变量来传递单元测试—接口测试文件属性的正确性OPEN/CLOSE语句的正确性文件是否先打开后使用文件结束条件的判断和处理的正确性规定的I/O格式说明与I/O语句是否匹配缓冲区容量与记录长度是否匹配输入/输出错误是否检查并作了处理以及处理的正确性单元测试—接口测试输出时的文本错误内容、格式、长度等使用外部资源时，检查其可用性并及时释放资源内存、文件、硬盘、端口等单元测试—局部数据结构不正确或不一致的数据类型说明错误的变量名或函数名称变量名或函数名拼写错或缩写错误定义的变量从来没有被使用，就很可能使用了错误的变量名使用了外部变量或函数变量没有初始化或未赋值就使用初始值或缺省值错误单元测试—局部数据结构错误的类型转换不一致的数据类型数组越界非法指针下溢、上溢或是地址错误全局数据对软件单元的影响单元测试—边界条件合法数据和非法数据的正确处理边界内点和边界外点的正确处理例如测试处理n维数组的第m个元素测试循环执行到最后一次循环体测试取最大值或最小值测试数据流、控制流中刚好等于、大于或小于确定的比较值单元测试—独立执行路径独立路径是指在程序中至少引进一个新的处理语句集合或一个新条件的任一路径。在程序的控制流图中，一条独立路径是至少包含有一条在其他路径中从未有过的边的路径通过对控制流圈复杂性的分析，可导出基本的、可执行的独立路径集合单元测试—独立执行路径不可达或冗余代码错误的算法混合型计算的优先级错误精度错误比较运算错误赋值错误表达式的不正确符号表示、=；=、==、!=循环错误单元测试—错误处理路径错误自动检测机制资源使用前后其他模块使用前后错误处理策略抛出错误通知用户进行记录错误处理的有效性在系统干预前处理报告和记录的错误真实详细单元测试—动态测试步骤步骤1－冒烟测试步骤2－肯定测试(Positive testing)步骤3－否定测试(Negative testing)步骤4－专用测试步骤5－覆盖测试(Coverage testing)步骤6－覆盖率评估步骤7－覆盖率完善与实现单元测试— ①冒烟测试目标用最简单的方法执行被测单元考核最基本的能力方法基于规格说明的测试等价类划分单元测试— ②肯定测试目标走查相关规格说明每个测试用例测试一或多个设计陈述覆盖全部设计陈述方法基于规格说明的测试等价类划分因果图状态转换单元测试— ③否定测试目标确认软件没有做规格说明未指定事情方法边界值分析内部边界值测试错误猜测单元测试— ④专用测试目标验证性能需求验证安全性需求验证保密性需求方法基于规格说明的测试单元测试— ⑤覆盖测试目标验证程序控制流的正确性验证程序数据流的正确性方法语句覆盖分支覆盖条件覆盖数据流覆盖单元测试— ⑥覆盖率评估目标测量覆盖率确定覆盖率目标是