摘要
结构覆盖分析(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.
出处
《航空计算技术》
2011年第4期67-69,共3页
Aeronautical Computing Technique
基金
航空科学基金项目资助(20101931004)
作者简介
张军才（1979一），男，内蒙古赤峰人，工程师，硕士，主要研究方向为机载软件开发和测试，机载信息系统。
