铁路计算机联锁软件测试技术的优化实现

• 作者: 杨国波 陈邦兴
• 来源期刊: 信息技术
• 学科: 交通运输
• 关键词: 联锁 有色Petri网 建模
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 基金项目
• 页码范围: 18-20,82
• 页数: 4页
• 分类号: U284
• 字数: 3821字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-2552.2009.01.005

摘要

铁路信号的联锁逻辑非常复杂,针对联锁逻辑的测试工作也就十分的艰巨.目前计算机联锁软件测试领域所涉及的测试技术也在不断研究过程中,将Petri网等形式化描述方法引入联锁测试是国内外研究的一个重要方向.介绍了软件测试的一般方法,并引入有色Petri网的概念与特点,将有色Petri网建模方法应用到计算机联锁软件测试技术中,给出一种优化实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈邦兴	同济大学电子与信息工程学院	25	186	8.0	13.0
2	杨国波	同济大学电子与信息工程学院	1	5	1.0	1.0