第二章软件测试基础
第二章 软件测试基础
本章要点 软件测试基础知识 白盒测试和黑盒测试的定义 常见的白盒和黑盒测试设计技术; 白盒测试与黑盒测试的区别; 测试计划和测试报告的编制; 测试用例的定义和编制方法
[本章要点] • 软件测试基础知识； • 白盒测试和黑盒测试的定义； • 常见的白盒和黑盒测试设计技术； • 白盒测试与黑盒测试的区别； • 测试计划和测试报告的编制； • 测试用例的定义和编制方法
本章目标 掌握有关测试的一些数学知识,包括集合、函数 和图论基础等; ◆理解并掌握白盒测试和黑盒测试,以及二者的优 缺点和各自的应用范围 能够熟练使用几种常见测试用例设计技术; ◆了解测试计划和测试文档的作用,以及应该包含 的内容和制定方法 了解测试报告的基本内容,以及测试用例的基本 内容和编制方法
[本章目标] ◆ 掌握有关测试的一些数学知识，包括集合、函数 和图论基础等； ◆ 理解并掌握白盒测试和黑盒测试，以及二者的优 缺点和各自的应用范围； ◆ 能够熟练使用几种常见测试用例设计技术； ◆ 了解测试计划和测试文档的作用，以及应该包含 的内容和制定方法； ◆ 了解测试报告的基本内容，以及测试用例的基本 内容和编制方法
2.1用于测试的离散数学和图论基础 般而言,在功能性测试中,通常要用到 离散数学知识,而在结构性测试领域中,则要 用到一些关于图论的知识。 2.1.1集合论 集合论可分为:自然和不言自明两种。自 然的集合论把集合看作是基本术语,我们把集 合看作一个单位,或一个整体引用多个事物。 集合的表示法有以下两种: 1、将集合所有元素一一列出的表示法叫做“枚 举法”,但有时也可以只列出一部分元素
2.1用于测试的离散数学和图论基础 一般而言，在功能性测试中，通常要用到 离散数学知识，而在结构性测试领域中，则要 用到一些关于图论的知识。 2.1.1集合论 集合论可分为：自然和不言自明两种。自 然的集合论把集合看作是基本术语，我们把集 合看作一个单位，或一个整体引用多个事物。 集合的表示法有以下两种： 1、将集合所有元素一一列出的表示法叫做“枚 举法”，但有时也可以只列出一部分元素
2、用一个集合所具有的共同性质来刻画这个集合。 2.12函数 简而言之,函数是将唯一的输出值赋予每一输 入的“法则” 2.13关系 通俗的讲,关系就是客观世界一定范围的对象 之间的某种特定联系。 集合之间的关系 定义:给定两个集合A和B,关系R是笛卡儿积A B的一个子集
2、用一个集合所具有的共同性质来刻画这个集合。 2.1.2函数 简而言之，函数是将唯一的输出值赋予每一输 入的“法则”。 2.1.3关系 通俗的讲，关系就是客观世界一定范围的对象 之间的某种特定联系。 集合之间的关系 定义: 给定两个集合A和B，关系R是笛卡儿积A B的一个子集
如果希望描述整个关系,则通常只写R≌A×B 对于特定元素ai∈A、bi∈B,我们记做 arbi 关系的表示 关系表示事物之间的某种联系,二元关系表示 两个事物之间的关系,如果把这两个事物分别放 在一边,如果某两个元素有关系,那么就在它们 之间画一条有向线,用这种方式表示关系,称作 关系图。 这里我们必须对“势”进行解释。势在用于集 合时,是指集合中的元素的个数 定义:给定两个集合A和B,一个关系 RCAXE, 关系R的势是
如果希望描述整个关系，则通常只写RAB。 对于特定元素aiA、biB，我们记做aiRbi 。 关系的表示 关系表示事物之间的某种联系，二元关系表示 两个事物之间的关系，如果把这两个事物分别放 在一边，如果某两个元素有关系，那么就在它们 之间画一条有向线，用这种方式表示关系，称作 关系图。 这里我们必须对“势”进行解释。势在用于集 合时，是指集合中的元素的个数。 定义: 给定两个集合A和B，一个关系RAB， 关系R的势是：
1)一对一势 2)多对一势 3)一对多势 4)多对多势 单个集合上的关系 首先,我们对关系进行定义。设A是一个集 合, RCAXA是定义在A上的一个关系, a,b>、、、∈R。关系具有 四个特殊属性: 定义:关系 RCAXA是: 1)自反的 2)对称的
1）一对一势 2）多对一势 3）一对多势 4）多对多势 单个集合上的关系 首先，我们对关系进行定义。设A是一个集 合，RAA是定义在A上的一个关系，、 、、、R。关系具有 四个特殊属性： 定义: 关系RAA是： 1）自反的 2）对称的
3)反对称的 4)传递的 2.1.4命题逻辑 凡是能分辨其真假的语句都叫做命题。我们通 常采用小写字母p,q和表示命题。命题逻辑有着 和集合论相似的操作,表达式和标识。命题的真值 只有两种,T代表真,而F代表假。 命题公式的分类: ①如果命题公式A在任意的真值赋值函数t:U 0,1}下的真值t(A都为1,则称命题公式A为永真式 tautology)(或称重言式
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之间
②如果命题A在任意的真值赋值函数下的真值都为0， 则称A为矛盾式(contradiction)； ③如果A不是矛盾式，则称为可满足式。 2.1.5概率论 概率是随机事件发生的可能性的数量指标。 在独立随机事件中，如果某一事件在全部事件 中出现的频率，在更大的范围内比较明显的稳定在 某一固定常数附近。就可以认为这个事件发生的概 率为这个常数。对于任何事件的概率值一定介于 0 和 1之间
2.16用于测试的图 测试中使用两种基本图:无向图和有向图。这 里我们给出一些概念。 图(又叫做线性图)是一种由两种集合定义 的抽象数据结构,即一个节点集合和一个构成 节点之间连接的集合。 图中节点的度是以该节点作为端点的边的条 数 在本节中将介绍的三种图:程序图、有限状 态机、状态图。 、程序图
2.1.6用于测试的图 测试中使用两种基本图：无向图和有向图。这 里我们给出一些概念。 图（又叫做线性图）是一种由两种集合定义 的抽象数据结构，即一个节点集合和一个构成 节点之间连接的集合。 图中节点的度是以该节点作为端点的边的条 数。 在本节中将介绍的三种图：程序图、有限状 态机、状态图。 1、程序图