| 基于Petri网的联锁软件测评仿真建模 |
| |
| 引用本文： | 宫杰,陈邦兴.基于Petri网的联锁软件测评仿真建模[J].计算机应用与软件,2009,26(2). |
| |
| 作者姓名： | 宫杰 陈邦兴 |
| |
| 作者单位： | 同济大学电子与信息工程学院信通系,上海,201804 |
| |
| 摘 要： | 车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.
|
| 关 键 词： | 联锁 软件测试 建模 Petri网 |
ON MODELLING THE SIMULATION OF INTERLOCKING SOFTWARE TEST BASED ON Petri NET |
| |
| Gong Jie,Chen Bangxing.ON MODELLING THE SIMULATION OF INTERLOCKING SOFTWARE TEST BASED ON Petri NET[J].Computer Applications and Software,2009,26(2). |
| |
| Authors: | Gong Jie Chen Bangxing |
| |
| Affiliation: | School of Electronics and Information Engineering;Tongji University;Shanghai 201804;China |
| |
| Abstract: | Railway station interlocking software always has strict test demand,and simulation module is an important part of the test.As a kind of formal program language,Petri-Net has the properties of accuracy and completion,and is particularly suitable for safety-critical software test.In the paper,it proposes an approach for modelling the simulation module with Petri-Net in interlocking software test,and presents two examples on basic Petri-Net and Colour Petri-Net respectively.The model will be help in improving ... |
| |
| Keywords: | Interlocking Software test Modelling Petri-Net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
