首页 | 本学科首页   官方微博 | 高级检索  
     

反应堆控制和保护系统嵌入式软件的组合测试
引用本文:孙凯,龚建军,康佳,陈培俊,邓江明,冯亮,李远文,朱小勇,蒲蔚若.反应堆控制和保护系统嵌入式软件的组合测试[J].核动力工程,2012,33(1):56-59,77.
作者姓名:孙凯  龚建军  康佳  陈培俊  邓江明  冯亮  李远文  朱小勇  蒲蔚若
作者单位:中国核动力研究设计院,成都,610041
摘    要:为了测试反应堆控制和保护系统的嵌入式软件,将手工静态测试方法和动态仿真测试方法组合使用(简称组合测试).组合测试分为2步,即先用手工静态测试方法验证可编程逻辑控制器( PLC)嵌入式软件的安全性与合理性,再用动态仿真测试方法验证其功能的有效性.组合测试只要有通用个人计算机(PC)和待测软件的开发及仿真工具即可实施.在实际的PLC运行环境中运用硬件测试方法,对组合测试的有效性进行验证.结果表明,组合测试是有效的,且比硬件测试方法的测试效率更高.

关 键 词:反应堆控制和保护系统  嵌入式软件  软件测试

Combination Test for PLC Embedded Software in Reactor Control and Protection System
SUN Kai , GONG Jian-jun , KANG Jia , CHEN Pei-jun , DEN Jiang-ming , FENG Liang , LI Yuan-wen , ZHU Xiao-yong , PU Wei-ruo.Combination Test for PLC Embedded Software in Reactor Control and Protection System[J].Nuclear Power Engineering,2012,33(1):56-59,77.
Authors:SUN Kai  GONG Jian-jun  KANG Jia  CHEN Pei-jun  DEN Jiang-ming  FENG Liang  LI Yuan-wen  ZHU Xiao-yong  PU Wei-ruo
Affiliation:Nuclear Power Institute of China,Chengdu,610041,China
Abstract:The manual static test method and the dynamic simulation test method are combined to test the embedded software in the reactor control and protection system,which is called combination test for short.There are two steps for the combination test.Firstly,the manual static test method is used to verify the safety and rationality of PLC(programmable logic controller),and then the dynamic simulation test method is used to verify its functional effectiveness.This combination test can be conducted with PC and the development and simulation tools for the software to be tested.The effectiveness of the combination test is verified by the hardware test method in the actual PLC operation environment.The result shows that the combination test is effective and is more efficient than the hardware test method.
Keywords:Reactor control and protective system  Embedded software  Software test
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号