-
题名浅谈DO-178C中附加代码验证目标的实现
被引量：1
- 1
-
-
作者
陈晓磊
程小贤
-
机构
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
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
[航空宇航科学与技术—飞行器设计]
-
-
题名信息化软件开发框架的构建与应用
被引量：1
- 2
-
-
作者
孙宏强
程小贤
张耀方
张聪
-
机构
航空工业西安航空计算技术研究所
中国航发西安动力控制科技有限公司
西北工业大学
-
出处
《长江信息通信》
2023年第12期69-70,73,共3页
-
文摘
企业的信息化是基于企业现有信息系统串联起来后,各个应用系统之间通过接口传递数据。为了在企业内部自研系统之间达到数据串联,需要有一个统一的开发框架。通过搭建这个开发框架,达到企业的应用标准。企业有了一套自己的开发框架后,形成自研系统生态,就可以对企业信息系统的开发过程起到规范作用。从而可以根据开发框架确定开发流程,确保信息系统开发过程的闭环,最后形成了企业内部在自研框架下的软件开发标准,为企业信息化提供有力保障。
-
关键词
MVC模式
J2EE
信息系统
软件开发框架
-
Keywords
mvc mode
J2EE
information system
software development framework
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
