第7章 软件实现解析.ppt

开始 停止 AB+C BA+C CA+B A=B A=C B=C B=C 输出：等边三角形 输出：不等边三角形 输出：等腰三角形 输出：不是三角形 a b c d e f g h i j k l m n o p 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 T F T F T F T T F F F T T F 图7.8 程序TRIANGLE的流程图 综合使用边界值分析、等价值划分和错误推测等技术，可以设计出11种应该测试的情况： （1）正常的不等边三角形; （2）正常的等边三角形; （3）正常的等腰三角形，包括两条相等边的三种不同排列方法; （4）退化的三角形（即两边的和等于第三边），包括三种不同排列方法； （5）三条边不能构成三角形（即两边之和小于第三边），包括三种不同排列方法； （6）一条边的长度为零，包括三种不同的排列方法； （7）两条边的长度为零，包括三种不同的排列方法； （8）三条边的长度全为零； （9）输入数据中包含负整数； （10）输入数据不全（不足三个正整数）； （11）输入数据中包含非整数型的数据。 a b c d e f g h k l m n o p i j 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 图7.9 对应的程序图 程序TRIANGLE的测试数据 测试功能 测试数据 a b c 1.等边 2.等腰 3.不等边 4.非三角形 5.退化情况 6.零数据 10，10，10 10，10，17 8，10，12 10，10，21 10，5，5 0，0，0 0，0，7 0，10，12 －，－，－ 10，17，10 8，12，10 10，21，10 5，10，5 －，－，－ 0，17，0 12，0，10 －，－，－ 17，10，10 10，12，8 21，10，10 5，5，10 －，－，－ 17，0，0 12，10，0 测试功能 测试数据 a b c 7.负数据 8.遗留数据 9.无效输入 10.边界值 -10,-10,-10 -10,-10,17 -8,10,17 －,－,－ 10,－ ,－ 8，10， － A,B,C =,+,* 8,10,A 7E3 , 10.5 , A 32767,32766,8 -32768,8,32766 -32768,8,-32769 －,－,－ -10,17,-10 17,-8,10 －,－,－ －,10,－ 8,－,10 －,－,－ －,－,－ 8,A,10 10.5, 7E3, A 32766,8,32767 32768,8,-32769 8,-32767,-32768 －,－,－ 17,-10,-10 10，12，8 －,－,－ －,－,10 －,8,10 －,－,－ －,－,－ A,10,8 A , 10.5, 7E3 32768,8,32767 -32769,8,32767 -32767,8,-32769 最后，检查测试数据的覆盖程度，通常应该做到边覆盖。 测试数据覆盖程度检验表中列出的四种测试数据已经做到了边覆盖（覆盖所有的22条边）。 测试数据覆盖程度检验表 编号 测试数据 覆盖的边 1 2a 2b 2c 3a 3b 3c 4a 4b 4c 10,10,10 10,10,17 10,17,10 17,10,10 8,10,12 8,12,10 10,12,8 10,10,21 10,21,10 21,10,10 1,2,3,4,5,6,7,8 1,2,3,4,5,15,19,20,8 1,2,3,4,14,18,19,20,8 1,2,3,4,14,16,17,19,20,8 1,2,3,4,14,16,21,22,8 1,2,3,4,14,16,21,22,8 1,2,3,4,14,16,21,22,8 1,2,3,11,12,13,8 1,2,10,12,13,8 1,9,12,13,8 7.8 调试 7.8.1 调试过程 调试是在测试发现错误之后排除错误的过程。 测试用例 结果 调试 附加测试 纠正且回归测试 已识别原因 被怀疑原因 1. 蛮干法：打印内存的内容，从中寻找错误的线索，是效率最低的程序调试方法。 2. 回溯法：从发现问题的程序段开始人工地往回追踪分析程序代码，直到找到错误。 3. 原因排除法 包括：对分查找法、归纳法、演绎法 7.8.2 调试途径 7.9 软件可靠性 1. 软件可靠性定义 软件可靠性：是程序在给定的时间间隔内，按照规格说明书的规定成功地运行的概率。