《第8-11章编码、测试、复用与维护.pptVIP

第八章 编码和语言选择 编码的目的 编码的风格 编码使用的语言 编码的目的 　　　 编码 模块的过程性描述一一一源程序 　（不可执行的）　　　（可执行的） 编码的过程 熟悉所选语言的功能和程序开发环境 仔细阅读设计文档详细设计 弄清要编码的模块的外部接口与内部过程 编码的风格 追求“聪明”和“技巧”---〉提倡“简明”和“直接” 使用标准的控制结构 清晰的前提下求取效率 . Make it right before you make it faster. . Make it clear before you make it faster. . Keep it right when you make it faster. 　　　　（求快不忘保持程序正确） . Keep it simple to make it faster. 　　　　（保持程序简单以求快） . don’t sacrifice clarity for “efficiency”. 　　　　（书写清楚，不要为“效率”牺牲清楚） 源程序的文档化 （code documentation） 有意义的变量名称 适当的注释 标准的书写格式 ——用分层缩进的写法显示嵌套结构的层次； ——在注释段的周围加上边框； ——在注释段与程序段、以及不同程序段之间插入空行； ——每行只写一条语句； ——书写表达式时，适当使用空格或圆括号等作隔离符； 程序设计语言的发展 语言的选择 选择编码语言的标准 应用领域 算法与计算复杂性 数据结构的复杂性 效率的考虑 适用各类应用领域的语言 第九章 软件测试 测试的基本概念 黑盒测试 白盒测试 测试用例设计 多模块程序的测试策略 面向对象系统的测试 测试的基本概念 测试（testing）的目的与任务 目的：发现程序的错误 任务：通过执行程序，暴露潜在的错误 纠错（debugging）的目的与任务 目的：定位和纠正错误 任务：消除软件故障，保证程序的可靠运行 测试的特性 挑剔性 抱着为证明程序有错的目的去测试 复杂性 设计合适的测试用例 不彻底性 Dijkstra 一句名言：“程序测试只能证明错误的存在，但不能证明错误不存在” 经济性 测试的种类 静态分析（不执行程序） 静态分析器 代码复审（Code Review） 动态分析（执行程序） 黑盒测试 测试程序功能 白盒测试 测试程序结构 测试的文档 测试计划 测试项目的名称 各项测试的目的、步骤和进度 测试用例的设计 测试报告 测试项目名称 实测结果与期望结果的比较 发现的问题 测试达到的效果 黑盒测试 等价分类法(equivalence partitioning) 把输入数据的可能值划分为若干等价类 有效等价类和无效等价类 每一无效等价类至少需要一个测试用例 例子 某工厂公开招工，规定报名者年龄应在16周岁至35周岁之间(到2002年3月30日止)即出生年月不在上述范围内，将拒绝接受，并显示“年龄不合格”等出错信息。 “出生年月”的等价分类 黑盒测试 边界值分析法(boundary value analysis) 使被测程序在边界值及其附近运行，从而更有效地暴露程序中潜藏的错误 错误猜测法(error guessing) 猜测被测程序在哪些地方容易出错 针对可能的薄弱环节来设计测试用例 白盒测试 逻辑复盖测试法(logic coverage testing) 用流程图来设计测试用例 逻辑复盖测试的5种标准 白盒测试 路径测试法(path testing) 着眼于程序执行路径的测试方法 程序图(program graph) 点覆盖 边覆盖 路径覆盖 测试用例设计 黑盒测试用例设计 三角形分类程序 白盒测试用例设计 学生成绩查询程序 软件的纠错 纠错的策略 试凑法 跟踪法 推理法 常用的纠错技术 插入打印语句 设置断点 掩蔽部分程序 蛮力纠错技术 多模块程序的测试策略 测试的层次性 单元(模块)测试（unit testing） 综合(集成)测试（integration testing） 确认测试（validation testing） 系统测试（system testing） 程序错误的类型 语法错误 结构性错误 功能性错误 接口错误 单元测试 目的 通过模块测试，使其代码达到模块说明书的需求 任务 (1) 对模块代码进行编译，发现并纠正其语法错误； (2) 进行静态分析，验证模块结构及其内部调用序列是否正确； (3) 确定模块的测试策略，并据此设计一组测试用例和必要的测试软件； (4) 用选定的测试用例