测试人员的数学背景.ppt

* 变迁是peri网中的主动元素。表示事件、操作、转换或传输 库所是被动元素，表示媒介、缓冲器、条件状态、阶段等 标记通常表示对象，这些对象可能是具体的事务，也可能是抽象的信息 输入库所，输出库所 * * * 出现竞争关系。 * * 图4-2的连接性 n1和n7是0—连接。 n2和n6是1—连接。 n1和n6是2—连接。 n3和n6是3—连接。 n1 n2 n4 n3 n5 n6 n7 e1 e2 e3 e4 e5 强组件 定义 有向图的强组件是3-连接节点的最大集合。 n1 n2 S1 n5 S2 e1 e2 e4 n4 n3 n6 e3 e5 n7 用于测试的图 程序图 有限状态机 Petri网 状态图 程序图 定义 给定一个采用命令式程序设计语言编写的程序，其程序图是一种有向图，其中： 1．(传统定义) 节点是程序语句，边表示控制流(从节点i到节点j有一条边，当且仅当对应节点j的语句可以立即在节点i对应的语句之后执行)。 2．(经过改进的定义) 节点要么是整个语句，要么是语句的一部分，边表示控制流(从节点i到节点j有一条边，当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行)。 结构化程序设计构造的有向图 串行 IF-Then IF-Then-Else 条件 前测试环路 后测试环路 有限状态机 有限状态机是一种有向图，其中状态是节点，转移是边。源状态和吸收状态是初始节点和终止节点，路径被建模为通路，等等。大多数有限状态机表示方法都要为边(转移)增加信息，以指示转移的原因和作为转移的结果要发生的行动。 用于PIN尝试的有限状态机 Petri网 定义 Petri网是一种双向有向图(P，T，In，Out)，其中，P和T是不相交的节点集合， P 是地点集合， T 是转移集合，In和Out是边集合， In P×T，Out T×P。 P1 P5 P2 P3 P4 t1 t2 t3 有标记的Petri网 定义 有标记的Petri网是一种5元组(P，T，In，Out，M)，其中(P，T，In，Out)是一个Petri网，M是从地点到正整数的映射集合。 · · ·· t1 p1 p5 p2 t3 p4 p3 t2 Petri网的标记元组是1，1，0，2，0。 两个基本定义 定义 转移可以在Petri网中发生，如果在其所有输入地点中至少有一个记号。 定义 当触发Petri网一个转移时，要从其每个输入地点删除一个记号，并在其每个输出地点增加一个记号。 两个基本定义 · · ··· t1 p1 p5 p2 t3 p4 p3 t2 · · · ·· t1 p1 p5 p2 t3 p4 p3 t2 M = {1，1，1，2，0，1，1，0，3，0} * * 另一种表示 库所 places (被动 ) ：表示媒介、缓冲器、地理位置、状态、阶段、条件 变迁transitions ( 主动 )：通常表示事件，操作，转换和传输 连接在库所和变迁之间，具有方向 库所可以容纳标记，用黑点表示。标记通常表示对象，这些对象可能是具体的事物，也可能是抽象的信息，如上例中每个标记都表示一个保险索赔案例。 Petri网结构是固定的，而库所中的标记的分布是可变化的。 pay Claim Under consideration ready Send_letter Record rg red yellow green yr gy 例子：交通灯 rg1 red1 yellow1 green1 yr1 gy1 rg2 red2 yellow2 green2 yr2 gy2 例子：两个交通灯 rg1 red1 yellow1 green1 yr1 gy1 rg2 red2 yellow2 green2 yr2 gy2 safe 例子：两个安全的交通灯 rg1 red1 yellow1 green1 yr1 gy1 rg2 red2 yellow2 green2 yr2 gy2 safe2 safe1 例子：安全而公平的交通灯 事件驱动的Petri网 定义 EDPN是一种多向图(P，D，S，In，Out)，包括三个节点集合P、D和S，以及两个映射集合In和Out。其中： P是端口事件的集合。 D是数据地点的集合。 S是转移的集合。 In是(P∪D)×S的有序对偶集合。 Out是S×(P∪D)的有序对偶集合。 EDPN图 p3 d5 p4 p3 d6 p4 d7 s7 s8 s10 s9 为EDPN做标记 定义 EDPN(P，D，S，In，Out)的