您的位置: 专家智库 > >

鲍颖力

作品数:5 被引量:4H指数:1
供职机构:中国航空无线电电子研究所更多>>
相关领域:自动化与计算机技术航空宇航科学技术更多>>

文献类型

  • 2篇科技成果
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇专利

领域

  • 4篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 3篇虚拟机
  • 3篇软件系统
  • 3篇软件系统测试
  • 2篇软件测试
  • 2篇嵌入式
  • 2篇系统仿真
  • 2篇仿真
  • 2篇仿真测试
  • 2篇仿真测试环境
  • 2篇QEMU
  • 2篇测试环境
  • 1篇形式化
  • 1篇形式化描述
  • 1篇虚拟机技术
  • 1篇软件测试自动...
  • 1篇通用测试平台
  • 1篇通用平台
  • 1篇子系统
  • 1篇自动化
  • 1篇目标机

机构

  • 4篇中国航空无线...
  • 2篇上海交通大学

作者

  • 5篇鲍颖力
  • 2篇周弘斌
  • 2篇黄芙平
  • 1篇肖前远
  • 1篇王辉
  • 1篇倪红英
  • 1篇韦华
  • 1篇张冬梅
  • 1篇陈琳

传媒

  • 1篇航空电子技术

年份

  • 1篇2019
  • 1篇2014
  • 1篇2013
  • 2篇2011
5 条 记 录,以下是 1-5
排序方式:
一种基于虚拟机技术的机载软件系统测试通用平台
本发明公开了一种基于虚拟机技术的机载软件系统测试通用测试平台,包括用户界面输入部分,被测目标机全系统仿真部分,接口转换和通信代理部分和测试用例池部分。本发明基于虚拟机技术对被测设备进行全系统仿真实现,再将被测软件的可执行...
鲍颖力
文献传递
基于虚拟机QEMU的嵌入式全系统仿真测试环境的研究与实现
随着机载设备功能的高度集成化,机载设备上的嵌入式软件设计复杂程度成倍增加。软件质量成为决定产品质量优劣的关键条件之一。为提高嵌入式软件的质量,可靠有效的软件系统测试变得越来越重要。目前,机载软件系统测试通常是基于被测设备...
鲍颖力
关键词:嵌入式软件系统测试系统仿真
文献传递
基于DO-178B/C标准的软件验证过程管理平台
黄芙平王光耀周弘斌郁佳阳鲍颖力张冬梅魏润
所属科学技术领域:该项目属于航空机载软件验证技术领域。主要科学技术内容该项目按照国内外通用的民机适航标准DO-178B/C软件验证过程的要求,提出了一种基于模板和活动向导的软件验证过程控制管理方法,开发了集项目管理、软件...
关键词:
关键词:软件测试
基于测试用例形式化描述的软件测试自动化技术研究及应用
倪红英周弘斌肖前远鲍颖力沈良霞费玮莹黄芙平王辉韦华陈琳
该项目属于形式化方法及其在航空电子系统软件验证领域的应用研究。新一代飞机上由软件完成的功能已经占到了80%以上,因此,消除软件缺陷、保证软件质量显得尤为重要。软件验证测试是航空航天领域普遍使用的发现软件缺陷保证软件可靠性...
关键词:
关键词:形式化描述航空电子系统
基于虚拟机QEMU的嵌入式全系统仿真测试环境的研究与实现被引量:3
2011年
为了能节省测试设备的成本和提高嵌入式软件系统测试的效率,本论文设计了一个基于QEMU虚拟机技术的通用嵌入式全系统仿真测试环境,来实现嵌入式软件的系统测试。本文将着重介绍本测试系统中被测设备硬件仿真部分的设计与实现,以及针对该部分进行测试的测试结果。
鲍颖力
关键词:虚拟机QEMU嵌入式软件系统测试系统仿真
共1页<1>
聚类工具0