摘要:首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC61508.3:2010(GB/T20438.3—2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。
关键词:功能安全 安全软件 验证与确认 代码复审 模块测试
单位:上海工业自动化仪表研究院 上海200233 上海仪器仪表自控检验测试所功能安全中心 上海200233
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社