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

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

Research on Testing-based Safety Assessment Benchmark of Railway Computer Interlocking Software

Railway computer interlocking is one typical safety-critical system. A lot of critical technique requirements protecting the system from hazards must be considered. Software defects liable to cause unsafety shall be located effectively and incontrovertible software safety assessment shall be made. Safety testing of the system is the most satisfactory technical means to investigate the vital safety function of the interlodsing software. On the basis of prior-stace testing work, the testing-based safety assessment benchmark is discussed systematically. Some fresh concepts are defined, for example, the unsafe item , the protecting-required hazard set and the extended protection ability etc. Classified safety benchmarks are described in a formaliaed way. The paper providesla useful theoretical basis for safety testing, safety assessment and quality management of computer interlocking. Some testing cases are also analyzed.