| 核安全级软件静态测试技术研究 |
| |
| 引用本文： | 陈卫华,白涛,谷鹏飞,彭华清. 核安全级软件静态测试技术研究[J]. 核科学与工程, 2016, 0(3): 392-397. DOI: 10.3969/j.issn.0258-0918.2016.03.015 |
| |
| 作者姓名： | 陈卫华 白涛 谷鹏飞 彭华清 |
| |
| 作者单位： | 核电安全监控技术与装备国家重点实验室,深圳中广核工程设计有限公司,广东深圳518172 |
| |
| 基金项目： | 国家重大科技专项资助项目(2014ZX06004002-004) |
| |
| 摘 要： | 核安全法规和相关标准规定必须对核安全级数字化设备进行硬件鉴定和软件验证与确认(VV),以证明执行核安全功能的软件的质量和可靠性,其中软件代码静态测试是核安全级软件实现阶段VV的关键环节之一。本文在分析核安全级软件编程规范的基本要求及Klocwork、Testbed工具测试特性与局限性的基础上,针对嵌入式软件开发主要采用的C语言,提出人工走查与工具自动化测试相结合的安全级软件静态测试的基本框架和评价准则,从而保证核安全级软件静态测试的质量。
|
| 关 键 词： | 核安全级 软件 验证与确认 静态测试 规程规范 |
Research on Static Testing of Nuclear Safety-Critical Software |
| |
| Abstract: | |
| |
| Keywords: | nuclear safety-critical software verification and validation (V&V) static testing code rule |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
