| 铁路信号系统软件测试建模方法 |
| |
| 引用本文： | 李耀,张晓霞,郭进,张亚东.铁路信号系统软件测试建模方法[J].西南交通大学学报,2022,57(2):392-400, 424. |
| |
| 作者姓名： | 李耀 张晓霞 郭进 张亚东 |
| |
| 作者单位： | 1.电子科技大学光电科学与工程学院, 四川 成都 6117312.西南交通大学信息科学与技术学院, 四川 成都 611756 |
| |
| 基金项目： | 国家自然科学基金（61703349）； |
| |
| 摘 要： | 针对铁路信号系统软件测试模型不能系统地描述测试需求的问题，提出风险时间状态机建模方法. 首先，分析铁路信号系统软件测试建模的特点，并提出建模需求；然后，以有限状态机理论为研究基础，在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素，提出风险时间状态机建模方法，满足功能逻辑、时间约束和风险等级3个方面的建模需求，采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制；最后，以计算机联锁系统中的道岔转换功能为例，建立风险时间状态机测试模型，并与时间自动机建模方法进行了对比，结果表明，建模方法上，所建立风险时间状态机比时间自动机节省62%的变迁数，描述能力更强，能够满足铁路信号系统软件测试的建模需求.
|
| 关 键 词： | 铁路信号系统软件 建模方法 时钟约束 风险等级 风险时间状态机 Z语言 |
| 收稿时间： | 2020-08-12 |
Modeling Method for Testing Railway Signal System Software |
| |
| LI Yao,ZHANG Xiaoxia,GUO Jin,ZHANG Yadong.Modeling Method for Testing Railway Signal System Software[J].Journal of Southwest Jiaotong University,2022,57(2):392-400, 424. |
| |
| Authors: | LI Yao ZHANG Xiaoxia GUO Jin ZHANG Yadong |
| |
| Institution: | 1.School of Optoelectronic Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China2.School of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《西南交通大学学报》浏览原始摘要信息 |
| 点击此处可从《西南交通大学学报》下载免费的PDF全文 |
|
