Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Nuclear Science and Engineering》 2016-03
Add to Favorite Get Latest Update

Research on Static Testing of Nuclear Safety-Critical Software

CHEN Wei-hua;BAI Tao;GU Peng-fei;PENG Hua-qing;State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment,China Nuclear Power Design CO.,LTD;  
Nuclear safety regulations and related standards require that nuclear safetycritical digital equipments must be certified by hardware qualification and software verification and validation(VV),by which the safety and reliability of software performing nuclear safety-critical functions are proven.Software static test is one of the key steps during the software VV life cycle.In this note,the basic requirements of static test for nuclear safety-critical software are introduced firstly.The characteristics and limitations of the automated static testing tools,Klocwork and Testbed,are analyzed respectively then.Finally,an integrated method and the associated evaluation criteria are proposed combined with walkthrough and automated tools for static test of embedded nuclear safety-critical software developed by C language.Therefore,the quality of nuclear safety-critical software is further improved.
【Fund】: 国家重大科技专项资助项目(2014ZX06004002-004)
【CateGory Index】: TM623
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 1 Hits
1 MAO Cong-ji,WU Qi (Nuclear and Radiation Safety Centre,MEP,100082);Research of Software Design and Coding for Safety Systems in Nuclear Power Plants[J];核电子学与探测技术;2012-04
【Co-citations】
Chinese Journal Full-text Database 2 Hits
1 CHEN Wei-hua;BAI Tao;GU Peng-fei;PENG Hua-qing;State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment,China Nuclear Power Design CO.,LTD;;Research on Static Testing of Nuclear Safety-Critical Software[J];核科学与工程;2016-03
2 ;Discussion of the Independence of Software Verification and Validation[J];自动化仪表;2014-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved