从UML到GSPN的转换和性能分析方法

UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式;最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化。     

基于GSPN的飞机测试性指标确定方法研究

针对目前飞机测试性指标论证时缺乏有效方法支撑问题,提出了一种基于广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)的测试性指标确定方法;通过分析飞机航线级的维修过程,构建过程的GSPN模型,并对模型进行求解和分析,得到测试性指标与使用可用度和平均修复时间之间的关系,以这两个指标共同作为约束目标,通过权衡分析确定飞机合理的测试性指标,并以某飞机测试性指标论证为例,演示验证了方法的可行性。     

无人机控制器测试系统的设计与实现

为保证无人机控制系统的可靠性及稳定性,在其投入生产前,有必要对控制系统中各部分的设计、所使用器件及其功能的实现进行检测,为后续的调试与应用节省人力、物力与时间;为此针对某型无人机控制器提出并实现了一种以DSP为处理核心的测试系统方案,详细给出了系统整体方案的设计和具体功能模块的测试方法;该测试系统体积小、携带方便、可靠性高,经实际应用表明,该系统可以很好地完成控制器各部分的性能测试。     

基于联合压力测试的Web应用程序性能预测方法

提出了一种基于联合压力测试的性能预测方法：在客户端对Web应用程序进行一系列负载测试的同时，对运行Web应用程序的服务器进行资源消耗，接着根据测试结果建立性能模型，做出性能预测。在一个典型的Web应用系统上应用了这种方法，通过与传统负载测试结果的比较，证明了这种方法的可行性、准确性和效率。     

分布式网络性能测试系统的设计与实现

网络性能测试是网络测试中的一个重要部分。介绍了一种分布式测试和集中控制相结合的网络性能测试模型,并对该模型的测试目标、测试方法、体系结构及实现机制进行了深入的分析和讨论,在此基础上进行了系统的设计和实现。实验结果表明,系统具有良好的可扩展性,适合对大规模的网络进行性能测试。     

利用LoadRunner实现Web负载测试的自动化

对一个软件系统而言,系统的性能包括执行效率、资源占用、稳定性等等,其中负载压力是性能的一个重要方面。负载压力测试有助于确认被测系统是否能够支持性能需求,以及预期的负载增长,并找出系统出现异常的原因,从而对系统性能进行调优。随着Web应用程序的使用越来越广泛,对它的性能进行测试也变得越来越重要,而采用自动化的测试工具极大地方便了Web的测试。文中利用MI的自动化测试工具LoadRunner,初步实现了Web负载测试的自动化。     

利用LoadRunner实现Web负载测试的自动化

对一个软件系统而言，系统的性能包括执行效率、资源占用、稳定性等等，其中负载压力是性能的一个重要方面。负载压力测试有助于确认被测系统是否能够支持性能需求，以及预期的负载增长，并找出系统出现异常的原因，从而对系统性能进行调优。随着Web应用程序的使用越来越广泛，对它的性能进行测试也变得越来越重要，而采用自动化的测试工具极大地方便了Web的测试。文中利用MI的自动化测试工具LoadRenner，初步实现了Web负载测试的自动化。     

基于GPRS的陀螺综合虚拟测试系统设计

针对飞行器导航控制系统姿态信息的远程无线数据采集物理仿真及工程应用需求和数据采集系统应具有实时性能好、高精度及高可靠性等技术性能要求,设计和实现了陀螺远程综合测试系统;测试系统采用实验转台提供标准角速度信号,光纤陀螺作检测标准,待测陀螺为微机械陀螺;采用了巴特沃斯低通滤波器和滑动均值滤波器联合对采集的陀螺数据进行滤波处理;对标度因数、非线性度、最大角速度等部分常用技术参数的测试及计算方法做了分析,用辨识法对陀螺系统模型进行了建模,从而提高了数据采集的准确性;经实验验证,测试系统实现了远程无线数据采集的功能,被测陀螺的检测数据及陀螺模型能够反映实际效果,其准确性、实时性及供电系统的性能均满足了设计的预期要求.     

基于虚拟仪器的电液比例变量泵自动测控系统

设计并开发了集传感器技术、可编程逻辑控制器(PLC)、工控机和虚拟仪器于一体的计算机辅助电液比例变量泵自动测控系统.采用了速度闭环、压力闭环和流量闭环的控制方法,保证了电液比例变量泵在稳态测试过程中各参数的精度达到小于1%的要求.运用虚拟仪器技术实现了电液比例变量泵动静态综合性能的测试,主要包括基本性能测试、压力流量滞回曲线测试以及压力流量阶跃响应测试.现场测试结果表明,该测控系统具有较高的测试精度和效率,能及时发现系统动作异常并可以进行自我保护.     

