期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
FPGA软件半实物仿真测试环境研究与框架设计
1
作者 高虎 郑军 封二 《微电子学与计算机》 北大核心 2019年第6期15-20,共6页
针对当前FPGA软件测试工作中,仿真测试和实物测试存在的效率低、覆盖率无法保障、充分性差等问题,提出了一种新的测试环境框架用于FPGA软件测试,采用真实的FPGA芯片运行被测FPGA软件,同时构建执行器FPGA模拟被测FPGA的外部设备与接口环... 针对当前FPGA软件测试工作中,仿真测试和实物测试存在的效率低、覆盖率无法保障、充分性差等问题,提出了一种新的测试环境框架用于FPGA软件测试,采用真实的FPGA芯片运行被测FPGA软件,同时构建执行器FPGA模拟被测FPGA的外部设备与接口环境,构建被测FPGA软件的外设行为仿真模型,将原来仅用于仿真测试的Testbench测试脚本解析为测试数据,将仿真模型和测试数据移植到执行器FPGA中,从而实现了FPGA软件的半实物仿真测试.最后基于该框架开发了原型验证系统,并在测试项目中取得了较好的效果. 展开更多
关键词 FPGA软件测试 测试环境 半实物测试 仿真测试 实物测试
基于虚拟设备的数据记录软件测试环境研究
2
作者 赵刚 郑军 封二 《微电子学与计算机》 北大核心 2019年第7期70-75,共6页
当前机载数据记录类软件测试过程中,对软件输出的存储接口进行测试时,因大量重复的下载过程或大量改动源程序而造成测试效率低下、测试结果可信度低等问题.本文以通用自动化测试平台为基础,提出了一种基于虚拟设备的测试结果输出机制,... 当前机载数据记录类软件测试过程中,对软件输出的存储接口进行测试时,因大量重复的下载过程或大量改动源程序而造成测试效率低下、测试结果可信度低等问题.本文以通用自动化测试平台为基础,提出了一种基于虚拟设备的测试结果输出机制,通过替代并模拟真实的物理存储设备,将写入存储设备的数据实时转发至测试监控终端,从而解决下载查看和程序插装测试方法带来的效率和可信度问题.最后通过搭建基于虚拟设备的数据记录软件测试环境原型工具验证了该方法的可行性. 展开更多
关键词 数据记录软件 软件测试 虚拟设备 自动化测试环境
基于安全性的航空发动机控制软件测试技术 预览
3
作者 高虎 封二 王宁 《航空发动机》 北大核心 2018年第1期91-96,共6页
针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生... 针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。 展开更多
关键词 安全性分析 软件测试 航空发动机 需求模型
在线阅读 下载PDF
基于Testbench的FPGA实物自动化测试环境设计 预览 被引量:2
4
作者 高虎 封二 赵刚 《电子技术应用》 2018年第4期48-51,共4页
针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传输信号,通过执行器将此信号转换为作用于被测FPGA芯片的实际信... 针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传输信号,通过执行器将此信号转换为作用于被测FPGA芯片的实际信号,并采集被测FPGA芯片的响应,实现对FPGA的实物自动化测试。采用实物自动化测试环境验证平台对设计架构进行了验证,取得了良好的效果。 展开更多
关键词 FPGA测试 Testbench 实物测试 自动化测试 测试环境
在线阅读 下载PDF
基于有限状态机模型的飞控软件测试方法浅析
5
作者 吴春成 封二 郑军 《航空标准化与质量》 2018年第3期25-28,共4页
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它... 对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。 展开更多
关键词 软件测试 状态机 飞行控制软件
基于GJB9433的FPGA软件测试环境平台研究与应用
6
作者 初振华 张振 +2 位作者 郑军 封二 陶东 《航空标准化与质量》 2018年第4期18-22,41共6页
针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现FPGA软件的自动化测试,并在实际项目应用中... 针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。 展开更多
关键词 GJB 9433 FPGA软件测试 测试环境
软件工程基于剖面映射的软硬件可靠性综合试验方法研究 被引量:1
7
作者 封二 郑军 蓝新生 《微电子学与计算机》 CSCD 北大核心 2017年第2期136-140,共5页
为真实反映产品的实际使用情况,准确验证软硬件综合系统的可靠性,将软件可靠性测试以及硬件可靠性试验进行了综合,提出一种基于剖面映射的软硬件可靠性综合试验方法.该方法首先确定软件测试剖面以及综合环境应力剖面,然后利用剖面... 为真实反映产品的实际使用情况,准确验证软硬件综合系统的可靠性,将软件可靠性测试以及硬件可靠性试验进行了综合,提出一种基于剖面映射的软硬件可靠性综合试验方法.该方法首先确定软件测试剖面以及综合环境应力剖面,然后利用剖面映射将软件测试剖面与综合环境应力剖面结合起来,形成软硬件可靠性综合试验剖面;该综合试验剖面真实反映了软件运行和外部环境条件变化之间的关联,避免了软件可靠性测试和硬件可靠性试验分别进行所带来的试验风险和资源浪费,在减少测试代价的同时实现了一次试验即验证产品的可靠性.实验结果表明了该方法的可行性、合理性和有效性. 展开更多
关键词 综合试验 试验方法 软件可靠性 硬件可靠性 剖面映射
软硬件可靠性综合评价方法研究 预览
8
作者 封二 郑军 蓝新生 《电子技术应用》 北大核心 2015年第3期20-23,27共5页
首先阐述了软硬件可靠性综合评价方法,并对现有综合评价方法进行深入分析和总结,将现有方法分为基于故障数据融合的方法、基于多模型综合的方法和基于系统结构分解的方法三类并进行比较.在此基础上,分别从失效过程融合、评价结果融合以... 首先阐述了软硬件可靠性综合评价方法,并对现有综合评价方法进行深入分析和总结,将现有方法分为基于故障数据融合的方法、基于多模型综合的方法和基于系统结构分解的方法三类并进行比较.在此基础上,分别从失效过程融合、评价结果融合以及微观结构融合三个方面进行了综合评价方法机理分析,得出基于评价结果融合的方法未能有效解决软硬件失效机理不同对综合评价的影响从而造成评价准确性较差,而其他两类方法则在较大程度上考虑了软硬件失效机理不同,因此评价准确性高,最后讨论了软硬件综合评价方法未来有前景的研究方向. 展开更多
关键词 综合评价 评价方法 软件可靠性 硬件可靠性 软硬件结合系统
在线阅读 下载PDF
基于UML Testing Profile的软件测试过程浅析 被引量:1
9
作者 蓝新生 封二 郑军 《航空标准化与质量》 2015年第4期49-52,共4页
对软件测试过程的现状进行了分析,并对对象管理组织(Object Management Group,OMG)提出的测试建模标准(UMLTesting Profile,UTP)进行了简要介绍,对UTP的建模特点进行了分析,最后结合实例对UTP进行测试建模的有效性进行了说明。
关键词 UTP 软件测试 测试建模
基于体系结构的软件可靠性指标分配方法研究 预览
10
作者 封二 刘畅 郑军 《计算机工程与设计》 CSCD 北大核心 2013年第9期3099-3102,共4页
为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法。该方法利用离散马尔科夫链状态模型(DTMC)表示软件系统可靠性与各构件可靠性之... 为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法。该方法利用离散马尔科夫链状态模型(DTMC)表示软件系统可靠性与各构件可靠性之间的关系,从而建立了考虑体系结构的软件可靠性分配模型;利用灵敏度分析各构件对系统可靠性指标的影响程度。实验结果表明了该方法较传统分配方法更有效。 展开更多
关键词 指标分配 软件可靠性 体系结构 马尔科夫 分配模型
在线阅读 下载PDF
基于混合测试的软件可靠性加速测试方法研究
11
作者 封二 刘畅 郑军 《小型微型计算机系统》 CSCD 北大核心 2012年第8期1765-1769,共5页
为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将... 为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高. 展开更多
关键词 软件可靠性测试 混合测试 加速测试 重要度抽样 加速因子
一种基于输入域的非参数软件可靠性评估模型
12
作者 郑军 封二 刘畅 《小型微型计算机系统》 CSCD 北大核心 2012年第4期 751-753,共3页
通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点。同时提出了基于非参数统计的方法来估计缺陷数和软件失效概率,从... 通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点。同时提出了基于非参数统计的方法来估计缺陷数和软件失效概率,从而为利用普通软件测试所获得测试数据进行软件可靠性评估提供了一种解决途径,实例验证表明了该评估模型可以较好地对软件可靠性进行评估,给出缺陷数和软件可靠性的合理估计,其估计精度不低于较好的时间域模型。 展开更多
关键词 输入域模型 软件可靠性评估 核密度估计 缺陷失效概率
软件可靠性测试加速方法分析 预览 被引量:2
13
作者 封二 刘畅 郑军 《计算机工程与设计》 CSCD 北大核心 2011年第9期 3087-3090,3094,共5页
阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以... 阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。 展开更多
关键词 软件可靠性测试 加速测试 加速机理 加速方法 软件可靠性工程
在线阅读 下载PDF
IEEE软件可靠性系列标准分析 预览
14
作者 郑军 封二 刘畅 《微型机与应用》 2011年第3期1-3,共3页
对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准修订的可借鉴之处。
关键词 软件可靠性标准 软件可靠性度量 软件可靠性评估过程 软件可靠性模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