作者：赵天时有色petri网车地通信状态空间路径
摘要：CTCS-3级列控系统作为高速铁路的中枢神经系统,是典型的安全苛求系统.对安全苛求系统进行有效测试是提高系统安全性的重要手段.鉴于车地通信在列控系统中的重要性,提出一套基于有色Petri网的车地通信测试案例的生成方法.参考CTCS-3级列控系统技术规范,构建车地通信流程的有色Petri网模型,生成状态空间并搜索到达目标状态的路径,在路径的基础上自动生成测试案例.通过对比使用有色Petri网自动生成和现有的测试案例,验证了测试案例生成方法的正确性,提高了测试案例生成方法的自动化程度,为基于模型的系统测试提供了参考.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《北京交通大学学报·社会科学版》（CN：11-5224/C）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《北京交通大学学报·社会科学版》主要刊登人文社会科学和经济管理科学领域及文、理、管结合的交叉学科等方面的学术研究论文和问题探讨。
杂志详情
