软件工程ppt第七章--实现.ppt

SOFTWARE ENGINEERING 演绎法 演绎法是一种从一般原理出发，经过排除和精化的过程，推导出结论的方法。 列举可能 的原因 排除不适 当的原因 对保留的假 设继续推断 证明 假设 纠正 错误 收集更多 的数据 没有剩余 不能 能 有剩余 演绎法排错的步骤 有余 SOFTWARE ENGINEERING §8.6 调试 8.6.5 纠错的原则： （1）重在思考； （2）避免紧张； （3）修改要彻底； （4）防止纠错时又引入新的错误。 例:对招干考试系统“输入学生成绩” 子模块设计测试用例 招干考试分三个专业,准考证号第一位 为专业代号,如: 1-行政专业, 2-法律专业, 3-财经专业. 行政专业准考证号码为:110001～111215 法律专业准考证号码为:210001～212006 财经专业准考证号码为:310001～314015 例:准考证号码的等价类划分 有效等价类: (1) 110001 ～ 111215 (2) 210001 ～ 212006 (3) 310001 ～ 314015 无效等价类: (4) - ? ～ 110000 (5) 111216 ～ 210000 (6) 212007 ～ 31000 (7) 314016 ～ + ? 7.9 软件可靠性的定义 软件可靠性是软件在给定的时间间隔及给定的环境条件下，按设计要求，成功地运行程序的概率。 环境条件─指的是软件的使用环境。无论是什么软件，如果不对它的使用环境加以限制，都是会失效的。这种失效的数据，不能用来度量软件的可靠性。 软件的可用性是程序在给定的时间点，按照规格说明书的规定，成功地运行的概率。 成功地运行程序─是指不仅程序能正确地运行，满足用户对它的功能要求， 而且当程序一旦受到意外的伤害，或系统故障时，能尽快恢复，仍能正常地运行。 推测错误的产生频度MTTF 估算错误产生频度的一种方法是估算平均无故障时间MTTF ,估算公式如下 IT表示程序长度, ET表示测试前程序错误总数,EC(t)表示测试阶段发现的错误数. 常数K取200. MTTF = I K E E t T T C ( ( )) - 设Ns 是在测试前人为地向程序中植入的故障数，ns 是经过一段时间测试后发现的播种故障数目，n 是在测试中又发现的程序原有故障数。设测试用例发现植入故障和原有故障的能力相同，则程序中原有故障总数 N ( =ET )估算值为 利用植入故障法估算ET Hyman分别测试法ET 由两个测试员同时互相独立地测试同一程序的两个副本，用 t 表示测试时间，记 t＝0时，程序中原有故障总数是 B0；t＝t1 时，测试员甲发现的故障总数是 B1；测试员乙发现的故障总数是 B2；其中两人发现的相同故障数目是 bc； 在大程序测试时，头几个月两个测试员测试的结果应当比较接近 在早期应当每隔一段时间，由两个测试员再进行分别测试，分析测试结果，估算B0，或几次估算值的结果相差不多，则B0作为原有错误总数的估算值。 SOFTWARE ENGINEERING §7.6 白盒测试技术 设计测试方案的目标 选用最少量的测试数据,作到尽可能完备的测试. 好的测试方案是发现了迄今为止,尚未发现的错误的测试方案. 8.5.2 测试方案 包括预定要测试的功能,应该输入的测试数据和预期的结果。 8.5.3 测试用例 以发现错误为目的而精心设计的彝族测试数据。 测试用例=输入数据+期望结果 SOFTWARE ENGINEERING 例题 某城市的电话号码由 三部分组成，这三部分的名称与内容分别是： 地区码—空白或三位数字 前缀—非0或1开头的三位数字 后缀—4位数字 假设被测程序能接受一切符合上述规定的电话号码，拒绝不符合规定的电话号码。 SOFTWARE ENGINEERING 输入 有效等价类 无效等价类 地区码 （1）空白 （2） 3位数字 （5）有非数字字符 （6）少于3位数字 （7）多于3位数字 前缀 （3） 200-999的3位数字 （8）有非数字字符 （9）少于3位数字 （10）多于3位数字 （11） 0开头 （12） 1开头 后缀 （4） 4位数字 （13）有非数字字符 （14）少于4位数字 （15）多于4位数字 SOFTWARE ENGINEERING 覆盖有效等价类 输入 覆盖的有效等价类