基于GSPN和人工免疫算法的并行测试任务调度研究

针对ATS中并行测试任务调度复杂、难以优化的问题,提出了一种广义随机Petri网和人工免疫算法相结合的任务调度优化算法.首先对并行测试系统建立广义随机Petri网(GSPN)模型,然后将激发的变迁序列集作为并行测试任务调度路径;将免疫克隆选择算法(ICSA)应用到并行测试系统任务调度问题中,并提出一种自适应克隆选择算子,搜索最优任务调度路径,得到以测试时间最短为目标的最优任务调度方案.用某型雷达接收机并行测试系统对该算法进行仿真验证,结果表明,与改进的混合遗传算法(IHGA)相比,该算法能够便捷地得到任务调度最优序列,且测试效率更高.     

Time scale decomposition of a class of generalized stochastic Petrinet models

A time-scale decomposition (TSD) algorithm of a class of generalized stochastic Petri net (GSPN) models of systems comprising activities whose duration differ by orders of magnitude is presented. The GSPN model of a system can be decomposed into a hierarchical sequence of aggregated subnets, each of which is valid at a certain time scale. These smaller subnets are solved in isolation and their solutions are combined to get the solution of the whole system. A degradable multiprocessor system which would be intractable using conventional techniques, is analyzed using TSD. The complexity of the TSD algorithm can be orders of magnitude smaller without any significant loss in the accuracy of the result. In general, the error due to aggregation is proportional to the maximum degree of coupling between aggregates. An expression of the error due to aggregation is also given in terms of the ratio of fast and slow transitions in the GSPN model. The algorithm is easy to use and can be easily automated     

基于广义随机Petri网的并行自动测试系统性能分析研究

为了提高并行自动测试系统的测试效率,改善系统总体性能,运用基于广义随机Petri网的系统性能分析方法,对并行测试任务过程建立广义随机Petri网模型,将并行测试过程同构于马尔科夫过程,并对该过程进行性能分析,进而得到并行测试系统中各种测试资源的利用率以及任务过程的平均延时数据;根据模型计算所得到的测试资源利用率,确定影响并行测试系统性能的瓶颈所在;通过分析并行测试系统中测试资源调用的分布情况,调整测试资源同测试任务的匹配关系,以达到进一步提高测试系统测试效率的目的。     

广义随机Petri网在制造系统中的应用

介绍广义随机Petri网,通过把其状态分为隐状态和显状态并消去隐状态,使得计算复杂 度降低,并将其应用在一个制造系统模型上,使用禁止弧来消除制造系统的冲突.     

基于GSPN的工作流模型性能评价方法与应用

广义随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,在工作流模型性能评价领域应用越来越广泛。论文着重讨论了基于广义随机Petri网的工作流模型性能评价的技术和方法,对于其分析过程中涉及的问题,尤其是广义随机Petri网的等价化简问题,进行了详细的阐述。文章最后结合一个应用实例“全国高等教育网上阅卷系统”对建模和分析评价过程进行了说明。     

A combined queueing network and stochastic Petri-net approach for evaluating the performability of fault-tolerant computer systems

In this paper the performability analysis of fault-tolerant computer systems using a hierarchical decomposition technique is presented. A special class of queueing network (QN) models, the so-called BCMP [4], and generalized stochastic Petri nets (GSPN) [1] which are often used to separately model performance and reliability respectively, have been combined in order to preserve the best modelling features of both.

A conceptual model is decomposed into GSPN and BCMP submodels, which are solved in isolation. Then, the remaining GSPN portion of the model is aggregated with flow-equivalents of BCMP models, in order to compute performability measures. The substitutes of BCMP models are presented by means of simple GSPN constructs, thereby preserving the 1st and 2nd moments of the throughput. A simple example of a data communication system where failed transmissions are corrected, is presented.     

基于GSPN的网络系统动态可靠性建模方法

针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。     

基于GSPN的Web服务组合建模与评价

如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。     

MPP系统模型化的广义随机Petri网技术

本文提出一种模型化海量并行处理（ＭＰＰ）系统的广义随机Ｐｅｔｒｉ网技术ＧＳＰＮ。首先，通过外延优先权标记Ｐｅｔｒｉ网，提出了ＧＳＰＮ的定义、时序规范、变迁激光规则和计算公式。然后，讨论使用ＧＳＰＮ模型化ＭＰＰ系统的技术途径和实现方案，分别阐述了ＧＳＰＮ形式化描述共享存储器方式和信息传递方式ＭＰＰ系统的有效怀，并给出了实例。此外，我们还分析和提出了ＣＳＰ（通信顺序进程）理论中主要进程与Ｐｅｔｒｉ网之