论文部分内容阅读
计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。
Computer interlocking is a typical system of demanding safety and it must consider many of the technical requirements to prevent risk factors. At the same time, various software defects that may cause insecurity should be found effectively, and the impartiality and non-controversial evaluation of the security of the software should be given. System security testing is to examine the interlocking software security features the most sophisticated technical means. Based on the previous research work, this paper systematically discusses the safety assessment benchmarking problem based on testing. The article defines some new concepts, such as unsafe matters, guard against dangerous risk collection, expansion of prevention capabilities. A formal description of the different taxonomies of security issues has been made. These expositions provide a useful theoretical basis for further developing the safety testing and evaluation of computer interlocking software and improving the quality control of computer interlocking. The article also analyzes some interlocking software test cases.