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

摘要

首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念.然后基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明.最后提出安全软件的自身特性.