软件工程第七章.pptVIP

第1页，共30页，星期日，2025年，2月5日Contents7.4测试用例设计（7.4.3）软件危机(1.2)7.5调试技术和策略7.6软件测试工具*第2页，共30页，星期日，2025年，2月5日例：程序Triangle读入三个整数值，这三个整数代表同一个三角形三条边的长度，程序根据这三个值判断三角形属于不等边、等腰或等边三角形中的那一种。*第3页，共30页，星期日，2025年，2月5日abcTrianglea,b,c三角形的类型？*第4页，共30页，星期日，2025年，2月5日startab+c?ba+c?ca+b?a=b?b=c?印出“不是三角形”印出“等边三角形”印出“等腰三角形”印出“不等边三角形”a=c?b=c?FTFFTTTTFFFFTTstop程序流程图程序图*第5页，共30页，星期日，2025年，2月5日黑盒测试（等价划分）正常的三角形（a,b,c)不等边三角形(8,10,12);(10,8,12);(10,12,8)等边三角形(10,10,10)等腰三角形(10,10,17);(10,17,10);(17,10,10)*第6页，共30页，星期日，2025年，2月5日黑盒测试（等价划分）退化的三角形（a,b,c)不等边三角形(10,6,4)等边三角形(0,0,0)等腰三角形(10,5,5);(5,10,5);(10,5,5)*第7页，共30页，星期日，2025年，2月5日黑盒测试（等价划分）不能构成三角形的非法数据(a,b,c)a+bc(10,10,21)b+ca(21,10,10)c+ab(10,21,10)*第8页，共30页，星期日，2025年，2月5日黑盒测试（边界值分析）一条边长度为零的情况（0，10，12）;（10，0，12）;（10，12，0）两条边的长度为零的情况（0，0，17）；（0，17，0）；（17，0，0）三条边的长度为零的情况（0，0，0）*第9页，共30页，星期日，2025年，2月5日输入数据中包含负整数（-10，-10，-10)……输入数据不全（不足三个正整数）（10，-，-）……输入数据中包含非整数型的数据(a,b,c)(1.2,6e-4,7.8)……黑盒测试（错误推测）*第10页，共30页，星期日，2025年，2月5日调试（Debug）软件调试是在进行了成功的测试之后才开始的工作。它与软件测试不同，调试的任务是进一步诊断和改正程序中潜在的错误。调试活动由两部分组成：确定程序中可疑错误的确切性质和位置。对程序(设计,编码)进行修改，排除这个错误。

*第11页，共30页，星期日，2025年，2月5日调试工作是一个具有很强技巧性的工作。软件运行失效或出现问题，往往只是潜在错误的外部表现，而外部表现与内在原因之间常常没有明显的联系。如果要找出真正的原因，排除潜在的错误，不是一件易事。可以说，调试是通过现象，找出原因的一个思维分析的过程。

*第12页，共30页，星期日，2025年，2月5日调试的步骤(1)从错误的外部表现形式入手，确定程序中出错位置；(2)研究有关部分的程序，找出错误的内在原因；(3)修改设计和代码，以排除这个错误；(4)重复进行暴露了这个错误的原始测试或某些有关测试。

*第13页，共30页，星期日，2025年，2月5日从技术角度来看，查找错误的难度在于：现象与原因所处的位置可能相距甚远。当其它错误得到纠正时，这一错误所表现出的现象可能会暂时消失，但并未实际排除。现象实际上是由一些非错误原因(例如，舍入不精确)引起的。*第14页，共30页，星期日，2025年，2月5日现象可能是由于一些不容易发现的人为错误引起的。错误是由于时序问题引起的，与处理过程无关。现象是由于难于精确再现的输入状态（例如，实时应用中输入顺序不确定）引起。现象可能是周期出现的。在软、硬件结合的嵌入式系统中常常遇到。

*第15页，共30页，星期日，2025年，2月5日几种主要的调试方法调试的关键在于推断程序内部的错误位置及原因。可以采用以下方法：强行排错 这种调试方法目前使用较多，效率较低。它不需要过多的思考，比较省脑筋。例如：通过内存全部打印来调试，在这大量的数据中寻找出错的