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

Research on Structural Coverage Analysis Based on DO-178B

作　　者：张军才[1] 王娟[1] 潘卫[1] 

机构地区：[1]中国航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2011年第4期67-69,共3页Aeronautical Computing Technique

基　　金：航空科学基金项目资助(20101931004)

摘　　要：结构覆盖分析(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 - 178 B, this paper proposes a SCA process and its implementation method. The research results have been successfully applied to many international cooperation projects.

关 键 词：DO-178B 软件测试 结构覆盖分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]