资源描述：
《“ 功能安全产品实现技术“系列讲座 第9讲 安全相关产.pdf》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第9讲摇安全相关产品的软件实现(三)摇廖丽华,等“功能安全产品实现技术冶系列讲座第9讲摇安全相关产品的软件实现(三)Chapter御摇ImplementationoftheSoftwareforSafetyRelatedProducts:Part31,21,2廖丽华摇谢亚莲12(上海工业自动化仪表研究院,上海摇200233;上海仪器仪表自控检验测试所功能安全中心,上海摇200233)摘摇要:首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC61508鄄3:2010(GB/T20
2、438.3鄄2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。关键词:功能安全摇安全软件摇验证与确认摇代码复审摇模块测试摇集成测试中图分类号:TP202摇摇摇摇文献标志码:AAbstract:Firstly,thenarrowconceptofsoftwareverificationandvalidationforfunctionalsafetyr
3、elatedproductsinsoftwareimplementationareintroduced.Then,onthebasisofIEC61508鄄3:2010(GB/T20438.3鄄2013),aseriesofverificationrequirementsinsoftwaresafetylifecycleareanalyzed,e.g.,thecodereview,moduletestingandintegrationtesting,andaimingatactivityprocesses,
4、contentsrequirement,testcasedesignmethodologies,testproceduresandtheassessmentstothetestresultineachstageareintroducedindetail.Finally,theowncharacteristicsofsafetysoftwareareproposed.Keywords:Functionalsafety摇Safetysoftware摇Verificationandvalidation摇Coder
5、eview摇Moduletest摇Integrationtest代码优化,避免代码重用等错误。0摇引言1摇代码复审功能安全软件的一切验证和确认活动主要是为检验与评估软件是否已正确执行其产品的安全功能。软代码复审可依靠多种代码检查方式来完成,包括件验证主要针对安全完整性等级要求的程度,测试和评软件审查、人工走查和形式化检查。代码复审是针对估软件安全生命周期在给定阶段的输出,保证该阶段输软件的整个源代码,不管是一般芯片自带的、编译器自出对于相应输入的正确性和一致性;软件确认主要是为动生成的和人工开发的代码,都要
6、进行软件走查和人了证明安全相关产品在软硬件集成后符合软件安全要工走查,一般同时进行,相辅相成;而形式化检查是否求规定。本文所述的软件验证是指狭义的软件安全生需要,则按安全完整性等级和软件模块设计规范选择。命周期中后期的静态代码复审、模块测试、集成测试阶为达到软件安全完整性等级的要求,源代码应需段的验证技术,主要是动态的,与上述安全生命周期的具有以下代码属性:可读、可理解、可测试性;满足软件早期的几个阶段不同,因为前期的验证主要是静态的。模块设计的规定要求;满足编码标准的规定要求;满足本文的软件验证技术主要是
7、软件测试,它是软件安全计划编制中规定的所有相关要求。代码实现后(除代码复审外)一切验证与确认活动的软件走查的主要任务是依据制定好的软件编码标主要方法,其首要条件是最好考虑到软件验证的独立准和已选择的软件测试工具对源代码进行分析,从而生性,必须由开发人员外的专业领域测试人员进行,避免成代码复审报告;然后让开发人员针对违背编码标准的陷入开发人员既定的编程思维,从而不利于算法优化、语句在不会影响整个模块设计的前提下(如果确认为模块设计的问题,则重回模块设计阶段修改验证)进行修修改稿收到日期:2013-12-10。
8、改,直到顺利通过编码标准为止;最后如果存在软件和作者廖丽华(1983-),女,2010年毕业于南京航空航天大学安全技术硬件的实际需求而无法通过编码标准的语句,则须针对及工程专业,获硕士学位;主要从事功能安全及软件的验证与确认方面的研究工作。每条语句给予违背编码规则说明文档记录。92PROCESSAUTOMATIONINSTRUMENTATIONVol郾35No郾2February2014第9讲摇安全相关产品的软件
