数学基础 Software Testing Techniques_2013 《软件测试》教材.ppt

No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes Software Testing Technology 刘冬梅 集合论 集合成员关系 集合定义 空集 集合操作 集合关系 子集划分 集合恒等式 函数 函数的定义 函数的定义域与值域 函数的类型 函数的合成 关系 集合之间的关系 单个集合上的关系 命题逻辑 逻辑操作符 逻辑表达式 逻辑等价 概率论 事件的概率的定义 概率论在测试中的应用 图的基本概念 节点的度 图的关联距阵 图的相邻距阵 路径 路径的连接性 压缩图 圈数 有向图的定义 有向图（或框图）G=（V,E）包含:一个节点的有限集合V={n1,,n2 ,……,nm}，一个边的集合E={e1, e2,…..,ep}， 其中每条边ek=〈ni,nj〉是节点ni 、nj∈V的一个有序对偶. 有向图的示例 n5 e4 e2 e1 e5 e3 n4 n7 n3 n6 n2 n1 有向图的基本概念 内度与外度 节点的类型 有向图的相邻距阵 路径与半路径 可到达性矩阵 n-连接性 强组件 用于测试的图：程序图 给定一个采用命令式程序设计语言编写的程序，其程序图是一种有向图，其中： 节点是程序语句，边表示控制流（从节点I到节点j有一条边，当且仅当对应节点j的语句可以立即在节点I对应的语句之后执行. 用于测试的图：结构化程序设计构造的有向图 用于测试的图：有限状态机 有限状态机是一种有向图，其中状态是节点，转移是边. 源状态和吸收状态是初始节点和终止节点，路径被建模为通路. 大多数有限状态机表示方法都要为边（转移）增加信息，已指示转移的原因和作为转移的结果要发生的行动. 用于测试的图：用于PIN尝试的有限状态机 用于测试的图：Petri网 Petri网是一种双向有向图 （P,T,In,Out), 其中，P和T是不相交的节点集合，In和Out是边集合， In c PXT,Out c TXP 用于测试的图：Petri网 用于测试的图：有标记的Petri网 用于测试的图：触发之前的Petri网 用于测试的图：触发之后的Petri网 用于测试的图：状态图 状态图是将为维恩图描述层次结构的能力以及有向图描述有向连接性的能力结合在一 起，开发出一种可视化表示法. 用于测试的图：状态图的团点 A B C D 用于测试的图：状态图的初始状态 A B C D 用于测试的图：状态图的默认入口 A B C D No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes * Chapter 1 - The Context of Systems Analysis And Design Methods Software Testing Technology 刘冬梅 No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes No additional notes