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

作     者：吴芳美 WU Fang-mei

作者机构：同济大学电子与信息工程学院上海200331 

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2005年第27卷第3期

页      面：97-101页

核心收录：

学科分类：08[工学] 082302[工学-交通信息工程及控制] 0823[工学-交通运输工程] 

基　　金：高等学校博士学科点专项科研基金资助项目(20030247021) 

主　　题：计算机联锁 安全性苛求软件 测试 评价 基准 

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