基于DO-178B的结构覆盖分析研究

摘要

结构覆盖分析(SCA)是基于DO - 178B的软件验证的重要组成部分.由于DO - 178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题.通过与国外航电设备厂商的多年的软件国际合作,以及对DO - 178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法在多个软件国际合作项目中的实际应用表明,的研究成果满足DO - 178B结构覆盖分析的要求.%Structural Coverage Analysis (SCA) is an important part of software test based on DO - 178B. How to implement SCA is a problem existing in the software development of domestic avionics equipment due to the lack of related description on engineering method in DO - 178B document. Through the many years cooperation in software development and verification with international avionics company and deep research on DO - 178B,this paper proposes a SCA process and its implementation method. The research results have been successfully applied to many international cooperation projects.