This paper takes the Microcomputer Interlocking Safety Software as an example and illustrates a method how to classify the inputs of Safety Software in high speed railway.
以微机联锁安全软件测试为例，提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。
To meet the requirements for black box testing of CISS (Computer Interlocking safety critical Software), the safety requirements of CISS are denoted hierarchically and formally.
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
After the hierarchical classification of CISS (Computer Interlocking Safety-critical Software) requirement specifications, an automatic hierarchical testing strategy is introduced.
通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。
After the hierarchical classification of CISS (Computer Interlocking Safety-critical Software) requirement specifications, an automatic hierarchical testing strategy is introduced.
通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。
应用推荐