07 编码及测试.ppt

复旦大学计算机科学与工程系 软件工程课程 程序设计语言的选择 编码风格 学习目标 了解程序设计语言的选择 理解编码的风格 培养良好的编码习惯 程序设计语言的选择 选择程序设计语言的理想标准 为易测试易维护，所选用的高级语言应该 有理想的模块化机制 以及可读性好的控制结构和数据结构 为便于调试和提高软件可靠性，应该 使编译程序能够尽可能多地发现程序中的错误 为了降低成本，选用的高级语言应该 有良好的独立编译机制 特定开发项目程序设计语言的选择 通常要考虑如下因素： 应用领域--首要的标准 算法和计算复杂性 软件运行环境 用户需求，特别是性能需求 数据结构的复杂性 软件开发人员的知识水平 可用的编译器与交叉编译器 选择高级语言还是低级语言 优先选择高级语言 必要时使用低级语言 对运行时间和存储空间有过高要求的项目，如电子笔记本中的软件 在某些不能提供高级语言编译程序的计算机上开发程序，如单片机上的软件 大型系统中对系统执行时间起关键作用的模块 编码风格 从编码原则的角度提高代码的可读性 编码风格主要包括： 源程序中的内部文档 数据说明 语句构造 输入／输出 源程序内部文档 所谓程序内部的文档包括恰当的标识符、适当的注解和程序的视觉组织等等。 1）对标识符： 选取含义鲜明的名字，以正确地提示程序对象代表的实体。 若使用缩写，缩写规则应该一致，并应给每个名字加注解。 2）对注解： 内容一定要正确 每个模块开始处－序言性注释 程序中间－代码相关解释 用空格或空行区分注解和程序 3）对程序清单的布局： 利用适当的阶梯形式使程序的层次结构清晰明显 数据说明 数据说明的次序应当规范化 说明语句中变量安排有序化 使用注解说明复杂数据结构 语句构造 下述规则有助于使语句简单明了： 不要为了节省空间而把多个语句写在同一行； 尽量避免复杂的条件测试； 尽量减少对“非”条件的测试； 避免大量使用循环嵌套和条件嵌套； 利用括号使逻辑表达式或算术表达式的运算次序清晰直观。 输入和输出 对所有输入数据都进行检验； 检查输入项重要组合的合法性； 保持输入格式简单； 使用数据结束标记，不要要求用户指定数据的数目； 明确提示交互式输入的请求，详细说明可用的选择或边界数值； 当程序设计语言对格式有严格要求时，应保持输入格式一致； 设计良好的输出报表； 给所有输出数据加标志。 软件测试基础 测试策略 面向对象测试 测试用例设计 调试 学习目标 了解OO测试； 理解软件测试的目标、原则， 掌握软件测试的方法、策略、各测试阶段的任务和原理、测试和调试的区别； 掌握黑盒测试和白盒测试的技术和方法。 熟练掌握白盒测试中的逻辑覆盖测试和基本路径测试。 软件测试基础 软件测试的目的 软件测试的原则 软件测试的对象 软件测试的方法 测试信息流 测试完成标准 有关软件测试的错误观点 “软件测试是为了证明程序是正确的，即测试能发现程序中所有的错误”。 “程序测试是证明程序正确地执行了预期的功能”。 软件测试的目的 Glen Myers给出的软件测试目的： 测试是一个为了发现错误而执行程序的过程 一个好的测试用例是指很可能找到迄今为至尚未发现的错误的测试用例 一个成功的测试是指揭示了迄今为至尚未发现的错误的测试 软件测试的原则 Davis提出了一组指导软件测试的基本原则： 1.所有的测试都应可追溯到客户需求 2.应该早在测试开始之前就制定测试计划 3.注意测试中的群集现象：测试中发现的80%的错误可能来自于20%的程序代码 4.测试应由小规模到大规模 5.不可能穷举测试 6.应由独立的第三方来承担测试 软件测试的对象 软件测试不等于程序测试。软件测试应贯穿于软件定义与开发的整个期间。 需求分析、概要设计、详细设计以及程序编码等各阶段所得到的文档，包括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序，都应成为软件测试的对象。 软件测试的方法 测试用例的设计方法： 白盒测试（白箱测试，结构测试） 黑盒测试（黑箱测试，行为测试，功能测试） 白盒测试 把测试对象看作一个透明盒，测试人员根据程序内部的逻辑结构及有关信息设计测试用例，检查程序中所有逻辑路径是否都按预定的要求正确地工作。 主要用于模块测试，包括： 程序模块中的所有独立路径至少执行一次 对所有逻辑判定的取值（“真”与“假”）都至少测试一次 在上下边界及可操作范围内运行所有循环 测试内部数据结构的有效性等 黑盒测试 把测试对象看做一个黑盒子，依据程序的需求规格说明书，检查程序的功能是否符合它的功能需求。 黑盒测试可用于各种测试 试图发现以下类型的错误： 不正确或遗漏的功能 接口错误，如输入/输出参数的个数、类型等 数据结构错误或外部信息(如外部数据库)访问错误 性能错误 初始化和终止错误 测试信息流 测试完成的标