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