嵌入式联锁软件模拟自动测试平台的研究

• 作者: 吴芳美 徐中伟
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 联锁 软件测试 故障树 安全性需求
• 年，卷（期）: 2001,（5）
• 页码范围: 60-64
• 页数: 5页
• 分类号: U284
• 字数: 4541字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2001.05.013

摘要

为满足联锁软件黑箱测试的要求,对联锁软件安全性需求进行了分级形式化表达.阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案.最后,给出了自动测试平台得到的联锁软件分类测试结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息学院	95	644	13.0	20.0
2	吴芳美	同济大学电子与信息学院	32	431	12.0	20.0