-
题名基于DO-178B的结构覆盖分析研究
被引量：6
- 1
-
-
作者
张军才
王娟
潘卫
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2011年第4期67-69,共3页
-
基金
航空科学基金项目资助(20101931004)
-
文摘
结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO-178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO-178B结构覆盖分析的要求。
-
关键词
DO-178B
软件测试
结构覆盖分析
-
Keywords
DO - 178B
software test
structural coverage analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名浅谈DO-178C中附加代码验证目标的实现
被引量：1
- 2
-
-
作者
陈晓磊
程小贤
-
机构
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
2024年第1期121-123,129,共4页
-
基金
工信部民机专项项目资助(MJ-2016-S-42)。
-
文摘
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。
-
关键词
结构覆盖分析(SCA)
源代码(SC)
目标码(OC)
可执行目标码(EOC)
-
Keywords
structural coverage analysis(SCA)
source code(SC)
object code(OC)
executable object code(EOC)
-
分类号
V247.1
[航空宇航科学与技术—飞行器设计]
-
