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

摘要：

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

关键词：计算机联锁、安全性苛求软件、测试、评价、基准

所属期刊栏目：27

分类号：U284(铁路通信、信号)

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

在线出版日期：2005-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：97-101