ch_07实现讲述.pptx

通常把编码和测试统称为实现。; 防不胜防的软件错误 —— 例1：1963年, 美国, 飞往火星的火箭爆炸, 损失$ 10 million. 原因: FORTRAN循环 DO 5 I = 1, 3 误写为 DO 5 I = 1.3;第7章 实现; 软件测试是保证软件质量的关键步骤，是对软件规格说明、设计和编码的最后复审，其工作量约占总工作量40%以上（对于人命关天的系统，测试相当于其它开发总成本的3 - 5倍）。 这意味着，写出程序代码并不是开发工作接近完成，实际上还有大约同样多甚至更多的工作需要做。;§1. 编 码;§1. 编码;§2. 软件测试基础;3、软件测试方法与技术;（3）穷举测试与选择测试;4、软件测试步骤;§2. 软件测试基础;§3. 单元测试;（2）局部数据结构 数据说明(declaration)；初始化与缺省值的设置；变量名拼写；数据类型的相容性；上\下溢出及地址异常；等等;? 人工测试：如由四人组成小组(包括header，author，programmer和tester)，逐行检查源代码。 ? 预排(Rehearsal)：由人扮演computer，模拟执行情况。 优点: 一次审查可发现多个错误，不必改一个测一个。;§4. 集成测试 (Integration Testing);（1）非渐增式测试 (Big-bang testing);§4. 集成测试; 第1步：测试顶层模块，用存根程序(Stub)代替直接附属的下层模块 Stub: to simulate the activity of the component which is not yet tested.;§4. 集成测试;§4. 集成测试;第2步：用驱动程序(Driver)协调测试数据的I\O，测试子功能族。;§4. 集成测试;⑶ Sandwich testing;§5. 确认测试(Validation testing);§6. 白盒测试技术;§6. 白盒测试技术;又称分支覆盖，在⑴的基础上，每个判定的每个分支至少执行一次。; 在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果。;⑸ 条件组合覆盖;⑹ 点覆盖;2、控制结构测试;§6. 白盒测试技术;§6. 白盒测试技术;⑶ 循环测试;1、等价划分(Equivalence Partitioning);注：① 需认真研究程序的功能说明，注意经验的积累； ② 以上经验亦适用于输出数据； ③不需要测试编译程序肯定能发现的错误。;? 设计一个新方案以尽可能多地覆盖尚未被覆盖的有效等价类；重复这一步骤直到所有有效类都被覆盖为止。 ? 设计一个新方案以覆盖一个且仅一个尚未被覆盖的无效等价类；重复这一步骤直到所有无效类都被覆盖为止。;例：考察一个把数字串转变成整数的函数。用二进制补码表示整数，机器字长16位，即整数范围最小为- 32768，最大为32767。函数及参数的PASCAL说明如下： function StrToInt (dstr : shortstr) : integer; type shortstr = array [1..6] of char; 要求被处理的数字串是右对齐的，即在少于6个字符的串左边补空格。负号在最高位数字左边一位。 试用等价划分法设计测试方案。;解：首先根据规格说明划分等价类。考虑到PASCAL编译器的固有检错功能，测试时不需要使用长度不等于6的数组，也不需要用非字符数组类型的参数。 有效输入类： ①1~6个数字字符组成的数字串（最高位非0）； ②最高位为0的数字串； ③最高位左邻负号的数字串； 无效输入类： ④空字符串（6位空格）；⑤左边补位的既非0亦非空格； ⑥最高位右边含有空格； ⑦最高位右边含有其它非数字字符； ⑧负号与最高位间有空格；;② 最高位为0的数字串，输出为合法正整数。 输入： 预期输出：1 ;⑧ 左边补位的非0也非空格。 输入： 预期输出：“错误：非法??充”;思路：① 列出可能有的错误；② 列出容易发生错误的特殊情况。以此为基础设计测试方案。 根据：直觉、经验 工具：常见错误清单、判定表等。;§8. 调 试(Debugging);Execution of cases; 激活对程序运行过程的跟踪，在程序中插入write(输出)语句，以八