基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

Web应用工作流的CPN建模及测试序列生成

为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题.前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定.通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败.分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定.     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准．然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题．     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

基于有色Petri网模型的GUI测试用例自动生成技术

通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高.针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术.给出了基于有色Petri网模型的GUI对象建模方法.定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法.介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现.实验表明: 该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量.     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

基于Petri网的虚拟科研建立过程模型

 将Petri网理论引入科研领域,提出了用Petri网对动态、并发的科研过程进行描述.用Petri网描述的虚拟科研过程清晰、全面,为上层领导进行决策提供一种简洁、直观的决策分析工具.     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.     

炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统，但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网，其库所输出弧上标注的是以颜色为变量的时间区间函数，并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想，以区段赋时弧有色Ｐｅｔｒｉ网为工具，说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型，既可以仿真整个生产过程，又可以分析和综合实时调度策略。