本地下载-软件测试.ppt

第 2部分 软件测试基础 本部分课程目标 了解一些软件测试的数学基础： 软件测试术语的定义 软件测试相近术语的区别 学习软件测试的数学工具 测试 使用人工或自动手段来运行或测定某个系统的过程，其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。 测试 测试是为了发现错误而执行程序的过程。 单元测试 单元测试完成对最小的软件设计单元——模块的验证工作，只有在保证模块作为一个独立运行单元能够正确运行的条件下，后续的测试才可能进行。 单元测试通常情况下是面向白盒的。 集成测试 集成测试是把经过单元测试的模块按软件结构组合在一起作为一个系统或一个子系统来综合测试。 系统测试 系统测试是测试软件系统和其他的系统元素（及硬件、数据库和人机交互信息）组合构成完整的计算机应用系统中所有的元素配合是否合适以及整个系统的功能、性能、执行强度、安全性等是否达到规定标准。 确认测试 确认测试是把软件系统作为一个单一的执行实体而进行的需求有效性测试，其目的是验证系统能够满足用户需求的程度。 验收测试 验收测试是由用户通过试用系统而进行的测试。目的是从用户的角度实际操作运行软件系统而检验系统的可用性及与用户配合的程度。 验证和确认 验证：是保证软件符合产品描述的过程。 Do right thing 确认：是保证软件满足用户要求的过程。 Do thing right 质量和可靠性 质量：反映产品或服务满足明确或隐含需求能力的特征和特性的总和。 软件质量？ 软件质量特性：用以描述和评价软件产品质量的一组属性。如：功能性、可靠性、易用性、效率、维护性和可移植性。 质量和可靠性 可靠性：与在规定的一段时间和条件下，软件维护其性能水平的能力有关的一组属性。 测试人员的离散数学 离散数学包括：集合论、函数、关系、命题逻辑和概率论。 集合论 集合的同义词：聚集、组、束。 关于集合，重要的是它使我们能够作为一个单位，或一个整体引用多个事物。 集合论—集合定义 集合有三种方式定义： 简单列出集合的元素 给出辨别规则 通过其他集合构建 集合论—集合关系 定义： A是B的子集 A是B的真子集 A是B的相等集合。 集合论—子集划分 定义：子集划分 由于划分是一组子集， 因此可以把单个子集看做是划分的元素。 划分可以保证完备性和无冗余性。 函数 函数的定义 函数的定义域与值域 函数的类型 函数的合成 关系—集合之间的关系 集合之间的关系的定义 关系的势的定义 关系的参与的定义 关系—单个集合上的关系 关系的四个特殊属性 排序关系的定义 等价关系的定义 概率论 事件的概率的定义 概率论在测试中的应用 测试人员的图论 本课程主要介绍：无向图和有向图。 图—图的定义 定义： 图G=（V,E）有节点的有限（并且非空）集合V和节点无需对偶集合E组成。 V={n1,,n2 ,……,nm} 和 E={e1, e2,…..,ep} 其中每条边ek={ni,nj} ,ni 、nj∈V。 图的示例 图—基本概念 节点的度 图的关联距阵 图的相邻距阵 图—路径 路径的定义 路径的连接性 压缩图 圈数 有向图—定义 定义： 有向图（或框图）G=（V,E）包含:一个节点的有限集合V={n1,,n2 ,……,nm}，一个边的集合E={e1, e2,…..,ep}，其中每条边ek=〈ni,nj〉是节点ni 、nj∈V的一个有序对偶。 有向图的示例 有向图—基本概念 内度与外度 节点的类型 有向图的相邻距阵 有向图—基本概念 路径与半路径 n-连接性 强组件 用于测试的图—程序图 定义 给定一个采用命令式程序设计语言编写的程序，其程序图是一种有向图，其中： 节点是程序语句，边表示控制流（从节点I到节点j有一条边，当且仅当对应节点j的语句可以立即在节点I对应的语句之后执行。 用于测试的图—程序图 用于测试的图—有限状态机 定义 有限状态机是一种有向图，其中状态是节点，转移是边。 源状态和吸收状态是初始节点和终止节点，路径被建模为通路。 大多数有限状态机表示方法都要为边（转移）增加信息，已指示转移的原因和作为转移的结果要发生的行动。 用于测试的图—有限状态机 用于测试的图—Petri网 定义 Petri网是一种双向有向图（P,T,In,Out),其中，P和T是不相交的节点集合，In和Out是边集合， In c PXT,Out c TXP。 用于测试的图—Petri网 用于测试的图—Petri