论文部分内容阅读
DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。
DO-178C has actually become the standard used to measure whether airborne software meets the safety requirements of the corresponding level when airworthiness certification for civil aircraft. It takes the software engineering process as the core, and from the definition of the target, to meet the target Need to carry out activities to achieve the goal of evidence and other points of view put forward the software development guidelines. DO-178C covers the whole process of software life cycle. This paper introduces the standards of software verification and the comprehension and practice of standards.