核安全级软件静态测试技术研究

作     者：陈卫华 白涛 谷鹏飞 彭华清 CHEN Wei-hua;BAI Tao;GU Peng-fei;PENG Hua-qing

作者机构：核电安全监控技术与装备国家重点实验室深圳中广核工程设计有限公司广东深圳518172 

基　　金：国家重大科技专项资助项目(2014ZX06004002-004) 

出 版 物：《核科学与工程》 (Nuclear Science and Engineering)

年 卷 期：2016年第36卷第3期

页      码：392-397页

摘      要：核安全法规和相关标准规定必须对核安全级数字化设备进行硬件鉴定和软件验证与确认(V&V),以证明执行核安全功能的软件的质量和可靠性,其中软件代码静态测试是核安全级软件实现阶段V&V的关键环节之一。本文在分析核安全级软件编程规范的基本要求及Klocwork、Testbed工具测试特性与局限性的基础上,针对嵌入式软件开发主要采用的C语言,提出人工走查与工具自动化测试相结合的安全级软件静态测试的基本框架和评价准则,从而保证核安全级软件静态测试的质量。

主 题 词：核安全级 软件 验证与确认 静态测试 规程规范 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.0258-0918.2016.03.015

馆 藏 号：203190110...