软件工程-07实现.ppt

设系统故障停机时间为td1, td2, …; 正常运行时间为tu1, tu2, … ; 则系统的“稳态可用性”为 Availability = (Shooman, 1983) 其中 MTTF = Mean Time To Failure = MTTR = Mean Time To Repair = 0 t tu1 td1 tu2 td2 ? ? 软件可靠性 软件可靠性 换个角度看问题 意义：可根据对软件平稳运行时间的要求，估算需改正多少个错误后才能结束测试。 还有一个问题 —— ET = ? 估算故障总数的方法： ① 植入故障法： 人为植入NS个故障，测后发现ns个植入故障和n个原有故障，则设 ET – 测试前程序错误数； IT – 程序长度； - 测试(包括调试)时间 需要更正的错误数 ② 分别测试法： Hyman 二人（组）分别独立测试同一程序，甲测得故障总数为B1，乙测得为B2，其中有bc是相同的，设以甲的测试结果为基准（即相当于①中的植入故障），则设 一般多测几个 取平均。 软件可靠性 QA * 为了能设计出有效地测试方案，软件工程师必须深入理解并正确运用指导软件测试的基本标准 2013-10-31 1110 * 除非是测试一个小程序，否则一开始把整个系统作为一个独立的实体来测试是不现实的 * 新模块的加入，程序发生变化 * * 2013-10-25 1111、1112 2013-10-30 1111 2013-11-06 1110 能够分别覆盖路径：sabcde和sace的两组测试数据，或者可以分别覆盖路径sacde和sabce的两组测试数据，都满足判定覆盖标准 I．A＝3, B＝0, X＝3 (覆盖sabce) Ⅱ．A＝2, B＝1, X＝1 (覆盖sacde) 问题：若X1错写为X1,仍然无法被测出 S a b c d e 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 逻辑覆盖 – cont. (3)条件覆盖 含义： 不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果 在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果 S a b c d e a点有下述各种结果出现 A1，A≤1，B＝0，B≠0 c点有下述各种结果出现 A＝2，A≠2，X1，X≤1 只需要使用下面两组测试数据就可以达到上述覆盖标准： I．A＝2，B＝0，X＝4 (执行路径sabcde，满足A1, B=0; A=2, X1) Ⅱ．A＝1，B＝1，X＝1 (执行路径sace，满足A?1, B?0; A ?2, X?1) 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 问：条件覆盖 ？ 判定覆盖 答: 不一定。 反例: ①A=2, B=0, X=1 sabcde ②A=1, B=1, X=2 sacde (满足条件覆盖，但不满足判断覆盖) 逻辑覆盖 – cont. (4)判定/条件覆盖 含义： 选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果 (5)条件组合覆盖 含义： 它要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次 7.1 编码 7.2 软件测试基础 7.3 单元测试、集成测试、确认测试 7.4 白盒测试技术 7.5 黑盒测试技术 7.6 调试 7.7 软件可靠性 黑盒测试着重测试软件功能 黑盒测试并不能取代白盒测试，它是与白盒测试互补的测试方法 它很可能发现白盒测试不易发现的其他类型的错误 黑盒测试力图发现下述类型的错误： 功能不正确或遗漏了功能 界面错误 数据结构错误或外部数据库访问错误 性能错误 初始化和终止错误 黑盒测试技术 白盒测试在测试过程的早期阶段进行 而黑盒测试主要用于测试过程的后期 设计黑盒测试方案时，应该考虑下述问题： (1)怎样测试功能的有效性? (2)哪些类型的输入可构成好的测试用例? (3)系统是否对特定的输入值特别敏感? (4)怎样划定数据类的边界? (5)系统能够承受什么样的数据率和数据量? (6)数据的特定组合将对系统运行产生什么影响? 应用黑盒测试技术，能够设计出满足下述标准的测试用例集： (1)所设计出的测试用例能够减少为达到合理测试所需要设计的测试用例的总数； (2)所设计出的测试用例能够告诉我们，是否存在某些类型的错误，而不是仅仅指出与特定测试相关的错误是否存在