基于DO-178C机载软件验证过程的研究.pdfVIP

基于DO-178C机载软件验证过程的研究

发布时间：2023-02-22T02:56:10.592Z来源：《中国科技信息》2022年19期作者：冯义飞荣华

[导读]本文通过对RTCADO-178C标准机载软件生命周期过程的研究

冯义飞荣华

中电科航空电子有限公司四川成都610000

摘要:本文通过对RTCADO-178C标准机载软件生命周期过程的研究，分析了软件验证过程需要开展的活动，并提出了相应的实施方

法，对后续机载软件研制过程中如何开展软件验证提供了参考。

关键字:DO-178C软件生命周期软件验证方法软件验证活动

ResearchonSoftwareVerificationProcessofDO-178C

FengyifeiRonghua

(CETCAvionicsCo.,Ltd.,Chengdu,Sichuan610000)

Abstract:WiththeresearchoftheairbornesoftrwarelifecycleprocesswhichfocusonDO-178Cstandard,thispaperanalyzethesoftware

verificationactivitiesandtheverificationmethod.Itwillprovidereferrenceforthesoftwareverificationinthesubsequentonboardsoftware

developmentprocess.

KeyWord:DO-178Csoftwarelifecycle,softwareverificationmethod,softwareverificationactivies

1概述

随着我国民机的发展，机载软件的验证也变得越来越重要，为了满足适航标准要求，机载软件验证活动则需要基于DO-178C标准开展。

本文以DO-178C软件验证过程目标为主线，对软件验证过程进行了研究，讲述了机载软件验证活动实施的方法。

2软件生命周期过程

DO-178C将机载软件的软件生命周期过程划分为软件计划过程、软件开发过程（包含软件需求过程、软件设计过程、软件编码与集成过

程）、软件验证过程、软件构型管理过程、软件质量保证过程以及审定联络过程。软件验证过程、软件构型管理过程、软件质量保证过程

和审定联络过程是综合性过程，贯穿整个软件生命周期。图1描述了基于DO-178C的软件生命周期过程。项目首先进入“软件计划过程”，在

通过“计划过程评审”后，项目启动实际的软件研制工作，并依次经历“软件需求过程”、“软件设计过程”、“软件编码与集成过程”，其间分别

通过“需求过程评审”、“设计过程评审”和“软件编码集成过程评审”对产出数据项进行验证。软件验证过程是对软件计划过程、软件需求过

程、软件设计过程、软件编码与集成过程以及软件验证过程本身的输出进行评估的过程，此过程产出的各类软件验证记录数据项将进行“验

证结果评审”。在“验证结果评审”通过后，，该过程对机载软件的整个研制过程进行总结，并详细说明研制过程对适航审定计划及

RTCA/DO-178C的符合性、过程偏离、研制中形成的问题报告及软件特性。

3软件验证方法

验证并不是简单的测试，测试并不能够完全发现错误。DO-178C推荐的软件验证方法包括评审、分析和测试。

3.1评审方法

评审是对项目开发过程中的文档、软件等进行目视检视，以检验软件对需求满足情况的一种验证方法。评审将使用指定的评审检查单对

评审数据进行评审，确保评审数据满足DO-178C定义的生命周期过程目标。

3.2分析方法

分析为软件正确性提供可重复的证据。分析应具有规程和结果。分析规程包含目标、标准和相关要求，进行分析的详细说明以及分析完

成标标准。分析结果包含分析规程的识别，分析的数据项的识别，执行分析者，分析结果及支撑数据，分析结果产生的纠正措施以及分析

结论。典型的分析方法有最差执行时间分析、堆栈与存储分析、软件集成过程分析、结构覆盖分析及需求覆盖分析。这些分析是为了发现

和报告基于需求的软件测试对软件需求、软件架构、软件源代码覆盖的不足之处，并确保基于需求的测试满足DO-178C定义的生命周期过

程目标。

3.3测试方法

测试是提供