典型文献
高铁信号系统安全关键功能测试建模方法
文献摘要：
测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法.?分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例.?最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100％?地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.
文献关键词：
铁路信号系统;建模方法;时间状态机;Z语言;时间自动机
中图分类号：
作者姓名：
李耀;张晓霞;郭进;张亚东
作者机构：
电子科技大学光电科学与工程学院, 四川 成都 611731;西南交通大学信息科学与技术学院, 四川 成都611756
文献出处：
引用格式：
[1]李耀;张晓霞;郭进;张亚东-.高铁信号系统安全关键功能测试建模方法)[J].西南交通大学学报,2022(01):28-35,45
A类：
时间状态机
B类：
高铁信号,系统安全,全关,功能测试,测试模型,测试用例生成,生成方法,系统测试,有限状态机,时钟,形式化,时间自动机,自动生成测试用例,再以,计算机联锁系统,道岔转换,建立时间,测试案例,铁路信号系统
AB值：
0.171485
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
