软件工程导论7软件测试教学幻灯片.ppt

软件工程导论（7）——软件测试;第七章 软件测试;7.1 软件测试的基础;7.1.1 软件测试的概念;7.1.1 软件测试的概念;7.1.1 软件测试的概念;7.1.2 软件测试的目的和原则;7.1.2 软件测试的目的和原则;7.1.2 软件测试的目的和原则;7.1.2 软件测试的目的和原则;7.1.3 软件测试的对象;7.1.3 软件测试的对象;7.1.3 软件测试的对象;7.1.4 测试信息流;7.1.4 测试信息流;7.1.5 测试与软件开发各阶段的关系;7.1.5 测试与软件开发各阶段的关系;7.2 测试用例设计;黑盒测试 黑盒测试主要根据软件的外部特性进行，主要为了发现： 是否有不正确或遗漏了的功能？ 在接口上输入能否正确地接受？ 能否输出正确的结果？ 是否有数据结构或外部信息访问错误？ 性能上是否能够满足要求？ 是否有初始化或终止性错误？;白盒测试 白盒测试是对软件的过程性细节作细致的检查，主要对程序模块进行检查： 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测试一次； 在循环的边界和运行界限内执行循环体； 测试内部数据结构的有效性。;但对一个具有多种选择和循环体嵌套的程序，不同的路径数据可能是天文数字。而且即使精确地实现了白盒测试，也不能断言测试过的程序完全正确。;例如，100行源代码，包括一个执行达20次的循环，共包含不同执行路径数高达520（＝1013），如进行穷举测试，假设测试需要1毫秒／条，一天工作24小时，一年工作365天，则测试完成需要3170年。;7.3 白盒测试的测试用例设计;7.3.1 逻辑覆盖;7.3.1 逻辑覆盖;7.3.1 逻辑覆盖;7.3.1 逻辑覆盖;7.3.2 语句覆盖;7.3.2 语句覆盖;7.3.3 判定覆盖;7.3.3 判定覆盖;7.3.4 条件覆盖;实例的测试用例： 选择L1、L2、L3得到测试用例： 选择L3得到测试用例：;7.3.5 判定－条件覆盖;实例的测试用例： 实例中只须设计两个测试用例即可覆盖8个条件取值及4个判断分支： 从表面上看，判定－条件覆盖测试了所有条件的取值，但实际上有些条件并没有检查到。如第一个判断中的（B=0）和第二个判断中的（X1）。;7.3.5 判定－条件覆盖;7.3.6 条件组合覆盖;7.3.6 条件组合覆盖;7.3.6 条件组合覆盖;7.3.7 路径测试;7.3.7 路径测试;7.4 黑盒测试的测试用例设计;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.1 等价类划分;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.2 边界值分析;7.4.3 错误推测法;7.4.3 错误推测法;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;7.4.4 因果图;设计实例——判定表;7.5 软件测试的策略;7.5 软件测试的策略;7.5 软件测试的策略;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.1 单元测试（unit testing）;7.5.2 组装测试（integrated testing）;7.5.2 组装测试（integrated testing）;7.5.2 组装测试（in