民用飞机软件验证要求研究与实践

《民用飞机软件验证要求研究与实践》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、民用飞机软件验证要求研究与实践倪红英等2017年3月第48卷第1期(总第167期)民用飞机软件验证要求研究与实践12倪红英，李辰（1.中国航空无线电电子研究所，上海200241；2.海军驻上海地区航空军事代表室，上海200233）[摘要]DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准，它以软件工程过程为核心，从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程，本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。[关键词]软件验

2、证；评审；分析；测试[中图分类号]TN492[文献标识码]A[DOI编码]10.3969/j.issn.1007-141X.2017.01.09[文章编号]1006-141X（2017）01-0043-05ResearchandImplementationoftheStandardofCivilAviationSoftwareVerification12NIHong-ying,LIChen(1.ChinaNationalAeronauticalRadioandElectronicResearchInstitute,Shanghai200241,China;2.Aero

3、nauticalMilitaryRepresentativeBureauResidentinShanghaiRegionforTheNavalForce,Shanghai200233,China)Abstract:DO-178Chasbecomethecommonstandardforcheckingifthesoftwareisincompliancewiththecorrespondingsafetylevelduringcivilaircraftcertification.Itprovidesguidanceforsoftwaredevelopmentwitha

4、focusonsoftwareengineeringprocessesanddefinestheobjectivesofeachprocess,theactivitiesprovidingameansofsatisfyingtheobjectivesandtheevidenceindicatingtheobjectiveshavebeensatisfied.DO-178Ccoversthewholesoftwarelifecycle.ThedemandofsoftwareverificationinDO-178C,howtounderstandthedemandand

5、howtopracticeaccordingtoitareintroducedinthepaper.Keywords:softwareverification;review;analyses;test载系统和设备合格审定中的软件考虑》）的指导性0引言文件，国内和欧美的民用飞机适航审定组织均将民用飞机因涉及人身安全，飞机机载及地面其作为检验机载系统或设备软件是否满足适航性支持软件通常被定位为安全性要求较高的软件。的标准，软件研发组织也将其作为研发标准。为保证飞机有关软件的安全性，美国无线电委员DO-178C标准面向过程，其内容覆盖了整个会RTCA发布了DO-178C《S

6、oftwareConsiderationin软件生命周期，涉及的过程包括软件策划过程、AirborneSystemsandEquipmentCertification》（《机软件开发过程和软件综合过程。其中，软件开发.43.March,2017Vol.48No.1(serialNo.167)航空电子技术AVIONICSTECHNOLOGY过程又细分为软件需求过程、软件设计过程、软2）低级需求评审和分析；件编码过程和软件集成过程；软件综合过程又细3）软件体系结构评审和分析；分为软件验证过程、软件配置管理过程、软件质4）源代码评审和分析；量保证过程和适航取证联络过程。5）

7、集成过程输出的评审和分析；本文结合多年工作实践，解读了DO-178C标6）测试用例、测试程序、测试结果的评审和准有关软件验证的要求，针对容易产生争议的内分析。容说明了开展实践的方法和注意事项。DO-178C标准软件验证章节提到的测试有：1）低级测试：验证软件低级需求的实现；1软件验证标准2）软件集成测试：在软件体系架构下，验证在民用飞机这一安全度要求较高的领域，软软件部件之间的相互关系以及部件的组合对软件件验证是保证飞行器安全的重要手段。DO-178C需求的实现；标准定义了要达到适航要求所需要满足的71个目3）软件/硬件集成测试：验证在目标计算机环标