This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method ...This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system.After analyzing the model implementation,the errors of architecture designing and function realization can be found.If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.展开更多
针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petr...针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。展开更多
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。...针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。展开更多
文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN...文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN模型(Conformance Testing oriented CPN,CT-CPN),描述软件系统的功能行为;定义了基于CT-CPN描述的PN-IOCO一致性关系;之后,构建CT-CPN描述的测试目的模型,并将该模型与描述软件功能行为的CT-CPN模型执行同步模拟,提出了一种测试目的模型驱动的IOCO一致性测试选择方法,并证明了所生成测试例的可靠性及其对测试目的的覆盖完备性.PN4TS方法以实际测试数据驱动测试例的生成过程,有效保证了经测试目的选择所生成的测试例是切实可执行的.文中使用简单文件传输协议例示了PN4TS方法的应用过程,之后结合数字内容点对点网络分发软件系统的实际测试生成和测试执行实践,证实了PN4TS方法应用于较大规模软件系统的一致性测试应用时具有更好的可用性和可靠性.展开更多
基金Supported by the Foundation of Harbin Engineering University Foundation under Grant No.HEUFT05035
文摘This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system.After analyzing the model implementation,the errors of architecture designing and function realization can be found.If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.
文摘针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。
文摘针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。
