计算机联锁软件基于测试的安全性评价基准研究

• 作者: 吴芳美
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 计算机联锁 安全性苛求软件 测试 评价 基准
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 综述
• 页码范围: 97-101
• 页数: 5页
• 分类号: U284
• 字数: 4808字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2005.03.018

摘要

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求.同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价.系统的安全性测试是考察联锁软件安全性功能最周密的技术手段.在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题.文章定义了某些新的概念,如:不安全事项、防范致险元集合、扩充防范能力等.对安全性问题的不同分类基准作了形式化的描述.这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据.文章还对一些联锁软件测试实例进行了分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴芳美	同济大学电子与信息工程学院	32	431	12.0	20.0