This paper describes the application of virtual instrument in fuze software safety testing system.
本文介绍了虚拟仪器技术在引信软件安全性测试系统中的应用。
Finally, it gives the application of this method used in interlocking software safety testing of HJ04A system.
最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
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.
通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。
Because the safety-critical software is often directly related to the safety of the people's life and wealth, software has to undergo safety testing strictly.
由于安全性苛求软件直接关系人身和大宗财产的安全，为此需要对软件进行严格的安全性测试。
Interlocking software is the key software to ensure the safety of railway station and locomotive operation, and high-efficient and sufficient testing holds the balance to ensure its security.
联锁软件是保障铁路车站列车或机车作业安全的关键软件，而高效、充分的测试对于保证其安全性具有举足轻重的作用。
The method and the technique now have been applied to the safety testing and assessment platform for railway signalling computer interlocking software and the results are analyzed in this paper.
这种技术现已在铁路车站计算机联锁软件安全性测试评估平台中得以应用，文章分析了其应用效果。
The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.
铁路联锁软件是典型的安全苛求软件，安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important.
因此，对安全苛求软件的测试、安全性评价非常重要。
Additionally, determinations should be made regarding requirements, software, hardware, safety impact, etc., for regression testing to check the fixes didn't create other problems elsewhere.
另外，要有做需求，软件，硬件，安全冲击等等的决心，要有回归测试去检查没有因为修改而在其他地方产生的错误。
Software security testing is an important guarantee of software safety and quality, and is gradually becoming an inevitable step in software development life circle.
软件的安全性测试是软件安全和软件质量的重要保障，也逐渐成为软件生命周期中必不可少的一环。
Studying on the auditing methods of the safety integrity of hardware and software, the method of "Proven in Use" and the testing method of electromagnetic stamina.
对硬件安全完整性等级的审核分别采用了结构限制的定性分析法和要求时平均失效概率的定量分析法。
Studying on the auditing methods of the safety integrity of hardware and software, the method of "Proven in Use" and the testing method of electromagnetic stamina.
对硬件安全完整性等级的审核分别采用了结构限制的定性分析法和要求时平均失效概率的定量分析法。
应用推荐