搜索筛选:
搜索耗时3.6921秒,为你在为你在102,285,761篇论文里面共找到 18 篇相符的论文内容
类      型:
[学位论文] 作者:封二强,, 来源:北京交通大学 年份:2004
设Lk=(aij(k))v×v,k=1,2,3,是v元集合S上的三个拉丁方.定义定义3个对称拉丁方L1,L2,L3的fine-structure为向量(t,s),使得t是C2中元素的个数,s是C2∪C3中元素的个数.如果存在三个...
[期刊论文] 作者:李雪飞,封二强, 来源:航空标准化与质量 年份:2021
针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数......
[期刊论文] 作者:李雪飞,封二强, 来源:航空标准化与质量 年份:2021
软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模......
[期刊论文] 作者:封二强,郑军,蓝新生,, 来源:微电子学与计算机 年份:2017
为真实反映产品的实际使用情况,准确验证软硬件综合系统的可靠性,将软件可靠性测试以及硬件可靠性试验进行了综合,提出一种基于剖面映射的软硬件可靠性综合试验方法.该方法首先确......
[期刊论文] 作者:高虎, 郑军, 封二强,, 来源:微电子学与计算机 年份:2019
针对当前FPGA软件测试工作中,仿真测试和实物测试存在的效率低、覆盖率无法保障、充分性差等问题,提出了一种新的测试环境框架用于FPGA软件测试,采用真实的FPGA芯片运行被测F...
[期刊论文] 作者:封二强,刘畅,郑军, 来源:计算机工程与设计 年份:2011
阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行...
[期刊论文] 作者:封二强, 郑军, 蓝新生,, 来源:电子技术应用 年份:2015
首先阐述了软硬件可靠性综合评价方法,并对现有综合评价方法进行深入分析和总结,将现有方法分为基于故障数据融合的方法、基于多模型综合的方法和基于系统结构分解的方法三类...
[期刊论文] 作者:高虎, 封二强, 赵刚,, 来源:电子技术应用 年份:2018
针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传...
[期刊论文] 作者:封二强, 刘畅, 郑军,, 来源:计算机工程与设计 年份:2013
为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法。该方法利用离散马尔科夫......
[期刊论文] 作者:赵刚, 郑军, 封二强,, 来源:微电子学与计算机 年份:2019
当前机载数据记录类软件测试过程中,对软件输出的存储接口进行测试时,因大量重复的下载过程或大量改动源程序而造成测试效率低下、测试结果可信度低等问题.本文以通用自动化...
[期刊论文] 作者:高虎, 封二强, 王宁,, 来源:航空发动机 年份:2018
针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出......
[期刊论文] 作者:郑军, 封二强, 刘畅,, 来源:微型机与应用 年份:2011
对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准...
[期刊论文] 作者:蓝新生,封二强,郑军, 来源:航空标准化与质量 年份:2004
对软件测试过程的现状进行了分析,并对对象管理组织(Object Management Group,OMG)提出的测试建模标准(UMLTesting Profile,UTP)进行了简要介绍,对UTP的建模特点进行了分析,...
[期刊论文] 作者:郑军,封二强,刘畅, 来源:小型微型计算机系统 年份:2012
通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点.同时提...
[期刊论文] 作者:封二强,刘畅,郑军,, 来源:小型微型计算机系统 年份:2012
为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测......
[期刊论文] 作者:吴春成, 封二强, 郑军,, 来源:航空标准化与质量 年份:2004
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件...
[期刊论文] 作者:初振华,郑军,封二强,焦永强,, 来源:航空标准化与质量 年份:2020
针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验证与确认工作域对软件测试的要求,开展了航...
[期刊论文] 作者:初振华,张振,郑军,封二强,陶东,, 来源:航空标准化与质量 年份:2018
针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可......
相关搜索: