基于覆盖率驱动的SoC验证技术研究 被引量：5

1

作者 朱车壮 陈岚 冯燕 《微电子学与计算机》 CSCD 北大核心 2011年第11期48-52,共5页

覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向.文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL... 覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向.文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正,直到验证的完整性满足设计的要求. 展开更多

关键词 SoC验证方法 覆盖率驱动 结构覆盖率 功能覆盖率 断言覆盖率

下载PDF 职称材料

MC/DC准则在嵌入式软件测试中的应用 被引量：6

2

作者 安媛 陆云峰 《自动化仪表》 CAS 2019年第6期76-79,共4页

MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现M... MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用。 展开更多

关键词 嵌入式软件 软件测试 MC/DC 结构覆盖 逻辑控制 仪控 VectorCAST 最小测试用例集

下载PDF 职称材料

基于面向多种覆盖率驱动的验证方法研究 被引量：1

3

作者 董伟杰 张晓静 《中国测试技术》 CAS 2008年第5期54-56,共3页

验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分... 验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析。然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求。覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据。 展开更多

关键词 验证方法 覆盖率驱动 功能覆盖率 结构覆盖率 断言覆盖率

下载PDF 职称材料

基于DO-178C的无关代码和非激活代码适航研究

4

作者 李燕琳 郑雪峰 +3 位作者 潘路平 钟旭旭 曾析 胡胤杰 《航空计算技术》 2024年第4期76-79,共4页

目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适... 目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。 展开更多

关键词 DO-178C 结构覆盖 无关代码 死代码 非激活代码

下载PDF 职称材料

基于DO-178的机载软件结构覆盖分析 被引量：1

5

作者 左泽轩 薛战东 《科技视界》 2016年第15期1-2,25,共3页

随着民用飞机机载软件的应用越来越广泛,软件复杂程度越来越高,按照DO-178设计保证指南进行机载软件开发逐渐成为行业规范。机载软件测试是验证过程的关键,对测试结果的覆盖分析中的结构覆盖,DO-178仅提出了相关目标的抽象要求,在工程... 随着民用飞机机载软件的应用越来越广泛,软件复杂程度越来越高,按照DO-178设计保证指南进行机载软件开发逐渐成为行业规范。机载软件测试是验证过程的关键,对测试结果的覆盖分析中的结构覆盖,DO-178仅提出了相关目标的抽象要求,在工程实际验证软件过程中不便理解和实现。本文结合适机载软件工程实践,浅析对测试覆盖分析过程的理解。 展开更多

关键词 DO-178 机载软件 结构覆盖 MC/DC

下载PDF 职称材料

目标码流图和结构覆盖率获取方法 被引量：1

6

作者 文勇 蔡铭 +2 位作者 陈刚 杨子江 金星 《计算机工程与设计》 CSCD 北大核心 2010年第11期2568-2571,共4页

为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分... 为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。 展开更多

关键词 软件验证 目标码验证 CPU模块扩展 控制流图 结构覆盖

下载PDF 职称材料

应用MC/DC准则时需考虑的问题及其改进方法 被引量：7

7

作者 陈鑫 杨平 《计算机工程与设计》 CSCD 2004年第3期406-410,共5页

MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问... MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。 展开更多

关键词 MC/DC准则 软件结构覆盖率 复杂逻辑语句 应用过程改进 Masking方法 逻辑式 软件测试

下载PDF 职称材料

基于DO-178B的结构覆盖分析研究 被引量：6

8

作者 张军才 王娟 潘卫 《航空计算技术》 2011年第4期67-69,共3页

结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以... 结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO-178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO-178B结构覆盖分析的要求。 展开更多

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

下载PDF 职称材料

浅谈DO-178C中附加代码验证目标的实现 被引量：1

9

作者 陈晓磊 程小贤 《航空计算技术》 2024年第1期121-123,129,共4页

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附... DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。 展开更多

关键词 结构覆盖分析(SCA) 源代码(SC) 目标码(OC) 可执行目标码(EOC)

下载PDF 职称材料

浅析民机机载软件非激活代码 被引量：1

10

作者 廖凯 居慧 《科技视界》 2018年第21期33-34,共2页

民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软... 民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软件研制单位和适航审定局方共同关注的问题。本文针对机载软件非激活代码的特殊属性,分别从软件计划、设计和验证过程,解析了业界标准中与非激活代码相关的要求。同时站在审定局方的角度,诠释了局方在适航符合性验证方面的对非激活代码的关注点。 展开更多

关键词 机载软件 非激活代码 死代码 符合性 结构覆盖率分析

下载PDF 职称材料

机载大规模复杂软件结构覆盖分析方法研究

11

作者 王娟 赵笑龙 郁佳阳 《软件》 2022年第2期172-177,共6页

在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法。在总结了传统结构覆盖方法的局限性后,对机载大规模复杂软件的结构覆盖分析方法进行研究,结合已有项目经验,提出了一套针对软件中... 在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法。在总结了传统结构覆盖方法的局限性后,对机载大规模复杂软件的结构覆盖分析方法进行研究,结合已有项目经验,提出了一套针对软件中不同性质的代码分别采用在宿主机或目标机上进行结构覆盖,以及使用模型覆盖工具进行结构覆盖的方法。 展开更多

关键词 大规模复杂软件 民机适航 软件验证 结构覆盖分析

下载PDF 职称材料