论文部分内容阅读
应用集合论方法，从系统输入－输出的角度定义了时序可确定系统的概念，指出了铁路信号微机联锁系统是一个多步时序输入可确定系统。然后，在对高速铁路微机联锁系统的输入—输出集，特别是危险侧输出进行分析的基础上，提出了一种基于黑箱的高速铁路微机联锁系统软件安全性测试的策略。这种策略是建立在安全性输出－输入关系上的，它能在满足软件安全性测试覆盖率需求的前提下，大大减少测试案例的数量，从而极大地提高了测试评估平台对高速铁路微机联锁系统软件安全性测试的效率。