郑军

作品数:25被引量:133H指数:6
导出分析报告
供职机构:中国航空综合技术研究所更多>>
发文主题:软件测试测试环境FPGA映射软硬件更多>>
发文领域:自动化与计算机技术电子电信一般工业技术更多>>
发文期刊:《微电子学与计算机》《计算机应用与软件》《小型微型计算机系统》《软件学报》更多>>
所获基金:中国航空科学基金军内科研计划重点项目中央级公益性科研院所基本科研业务费专项更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于GJB 5000A验证与确认开展航空装备FPGA软件测试的研究被引量:3
《航空标准化与质量》2020年第5期6-9,13,共5页初振华 郑军 封二强 焦永强 
针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验证与确认工作域对软件测试的要求,开展了航空装备FPGA软件测试的研究,可为航空装备FPGA软件测试过程供规...
关键词:GJB 5000A-2008 验证与确认 FPGA测试 
基于虚拟设备的数据记录软件测试环境研究被引量:6
《微电子学与计算机》2019年第7期70-75,共6页赵刚 郑军 封二强 
科工局科研项目(Z052013B009);军内科研项目(KJ20172A04154)
当前机载数据记录类软件测试过程中,对软件输出的存储接口进行测试时,因大量重复的下载过程或大量改动源程序而造成测试效率低下、测试结果可信度低等问题.本文以通用自动化测试平台为基础,提出了一种基于虚拟设备的测试结果输出机制,...
关键词:数据记录软件 软件测试 虚拟设备 自动化测试环境 
FPGA软件半实物仿真测试环境研究与框架设计被引量:5
《微电子学与计算机》2019年第6期15-20,共6页高虎 郑军 封二强 
科工局科研项目(Z052013B009);军内科研项目(KJ20172A04154)
针对当前FPGA软件测试工作中,仿真测试和实物测试存在的效率低、覆盖率无法保障、充分性差等问题,提出了一种新的测试环境框架用于FPGA软件测试,采用真实的FPGA芯片运行被测FPGA软件,同时构建执行器FPGA模拟被测FPGA的外部设备与接口环...
关键词:FPGA软件测试 测试环境 半实物测试 仿真测试 实物测试 
基于GJB 9433的FPGA软件测试环境平台研究与应用被引量:1
《航空标准化与质量》2018年第4期18-22,41,共6页初振华 张振 郑军 封二强 陶东 
针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用...
关键词:GJB 9433 FPGA软件测试 测试环境 
基于有限状态机模型的飞控软件测试方法浅析被引量:2
《航空标准化与质量》2018年第3期25-28,共4页吴春成 封二强 郑军 
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类...
关键词:软件测试 状态机 飞行控制软件 
机载设备驱动软件自动化测试环境框架设计被引量:6
《计算机工程与设计》2018年第4期992-998,共7页高虎 郑军 周全健 
国家国防科技工业局技术基础科研基金项目(Z052013B009)
针对当前机载设备驱动软件测试工程实践中操作复杂、重复性强、工作量大、效率低下的问题,在分析机载设备驱动软件特点及驱动软件测试环境需求基础上,提出一种基于驱动源代码分析和驱动功能配置的自动化测试环境框架,采用不同设计视图...
关键词:设备驱动软件 驱动软件测试 自动化测试 测试环境 总线测试 
FPGA板级自动化仿真测试环境框架设计被引量:4
《微电子学与计算机》2017年第12期94-98,106,共6页高虎 郑军 田曾昊 
国家国防科技工业局技术基础科研项目(Z052013B009)
针对当前FPGA测试过程中,板级测试存在的实施代价高、测试充分性受限、测试可信度差等问题,提出了一种自动的、实时的、非侵入性的闭环半实物仿真测试环境,通过真实的物理接口测试技术、动态总线数据技术和外部对象仿真建模技术,将目标F...
关键词:FPGA 板级测试 自动化测试 仿真测试 测试环境 
系统安全性交叉验证工具设计与实现被引量:1
《电子设计工程》2017年第4期32-34,38,共4页李丹 李震 苗虹 郑军 李海峰 
江苏高校优势学科(苏政办发[2011]6号);江苏省企业博士集聚计划(苏人才办[2012]40号);镇江市"331"计划优先项目(镇领军办[2013]3号);中航综合技术研究所创新课题(2011DX051F)
针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、...
关键词:系统安全性 初步危险分析 功能危险分析 验证 
软件工程基于剖面映射的软硬件可靠性综合试验方法研究被引量:3
《微电子学与计算机》2017年第2期136-140,共5页封二强 郑军 蓝新生 
科工局课题([2012]1481)
为真实反映产品的实际使用情况,准确验证软硬件综合系统的可靠性,将软件可靠性测试以及硬件可靠性试验进行了综合,提出一种基于剖面映射的软硬件可靠性综合试验方法.该方法首先确定软件测试剖面以及综合环境应力剖面,然后利用剖面映射...
关键词:综合试验 试验方法 软件可靠性 硬件可靠性 剖面映射 
软硬件可靠性综合评价方法研究被引量:2
《电子技术应用》2015年第3期20-23,27,共5页封二强 郑军 蓝新生 
科工局课题(Z052013B009)
首先阐述了软硬件可靠性综合评价方法 ,并对现有综合评价方法进行深入分析和总结,将现有方法分为基于故障数据融合的方法、基于多模型综合的方法和基于系统结构分解的方法三类并进行比较。在此基础上,分别从失效过程融合、评价结果融合...
关键词:综合评价 评价方法 软件可靠性 硬件可靠性 软硬件结合系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部