石磊
- 作品数：7 被引量：16H指数：3
- 供职机构：中国航空工业集团公司中国空空导弹研究院更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术兵器科学与技术更多>>
- 基于LLVM的多目标高性能动态二进制翻译框架被引量：3
- 2020年
- 动态二进制翻译技术是构造高性能异构虚拟机的关键技术,而代码翻译的质量则是动态二进制翻译性能的关键。本文实现了一种基于LLVM动态二进制翻译框架,利用LLVM优化技术以及多目标编译的特点,实现了可以针对多个目标体系结构的高性能动态二进制翻译。基于开源Skyeye实现了这种翻译框架,并在两种目标体系结构ARM和PowerPC上验证了框架的可移植性和运行效率,与QEMU在ARM目标平台上做了性能对比,结果表明该模拟器比Qemu性能平均快10%以上。
- 石磊田娜康烁
- 关键词：动态二进制翻译LLVM
- LDRA TestBed在弹载软件测试中的应用被引量：6
- 2008年
- 介绍了LDRA TestBed在弹载软件测试中的具体应用方法,并通过对软件进行静态和动态分析,发现了软件的缺陷,降低了项目的风险。
- 石磊
- 关键词：LDRATESTBED软件测试软件质量
- 虚拟验证技术在弹载软件测试中的应用
- 2023年
- 为解决以往实物弹载嵌入式系统软件测试验证很难实现异常故障注入导致测试充分性无法保证的缺点,通过基于目标码的嵌入式软件系统虚拟验证技术开展应用研究,针对弹载软件特征,利用CPU虚拟化、外设虚拟化和测试数据注入等技术构建测试虚拟验证模型,对建立的单板、多板、单核、多核虚拟系统进行通信故障、内存故障、软硬件故障等测试验证。试验结果表明,CPU指令虚拟化正确率达到100%、正确模拟外设执行行为、量化分析测试覆盖率,该技术对提高武器装备软件的可靠性、安全性和健壮性,有着非常重要的工程应用价值。
- 石磊
- 关键词：目标码
- 嵌入式软件系统测试模型的研究与实现被引量：6
- 2009年
- 指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分,提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的。
- 林晓欲石磊
- 关键词：嵌入式软件测试软件系统测试实时性
- 嵌入式软件数据竞争检测方法
- 2016年
- 数据竞争问题会给软件程序带来极大的安全隐患,因此,如何有效地检测数据竞争一直是一个热门研究领域。尽管如此,当今有关嵌入式软件中数据竞争的研究仍然非常有限。E-RACE是一种定义数据竞争的新式工具,它能够直接利用特定的硬件性能来操控数据流和指令流。与现有的数据竞争分析方法相比,这种新式工具不需要通过大量的软件代码插装,也能够完成数据竞争监测。将这种新式工具运用到嵌入式软件单元测试驱动开发框架当中去,不仅能够促进可测试代码的实现,还能在早期识别潜在的数据竞争可能。
- 马悦琪石磊
- 关键词：数据竞争嵌入式软件多线程处理
- KTFlow在嵌入式软件测试过程管理中的应用被引量：1
- 2012年
- 介绍了KTFlow在嵌入式软件测试过程管理中的具体应用方法,通过5个阶段对测试活动进行全过程管理,实现了协同工作、项目定制、流程裁剪、状态管理和文档自动生成等功能,满足了军方对软件测试的管控要求。
- 石磊林晓欲
- 关键词：嵌入式软件测试过程管理
- 一种导引头天线罩瞄准误差补偿方法
- 本发明属于主动雷达导引技术，涉及导引头天线罩瞄准误差数字补偿以及效果验证测试方法。将天线罩瞄准误差测量结果以表格形式存入导引头计算机，在导引头工作程序中增加天线罩瞄准误差补偿模块，当导引头正常工作时，通过查表确定该时刻天...
- 曹旭东齐恩勇陈安娜沈康石磊
