软件测试的目标 尽可能多地发现并排除软件中潜藏的错误，最终把一个高质量的软件系 统交给用户使用。 软件测试的定义 为了发现程序中的错误而执行程序的过程。 1、所有测试都应追溯到需求 2、“尽早地和不断地进行软件测试” 3、测试用例应该由测试输入数据和与之对应的预期输出结果两部分组 成 4、程序设计者应避免测试自己的程序 5、测试用例应当包括合理的输入数据和不合理的输入数据 6、充分注意测试中的群集现象 7、严格执行测试计划，排除测试的随意性 8、对每个测试结果做全面检查 9、在测试程序时，不仅要检验程序是否作了该做的事，还要检验程序 是否作了不该做的事 10、妥善保存测试计划、测试用例、出错统计和最终分析报告，为维 护提供方便 软件测试的原则 概述 软件测试的过程和策略 测试的过程 单元测试 组装测试 单元测试也称模块测试，是对软件最小单元的测试，也是对程序模块进 行正确性检验的测试，其目的在于发现各模块内部可能存在的各种差 错。 组装测试也称集成测试，是在单元测试的基础上，将所有模块按照软件 设计要求组装成执行子系统、功能子系统直至应用系统并进行测试的过 程。 具体实施策略分非渐增式组装测试方式和渐增式组装测试方式。 确认测试 确认测试进一步验证软件的有效性，即验证软件的功能、性能及其他特 性是否与用户的要求一致。 系统测试 系统测试是将通过确认测试的软件，作为基于整个计算机系统的一个元 素，与计算机硬件、外设、某些支持软件、数据和人员等其他系统元素 结合在一起，在实际运行环境下，对计算机系统进行一系列的组装测试 和确认测试。 软件测试的信息流：软件配置、测试配置、测试工具 静态测试 桌前检查（自检）、代码会审、 走查 定义 把程序看成一个不透明的“黑盒子”，测试时完全不考虑程序的内部结 构和处理过程，只按照规格说明书所规定的功能来设计测试用例，也就 是检查程序是否符合它的功能要求。 等价类划分法 定义 步骤 把被测对象的输入域划分为有限个等价区段 ——“等价类”，以有针 对性的等价类少量测试，代替漫无边际的、数量较大的“穷尽”测试或 随机测试。 ① 划分“等价类” 　　　 ② 选择测试用例 边界值法 经验表明，处理边界情况时程序最容易发生错误。因此，通常选用等价 类边界值作为边界值测试的数据。 错误推测法在很大的程度上靠直觉和经验进行，它的基本想法是列举出 程序中可能有的错误和容易发生错误的特殊情况，并且根据它们选择测 试方案。 软件测试 黑盒测试 常用技术 软件测试方法 动态测试 错误推断法 因果图法 决策表法 场景法 正交实验法 白盒测试 定义 白盒测试是把程序看成一个透明的盒子，测试人员完全了解程序的内部 结构和处理过程，测试时根据程序的内部逻辑来设计测试用例，即检验 程序中的每条路径是否都能按预定的要求正确工作。 语句覆盖 选择足够多的测试用例，使被测程序中每个语句至少能执行一次。 判定覆盖 选择足够多的测试用例，使被测程序中每个判定至少取TRUE 或FALSE 各一次 条件覆盖 选择足够多的测试用例，使判定中的每个关系式取得各种可能的结果。 逻辑覆盖技术 判定/条件覆盖 选择足够多的测试用例，使判定表达式中的每个条件式取得各种可能的 结果，而且每个判定表达式也都取到各种可能的结果。 条件组合覆盖 使判定中的每个关系式的各种可能的组合至少出现各一次。 路径覆盖 使程序的每条可能的路径都至少执行一次（如果程序图中有环路，则要 求每个环路至少经过一次）。 基本路径测试 在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本 可执行路径集合，从而设计测试用例。 目的 步骤 软件调试 调试的目的是根据测试时发现的错误，找出错误的原因和具体位置，并 改正错误，因此，调试也称为纠错或排错。 （1）确定错误位置。 （2）研究、分析错误原因。 （3）修改设计和代码，排除错误。 （4）重复测试，确认错误被排除以及是否引进新的错误。 （5）纠错审核。 调试技术 强行排错、回溯法排错、演绎法排错、归纳法、对分法 调试原则 1．查错原则 2．排错原则 软件可靠性 软件可靠性是程序在给定的时间间隔内，按照规格说明书的规定成功地 运行的概率。软件可靠性随着给定的时间间隔的加大而减少。 软件可用性是程序在给定的时间点，按照规格说明书的规定，成功地运 行的概率。