[政史地]buct软件测试复习.ppt

Computer Architecture and Structure 软件测试的基本概念 软件测试的基本概念 软件测试的基本概念 软件测试的基本概念 软件测试主要涉及5方面的问题： ? 谁来执行测试? ? 测试什么? ? 什么时候测试? ? 怎样进行测试? ? 测试停止的标准是什么? 软件生存期与软件测试 如同任何产品离不开质量检验一样，软件测试是在软件投入运行前，对软件需求分析、设计规格说明和编码实现的最终审定，贯穿于软件定义与开发的整个期间，在软件生存期中占据着非常突出的重要位置。 集成测试 静态测试与动态测试 验证测试与确认测试 验证活动 黑盒测试（功能性测试） 功能性测试（黑盒测试） 功能性测试（黑盒测试） 功能性测试（黑盒测试） 边界值测试 边界值分析 边界值分析的基本思想是利用输入变量值的最小值，稍大于最小值，正常值，稍小于最大值，最大值。 等价类测试(Equivalence Class Testing) 等价类测试 等价类划分把程序的输入域划分成若干个互不相交的一组子集——等价类。 所谓等价类是指输入域的某个集合，等价类的并便是整个输入域。 等价类测试 等价类由等价关系决定。 因此等价类中的元素有一些共同的特点： 如果用等价类中的一个元素作为测试数据进行测试不能发现程序中的故障，那么使用集合中的其它元素进行测试也不可能发现程序故障。 等价类测试 ●有效等价类： 有效等价类是指对程序规格说明，是有意义的，合理的输入数据所构成的集合。 等价类测试 ● 无效等价类： 无效等价类是指对程序规格说明，是不合理或无意义的输入数据所构成的集合。 等价类测试 1）为每个等价类规定一个唯一的编号。 2) 设计一个新的测试用例，尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到测试用例覆盖了所有的有效等价类。 3) 设计一个新的测试用例，使其覆盖并且只覆盖一个还没有被覆盖的无效等价类。重复这一步，直至测试用例覆盖了所有的无效等价类。 弱一般等价类测试 强一般等价类测试 弱健壮等价类测试 强健壮等价类测试 基于决策表的测试(Decision Table-Based Testing) 决策表测试 决策表最突出的优点是，它能把复杂的问题按 各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。 决策表 决策表通常由4个部分组成： 结构性测试 结构性测试 结构性测试方法的突出特点是它们都基于被测程序的源代码，而不是软件规格说明。 和其它软件测试技术相比，结构性测试方法更容易发现软件故障，常用于单元测试中。 程序控制图 程序控制图的重要性： 程序的执行对应于从源节点到汇节点的路径。 测试用例必然要执行某条程序路径。 可以清楚明确地描述测试用例和测试用例所执行的程序部分之间的关系。 逻辑覆盖 逻辑覆盖是一种使用最广泛的结构测试方法。 逻辑覆盖以程序内部的逻辑结构为基础设计测试用例，要求对被测程序的逻辑结构有清楚的了解，甚至要能掌握源程序的所有细节。 逻辑覆盖要求对被测程序的结构作到一定程度的覆盖。 由于覆盖测试的目标不同，逻辑覆盖又可分为：语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖及路径覆盖。 逻辑覆盖 它的程序流程图如下： a、b、c、d和e为控制流上的若干程序点。 逻辑覆盖 它的程序流程图如下： a、b、c、d和e为控制流上的若干程序点。 逻辑覆盖 它的程序流程图如下： a、b、c、d和e为控制流上的若干程序点。 逻辑覆盖 它的程序流程图如下： a、b、c、d和e为控制流上的若干程序点。 逻辑覆盖 路径能否被全面覆盖在软件测试中是一个重要的问题，因为程序要取得正确的结果，就必须消除遇到的各种障碍，沿着特定的路径顺利执行。 如果程序中的每一条路径都得到考验，才能说程序受到了全面检验。 基本路径测试 数学上，向量空间都有一个基。 向量空间的基是一组相互独立的向量，其中的 任何其他向量都可以用基向量来表示。 一组基向量在一定程度上可以代表整个向量空 间的本质，如果一个基向量被删除，则这种覆盖 特性就会丧失。 数据流测试 数据流分析 数据流分析(data flow analysis)在软件开发、 测试和维护中起着十分重要的作用。 它将程序中变量的出现分为变量的定义和引用。 若语句k执行时改变了程序变量V的值，则称 k定义了(definition)变量v； 若语句k执行时引用了变量v的值，则称k引用 了(use)变量v。 定义／使用测试 为描述定义／使用测试，先定义