-
题名应用MC/DC准则时需考虑的问题及其改进方法
被引量：7
- 1
-
-
作者
陈鑫
杨平
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
2004年第3期406-410,共5页
-
文摘
MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。
-
关键词
MC/DC准则
软件结构覆盖率
复杂逻辑语句
应用过程改进
Masking方法
逻辑式
软件测试
-
Keywords
MC/DC
structural coverage analysis
improved solutions
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于DO-178B的结构覆盖分析研究
被引量：6
- 2
-
-
作者
张军才
王娟
潘卫
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名浅析民机机载软件非激活代码
被引量：1
- 3
-
-
作者
廖凯
居慧
-
机构
上海飞机设计研究院
-
出处
《科技视界》
2018年第21期33-34,共2页
-
文摘
民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软件研制单位和适航审定局方共同关注的问题。本文针对机载软件非激活代码的特殊属性,分别从软件计划、设计和验证过程,解析了业界标准中与非激活代码相关的要求。同时站在审定局方的角度,诠释了局方在适航符合性验证方面的对非激活代码的关注点。
-
关键词
机载软件
非激活代码
死代码
符合性
结构覆盖率分析
-
Keywords
Airborne software
Deactivated code
Dead code
Compliance
structural coverage analysis
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名机载大规模复杂软件结构覆盖分析方法研究
- 4
-
-
作者
王娟
赵笑龙
郁佳阳
-
机构
中国航空无线电电子研究所
-
出处
《软件》
2022年第2期172-177,共6页
-
文摘
在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法。在总结了传统结构覆盖方法的局限性后,对机载大规模复杂软件的结构覆盖分析方法进行研究,结合已有项目经验,提出了一套针对软件中不同性质的代码分别采用在宿主机或目标机上进行结构覆盖,以及使用模型覆盖工具进行结构覆盖的方法。
-
关键词
大规模复杂软件
民机适航
软件验证
结构覆盖分析
-
Keywords
large-scale complex software
civil aircraft airworthiness
software verification
structural coverage analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名浅谈DO-178C中附加代码验证目标的实现
被引量：1
- 5
-
-
作者
陈晓磊
程小贤
-
机构
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
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
[航空宇航科学与技术—飞行器设计]
-
