测试人员的图论.PPTVIP

第四章 测试人员的图论 图 举例 节点的度 关联矩阵 相邻矩阵 路径 连接性 组件 压缩图 圈数 有向图 有向图例子 外度和内度 节点的类型 有向图的相邻矩阵 路径和半路径 可到达性矩阵 图4-2的可到达性矩阵 n-连接性 图4-2的连接性 强组件 用于测试的图 程序图 结构化程序设计构造的有向图 有限状态机 用于PIN尝试的有限状态机 Petri网 有标记的Petri网 两个基本定义 两个基本定义 事件驱动的Petri网 EDPN图 为EDPN做标记 EDPN图中的标记和转移 状态图 状态图中得初始状态 进入子状态的默认入口 状态图中的并发状态 总结 东北大学软件学院 定义 EDPN是一种多向图(P，D，S，In，Out)，包括三个节点集合P、D和S，以及两个映射集合In和Out。其中： P是端口事件的集合。 D是数据地点的集合。 S是转移的集合。 In是(P∪D)×S的有序对偶集合。 Out是S×(P∪D)的有序对偶集合。 东北大学软件学院 p3 d5 p4 p3 d6 p4 d7 s7 s8 s10 s9 东北大学软件学院 定义 EDPN(P，D，S，In，Out)的一个标记M，是p元组的一个序列M=m1，m2，…，其中p=k+n，k和n是集合P和D中的元素个数，p元组中的个体项表示事件或数据地点中的记号个数