计算机联锁软件测试与安全性评价研究

计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和统一的评估标准,以及保证软件的安全性。系统安全测试是用于测试阻止软件安全功能的最复杂的技术工具,基于以前的测试和研究,该文主要分析了基于测试的安全评估标准,并且还定义了新概念,象危险问题、风险收集预防以及扩展预防范围。对安全问题分类的不同标准的正式描述为进一步开发计算机联锁软件的测试和安全评估提供了有用的理论基础,而且该文还研究了一些计算机联锁软件测试的例子。