科研之友
微信
新浪微博
Facebook
分享链接
摘要
在国内使用商业操作系统研发核安全级设备尚未有先例,为了使商用操作系统QNX能应用于安全级设备,国际上通常采用NRC的CGD方法,对关键特性进行验证;其中关键特性测试是最有效的验证方法,但需要确定所做测试的合适范围保证商用软件能够应用于核安全设备产品中。本文在接口函数关键特性基础上提出了增加功能、性能测试的简单易行方法,对使用到的功能、性能、函数接口进行测试,保证了核安全设备所使用到的功能的质量;该方法已在核电厂安全显示装置的开发中应用,效果良好,极大节省了成本,加快了产品开发周期,可以推广到其他核级产品的研发中。
-
单位北京广利核系统工程有限公司
