中央高校基本科研业务费专项资金(YWF-11-03-Q-114)
- 作品数：4 被引量：20H指数：2
- 相关作者：殷永峰张弛李骁丹刘斌许玉堂更多>>
- 相关机构：北京航空航天大学中国兵器科学研究院北京理工大学更多>>
- 发文基金：中央高校基本科研业务费专项资金中国航空科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 综合模块化航电系统软件技术研究被引量：14
- 2013年
- 从软件可靠性的角度对综合模块化航电(IMA)系统进行了讨论。从IMA系统的体系结构入手,研究了软件接口定义以及系统失效。具体分析了IMA软件研制过程中各角色的作用以及这种责任的分散所带来的问题。结合国内的发展现状,探讨了IMA系统测试各层次内容,为国内正在进行的四代机项目的研制及测试工作提供了一些思路。
- 李骁丹殷永峰张弛
- 关键词：航电系统软件测试
- 基于实验的自适应随机测试效率分析
- 2014年
- 自适应随机测试通过自适应算法对随机测试进行加强,从而提高软件失效检测能力.现有研究过多强调了其在F-度量上的优势,而较少考虑输入域的诸多因素对自适应随机测试效率的影响.选取3类典型自适应随机测试算法和随机测试算法,分析被测软件失效区域紧致程度、维度对算法的影响,并选取自适应随机算法中测试效果最佳的固定候选集算法在非数值条件下与随机算法比对.结果表明,自适应随机测试受输入域的诸多因素影响,适用性有限,实际测试中对测试效率的提升效果并不明显.
- 殷永峰肖鹏张弛刘斌
- 关键词：软件测试
- 基于程序变异的Simulink模型测试方法被引量：2
- 2015年
- 为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.
- 周艺斌殷永峰李骁丹王明威
- 关键词：软件测试测试用例生成模拟退火算法
- 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估被引量：4
- 2015年
- 软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。
- 许玉堂殷永峰孙静张弛刘斌
- 关键词：计算机软件软件体系结构可靠性评估
