“功能安全产品实现技术”系列讲座第9讲安全相关产品的软件实现(三).pdfVIP

第 9 讲 安全相关产晶的软件实现(三) 廖丽华，等 功能安全产品实现技术系列讲座 第 9 讲安全相关产品的软件实现(三) Chapter 1x Implementation of the Software for Safety Related Products: Part 3 廖锦华 1 ， 2 钳 .i ti 1 ,2 (上海工业自动化仪表研究院 1 ，上海 200233 ;上海仪器仪表白控检验测试所功能安全中心 2 ，上海 2∞233 ) 摘 要:首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准 IEC 61508-3 :201O( GB/T 20438. 3- 2013) ，对软件安全生命周期中代码复审、模块测试与集成测试的-系列验证要求进行了分析，并针对每个阶段的活动流程、内容要 求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。 关键词:功能安全安全软件验证与确认代码复审模块测试集成测试 中图分类号: TP202 文献标志码 :A Abstract: Firstly. 由e naπow concept of software verification and validation for functional safety related products in software implementation are introduced. Then. on the basis of IEC 61508-3 :2010 ( GB/T 20438.3-2013) ? a series of verification requirements in software safety life cycle are analyzed. e. g. ? the code review. module testing and integration testing. and aiming at activity processes. contents requirement. test case design methodologies. test procedures and the assessments to the test result in each stage are introduced in detail. Finally. the own characteristics of safety software 町e proposed. Keywords: Functional safety Safety software Verification and validation Code review Module test Integration test 代码优化，避免代码重用等错误。 。 引言 1 代码复审 功能安全软件的一切验证和确认活动主要是为检 验与评估软件是否己正确执行其产品的安全功能。软 代码复审可依靠多种代码检???方式来完成，包括 件验证主要针对安全完整性等级要求的程度，测试和评 软件审查、人工走查和形式化检查。代码复审是针对 估软件安全生命周期在给定阶段的输出，保证该阶段输 软件的整个源代码，不管是一般芯片自带的、编译器自 出对于相应输入的正确 d性和一致性;软件确认主要是为 动生成的和人工开发的代码都要进行软件走查