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