目标码

作品数：35被引量：41H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李榕张公正陈莹罗禾佳王俊更多>>
相关机构：华为技术有限公司维沃移动通信有限公司杭州海康威视数字技术股份有限公司西安电子科技大学更多>>
相关期刊：《数字技术与应用》《空间控制技术与应用》《计算机工程与应用》《电讯技术》更多>>
相关基金：国家自然科学基金国防基础科研计划航天支撑技术基金航天科技创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
浅谈DO-178C中附加代码验证目标的实现被引量：1
《航空计算技术》2024年第1期121-123,129,共4页陈晓磊 程小贤 
工信部民机专项项目资助(MJ-2016-S-42)。
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附...
关键词：结构覆盖分析(SCA) 源代码(SC) 目标码(OC) 可执行目标码(EOC) 
虚拟验证技术在弹载软件测试中的应用
《信息技术与信息化》2023年第9期98-103,共6页石磊 
航空科学基金(2017ZD12013)。
为解决以往实物弹载嵌入式系统软件测试验证很难实现异常故障注入导致测试充分性无法保证的缺点,通过基于目标码的嵌入式软件系统虚拟验证技术开展应用研究,针对弹载软件特征,利用CPU虚拟化、外设虚拟化和测试数据注入等技术构建测试虚...
关键词：目标码 虚拟验证 CPU虚拟化 外设虚拟化 测试数据注入 异常故障测试 
基于Keil C51的嵌入式软件外设虚拟化设计与实现被引量：1
《计算机测量与控制》2023年第4期205-212,共8页申臻 宋雷军 魏冬冬 于清华 刘涛 
航空航天控制领域嵌入式软件测试主要存在软件运行物理环境受限和软件测试覆盖性不足等问题,为解决以上问题,对嵌入式软件的外部设备进行了研究,构建了数字化测试平台替代实物环境的方案,设计并完成了平台的总线1553B、总线RS422、AD采...
关键词：1553B虚拟化 KEIL 嵌入式软件 数字测试环境 目标码覆盖率 
伺服软件组件产品化设计方法及应用
《航天工业管理》2021年第12期79-83,共5页刘志蕾 张建国 王效亮 丁怀龙 宋茜 
随着型号任务的不断增多,各型号配套嵌入式伺服软件开发设计及测试任务也越来越繁重,为缩短型号伺服软件的开发及测试周期、降低开发难度,进一步提高软件产品质量,北京精密机电控制设备研究所开展了伺服软件组件产品化设计工作。经过近...
关键词：软件组件 产品化 机电控制 配置管理 目标码 伺服 型号选择 测试周期 
基于QEMU的动态二进制插桩技术被引量：3
《计算机研究与发展》2019年第4期730-741,共12页邹伟 高峰 颜运强 
国防基础科研计划重点项目(JCKY2016212B004)~~
软件插桩是程序优化、软件调试、软件测试、故障定位等软件动态分析的基础技术.而其中,动态二进制插桩技术,因其无侵入性,即既不需要对源代码进行修改编译,又不需要重新组装二进制程序,不会引起目标码膨胀,而广泛应用于软件动态分析,特...
关键词：动态分析 动态二进制插桩 QEMU 二进制目标码 软件测试 
基于R46标准的智能电能表软件检测关键技术研究被引量：8
《电测与仪表》2018年第19期130-134,共5页庞富宽 汪洋 袁瑞铭 巨汉基 宋锡强 汪萍萍 
国网冀北电力有限公司管理科技项目(52018K160011)
国际建议R46标准是影响国内下一代电能表新需求的关键,尤其新增了软件检查项目,对电能计量软件要求提出了高要求。论文设计了一种基于FPGA技术仿真R46智能电能表的软件测试环境,采用了FPGA模拟R46智能电能表的MCU外围的EEPROM、Flash、...
关键词：R46标准 电能表 软件检测 FPGA仿真 目标码测试 
基于VTest的星载嵌入式软件目标码覆盖测试被引量：3
《数字技术与应用》2018年第10期180-182,共3页左芸 张杨 
目标码覆盖测试是星载嵌入式软件测试过程的关键步骤,能够进一步保证软件测试的完整性和充分性。VTest测试工具模拟嵌入式虚拟测试平台,导入被测源代码,VTest自动分析源代码的函数信息,对程序目标码进行插桩,执行目标码程序,统计目标码...
关键词：VTest 目标码 覆盖率 嵌入式软件 
基于目标码的测试覆盖不可达分析方法被引量：3
《测控技术》2017年第1期100-103,107,共5页黄晨 董燕 于倩 虞砺琨 
国家自然科学基金资助项目(91118007)
基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑...
关键词：嵌入式 目标码 覆盖率 不可达 
换个角度看微软停服XP事件
《信息安全与通信保密》2014年第4期46-47,49,共3页胡月军 
前段时间,微软将停止对Windows XP操作系统的安全服务一事引发热议。主流媒体对这一事件的报道大多集中在如何延长该操作系统寿命的各种补救措施的猜测与讨论。如：XP的补丁谁来维护;系统的安全保障谁能接手等。但是,这些措施都不能解...
关键词：计算机语言 XP 编译原理 核心硬件 编译技术 目标代码 代码生成器 开发环境 目标码 程序源代码 
目标码覆盖率分析在PPC目标环境中的应用
《电子世界》2013年第18期207-207,共1页叶祥明 刘伟 
提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的代码进行验证,本文介绍了VerOCode软件在PPC目标环境中目标码覆盖率的分析验证。
关键词：DO-178B 目标码覆盖 VerOCode 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部