基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析。     

基于工作流网的电子商务平台建模技术研究

建模是系统开发过程中十分重要的一步,传统的图形化建模工具,不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路,应用工作流网技术完成了对电子商务平台的建模,解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程,精确分析了模型的重要性质,应用Petri网模拟分析工具PN-applet,对系统模型进行了模拟运行,并评价了系统设计的可行性,对系统开发有积极的指导意义。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范（程序）的精化。精化演算方法能够通过演算的方式,把规范逐步精化为程序。然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的。形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序。因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索。     

基于Petri网展开的多线程程序数据竞争检测与重演

数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨迹进行分析和挖掘,构建程序的一个Petri网模型,它由单一轨迹挖掘得到,却可隐含程序的多个不同运行轨迹,由此可在保证效率的同时降低传统动态分析方法的漏报率;其次,提出基于Petri网展开的潜在数据竞争检测方法,相比静态分析方法在有效性上有较大提升,而且能明确给出数据竞争的产生路径;最后,对上一阶段检测到的潜在数据竞争,给出基于CalFuzzer平台的潜在死锁重演调度方法,可剔除误报,保证数据竞争检测结果的真实性.开发相应的原型系统,结合公开的程序实例验证了所提方法的有效性.     

基于ExSpect的维修保障联邦成员开发

分析了ExSpect的建模方法和软件接口,建立了基于ExSpect的维修保障仿真模型。开发了仿真对象模型（SOM）,并对其信息接口进行了改造,从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接,为后续开发高层体系结构（HLA）环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范(程序)的精化.精化演算方法能够通过演算的方式,把规范逐步精化为程序.然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的.形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序.因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索.     

基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

基于Petri网的实时数据交换软件异常控制设计与性能分析

在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况.而数据交换软件的性能又在很大程度上影响着测控软件的质量.在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的.因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的.本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论.     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

基于Petri网的柔性制造系统作业调度研究与实现

选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMS Petri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性.     

进路建立过程的时间有色petri网建模与仿真

计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。     

Modeling uncertainties involved with software development with a stochastic Petri net

Abstract: Due to the rapid growth of the IT industry as well as the high failure rate of software development projects, it is highly desirable to develop a qualitative approach for dealing with uncertainties in the software development process. In order to manage risk and uncertainty, a software project uncertainty management approach based on a generalized stochastic Petri net is proposed. It consists of two main components: model building based on a Petri net and a Markov process algorithm. The technique is presented with an example. Finally, the proposed model is demonstrated with a real-world case.     

基于Petri网结构的多处理机实时操作系统

多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点,采用它来解决多处理机软件的描述问题,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法.该方法基于两种程序设计级别:任务级和作业级.前者负责描述基本操作,由单一控制线程完成;后者用于并行/并发程序建模,由整个多处理机系统来执行.在作业级程序设计中,用户采用面向对象Petri网来描述并行程序结构,以建立系统模型.该方法以一种接近于程序员的思维方式去设计并发软件,提供了一种可靠的并行结构的程序.阐述了支持此种程序设计方法的操作系统结构及其实现原理.     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

基于矩阵运算的Petri网反向推理算法

通过对加权模糊Petri网模型和反向推理算法的研究,建立了加权模糊Petri网的关联Petri网推理模型。在此基础上,提出了基于矩阵运算的反向推理算法。通过实例对算法进行了检验,结果表明该算法具有解决复杂问题的并行推理能力、推理效率高、推理过程简单、容易实现。     

OOPN-SOA架构下全球供应链业务优化研究

以全球供应链为研究对象,讨论全球供应链业务优化问题,区别于以往以博弈论工具为主求解全局优化的方法,提出基于对象Petri net建模方法,给出建模步骤和模型活性检验算法。根据OPN工具的输入输出特性,设计基于SOA的服务进化策略实施步骤。案例检验采用宁晋地区电缆产业数据,该方法提出改善国际消费者金融服务和国内生产者金融服务两个建议,证明了方法的有效性。     

基于Petri网的联锁软件测试用例动态生成

根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表 明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。     

联锁软件的统一建模语言和Petri网建模

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model．PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。     

基于Perti网的并行测试程序运行管理模型

并行自动测试系统中,为了对并行测试程序运行管理机制的运行状态进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了并行自动测试程序的运行管理模型.该模型基于Petri网描述测试流程的资源申请、资源分配、流程启动、运行监控、流程终止、资源释放的全过程.在该模型下对一个系统实例进行了仿真分析,实验结果表明,该模型适于描述该类系统的运行管理状态.