软件测试问及相关数学知识.pptVIP

2.3 关系 给定2个集合A和B，关系R是笛卡尔积A ? B的一个子集。 关系的属性： 自反的：当且仅当所有 a∈A,a,a∈R; 对称的：当且仅当a,b∈R ? b,a∈R; 反对称的：当且仅当a,b、b,a ∈R ? a=b; 传递的：当且仅当a,b、b,c ∈R ? a,c∈R; 排序关系：自反、反对称和传递的；（小于等于） 等价关系：自反、对称和传递的；（同班同学） 2.4 命题逻辑 命题：是要么为真、要么为假的句子。 例子：62、汽车会飞、人是动物 等； 而：水很深、山很高、火车很快等就不是命题。 命题的逻辑运算： 与 ：∧ 或 ：∨ 非 ：? 异或 ：⊕ 如果—则（IF-THEN）：→ p p p⊕q p→q T T F T T F T F F T T T F F F T 2.5 概率论 概率：是期望发生方式的数量，除以总的可能方式的数量； 例1：一个袋子中有10个红球，10个兰球；从中任取一个球，是红球的几率？ 再取一个是红球的几率？ 连续2个是红球的几率？ 例2：一副扑克4人打，你拿到4个A的概率？ 图G=（V，E）由节点的有限集合V和节点无序对偶集合E组成。 例1： V={n1,n2,n3,n4,n5}; E={(n1,n2),(n1,n4),(n2,n6),(n3,n4),(n4,n5)}; 2.6 图论 n1 n2 n3 n4 n5 n6 度：节点的度是与该节点连接的边数； 关联矩阵：节点与边的矩阵； 相邻矩阵：节点与节点的矩阵； 路径：从节点A到节点B的一个边的序列； 连通性：A到B有路径； 圈数：区域的划分； 有向图(如右图) 入度(Indeg) 出度（Outdeg） n1 n5 n3 n4 n6 n2 有向图的相邻矩阵 n1 n2 n3 n4 n5 n6 n1 0 1 0 1 0 0 n2 0 0 0 0 0 1 n3 0 0 0 1 0 0 n4 0 0 0 0 1 0 n5 0 0 0 0 0 0 n6 0 0 0 0 0 0 路径与半路径 路径：是一系列首尾相连的边的集合； 半路径：两个节点有共同的起点或终点。 0-连接，当且仅当ni和nj之间没有路径； 1-连接，当且仅当ni和nj之间有一条半路径，但没有路径； 2-连接，当且仅当ni和nj之间有一条路径； 3-连接，当且仅当ni到nj有一条路径；并且nj到ni有一条路径； 强组件 有向图的强组件是3-连接节点的最大集合。 将前面的例图修改为如下左图所示： 强组件是{n3,n4,n5}，我们可以将其简化为下右图所示的压缩图 ； n1 n5 n3 n4 n6 n2 n1 s1 n6 n2 压缩图是结构化软件测试中十分重要的概念，压缩图可以消除环路，因而可以极大地减少测试路径。 程序流图是大家都应该熟悉的内容，这里不在介绍和复习。 2.7 有限状态机 有限（穷）状态机是形式化描述的有效方法，在计算机调度、管理中得到了广泛的应用。 我们通过一个简单的例子来说明有穷状态机的基本概念。 司机驾驶汽车，有以下状态。打开车门；车挡在启动档，插钥匙，打火发动汽车；挂前进档，汽车前行；挂后退档，汽车后退；挂启动档，熄火，拔钥匙；下车关门。当然，油门和刹车也是两个重要的动作，一个是为了提速，一个是为了减速，但它们都不影响汽车的状态，这里予以简化。空档是一个过渡状态，为了简洁，也予以简化。 状态转换图在实际设计中往往被状态转换表所代替，表13-1是汽车驾驶的状态转换表。 当前状态 状态 执行动作 表13-1 汽车驾驶的状态转换表 准备状态 启动状态 前进状态 后退状态 （挂启动档）打火 启动状态 启动状态 无效 无效 挂前进档 准备状态 前进状态 前进状态 挂后退档 准备状态 后退状态 后退状态 挂启动挡 准备状态 启动状态 启动状态 启动状态 熄火 准备状态 准备状态 准备状态 准备状态 从上面的例子我们可以看到，一个有穷状态机包括以下5个部分：状态集J、输入（动作）集K、状态转换函数（转换表）T、初始态S和终止态F。对于上面的例子有穷状态机的各个部分如下： 状态集J：{准备状态，启动状态，前进状态，后退状态}； 输入集K：{打火，熄火，挂前进档，挂后退档，挂启动档}； 转换函数T：如表13-1所示； 初始态S：{准备状态}； 终止态F：{准备状态