第二章 软件测试基础 《软件测试技术知识》 电子教案.pptVIP

第二章 软件测试基础;[本章要点] 软件测试基础知识； 白盒测试和黑盒测试的定义； 常见的白盒和黑盒测试设计技术； 白盒测试与黑盒测试的区别； 测试计划和测试报告的编制； 测试用例的定义和编制方法。;[本章目标] 掌握有关测试的一些数学知识，包括集合、函数和图论基础等； 理解并掌握白盒测试和黑盒测试，以及二者的优缺点和各自的应用范围； 能够熟练使用几种常见测试用例设计技术； 了解测试计划和测试文档的作用，以及应该包含的内容和制定方法； 了解测试报告的基本内容，以及测试用例的基本内容和编制方法。; 2.1用于测试的离散数学和图论基础 一般而言，在功能性测试中，通常要用到离散数学知识，而在结构性测试领域中，则要用到一些关于图论的知识。 2.1.1集合论 集合论可分为：自然和不言自明两种。自然的集合论把集合看作是基本术语，我们把集合看作一个单位，或一个整体引用多个事物。 集合的表示法有以下两种： 1、将集合所有元素一一列出的表示法叫做“枚举法”，但有时也可以只列出一部分元素。; 2、用一个集合所具有的共同性质来刻画这个集合。 2.1.2函数 简而言之，函数是将唯一的输出值赋予每一输入的“法则”。 2.1.3关系 通俗的讲，关系就是客观世界一定范围的对象之间的某种特定联系。 集合之间的关系 定义: 给定两个集合A和B，关系R是笛卡儿积A ?B的一个子集。 ; 3）反对称的 4）传递的 2.1.4命题逻辑 凡是能分辨其真假的语句都叫做命题。我们通常采用小写字母p，q和r表示命题。 命题逻辑有着和集合论相似的操作，表达式和标识。命题的真值只有两种，T代表真，而F代表假。 命题公式的分类： ①如果命题公式A在任意的真值赋值函数t : U?{0, 1}下的真值t(A)都为1,则称命题公式A为永真式(tautology)（或称重言式）； ; ②如果命题A在任意的真值赋值函数下的真值都为0，则称A为矛盾式(contradiction)； ③如果A不是矛盾式，则称为可满足式。 2.1.5概率论 概率是随机事件发生的可能性的数量指标。 在独立???机事件中，如果某一事件在全部事件中出现的频率，在更大的范围内比较明显的稳定在某一固定常数附近。就可以认为这个事件发生的概率为这个常数。对于任何事件的概率值一定介于 0和 1之间。; 2.1.6用于测试的图 测试中使用两种基本图：无向图和有向图。这里我们给出一些概念。 图（又叫做线性图）是一种由两种集合定义的抽象数据结构，即一个节点集合和一个构成节点之间连接的集合。 图中节点的度是以该节点作为端点的边的条数。 在本节中将介绍的三种图：程序图、有限状态机、状态图。 1、程序图 ; 经过改进的程序图定义：节点要么是整个语句，要么是语句的一部分，边表示控制流（从节点i到节点j有一条边，当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行）。 程序的有向图公式化能够非常准确地描述程序的测试方面的问题。基本结构化程序设计的构造，例如：串行、选择和循环等可以用如图 2-1所示的有向图表示。 ;图2-1 结构化程序设计构造的有向图; 2、有限状态机 有限状态机已经成为需求规格说明的一种相当标准的表示方法。有限状态机是一种有向图，其中状态是节点，转移是边。 图2-2是一个简单的自动柜员机(SATM)系统。该图描述了用于个人标识编号PIN尝试部分的有限状态机。这种机器包含5 个状态（空闲、等待第一次PIN尝试等等）和8个用边表示的转移。转移上的标签所遵循的规则是，“分子”是引起转移的事件，“分母”是与该转移关联的行为。;图2-2 用于PIN尝试的有限状态机 ; 3、状态图 状态图现在被Rational公司选为统一建模语言，即UML的控制模型。; 根据Harel的意图，我们可以把团点解释为状态，把边解释为转移。 在图2-4中，状态A是初始状态，当进入到这个状态时，也进入低层状态B。当进入某个状态时，我们可以认为该状态是活动的，这可与Petri网中的被标记地点类比。状态图工具采用色彩