软件测试白盒黑盒测试第2章(1)..ppt

第二章 软件测试基础 [本章要点] 白盒测试和黑盒测试的定义； 常见的白盒和黑盒测试设计技术； 白盒测试与黑盒测试的区别； 测试计划和测试报告的编制； 测试用例的定义和编制方法。 [本章目标] 理解并掌握白盒测试和黑盒测试，以及二者的优缺点和各自的应用范围； 能够熟练使用几种常见测试用例设计技术； 了解测试计划和测试文档的作用，以及应该包含的内容和制定方法； 了解测试报告的基本内容，以及测试用例的基本内容和编制方法。 2.1用于测试的离散数学和图论基础 一般而言，在功能性测试中，通常要用到离散数学知识，而在结构性测试领域中，则要用到一些关于图论的知识。 2.1.1集合论 集合论可分为：自然和不言自明两种。自然的集合论把集合看作是基本术语，我们把集合看作一个单位，或一个整体引用多个事物。 集合的表示法有以下两种： 1、将集合所有元素一一列出的表示法叫做“枚举法”，但有时也可以只列出一部分元素。 M1={1月，2月，3月，4月‥‥‥} 2、用一个集合所具有的共同性质来刻画这个集合。 N={t:t是等边三角形} 集合的划分： 划分的含义就是将一个整体分成小块，使得所有事物都在某个小块中，不会遗漏。 划分的定义： 给定集合B，以及B的一组子集A1，A2，A3，‥‥，An,这些子集是B的一个划分, 当且仅当A1∪A2∪ ‥‥ ∪ An=B， 且 i≠j=Ai∩Aj=Ф 划分的概念对于测试人员非常重要，在测试中往往一方面要保证B的所有元素都在某个子集中，另一方面要保证任意一个元素都不会同时出现在两个子集中。 有效的划分可以保证功能测试时的完备性与无冗余性。防止有些内容没有被测试，而另一些内容被测试多遍的情况。 功能性测试的主要困难之一，就是难以找到合适的划分。 2.1.2函数 在数学领域函数是一种关系，这种关系使集合里的每一个元素对应到另一个集合里的唯一元素。函数是软件测试的核心概念，所有功能性测试的基础都是函数。 函数是将唯一的输出值赋予每一输入的“法则”。函数最重要的性质是其决定性，同一输入总对应同一输出（反之未必成立）。可以将函数理解成“机器”或者“黑盒”。 2.1.3关系 通俗的讲，关系就是客观世界一定范围的对象之间的某种特定联系。 关系表示事物之间的某种联系，二元关系表示两个事物之间的关系，如果把这两个事物分别放在一边，如果某两个元素有关系，那么就在它们之间画一条有向线，用这种方式表示关系，称作关系图。 2.1.4命题逻辑 凡是能分辨其真假的语句都叫做命题。命题逻辑有着和集合论相似的操作，表达式和标识。命题的真值只有两种，T代表真，而F代表假。 2.1.5概率论 概率是随机事件发生的可能性的数量指标。 在独立随机事件中，如果某一事件在全部事件中出现的频率，在更大的范围内比较明显的稳定在某一固定常数附近。就可以认为这个事件发生的概率为这个常数。对于任何事件的概率值一定介于 0和 1之间。 2.1.6用于测试的图 图（又叫做线性图）是一种由两种集合定义的抽象数据结构，即一个节点集合和一个构成节点之间连接的集合。 图中节点的度是以该节点作为端点的边的条数。 在本节中将介绍的两种图： 程序图 有限状态机 1、程序图 程序图定义：节点要么是整个语句，要么是语句的一部分，边表示控制流（从节点i到节点j有一条边，当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行）。 程序的有向图公式化能够非常准确地描述基本结构化程序设计的构造，例如：串行、选择和循环等可以用有向图表示。 2、有限状态机 有限状态机是需求规格说明的一种标准的表示方法。有限状态机是一种有向图，其中状态是节点，转移是边。 图2-2是一个简单的自动柜员机(SATM)系统。该图描述了用于个人标识编号PIN尝试部分的有限状态机。这种机器包含5 个状态（空闲、等待第一次PIN尝试等等）和8个用边表示的转移。转移上的标签所遵循的规则是，“分子”是引起转移的事件，“分母”是与该转移关联的行为。