您的位置： 专家智库 > >

黎涛

作品数：5 被引量：10H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇单机
  • 2篇电子系统
  • 2篇多系统
  • 2篇判读
  • 2篇主机
  • 2篇状态转换图
  • 2篇子网
  • 2篇自动生成
  • 2篇自动生成系统
  • 2篇跨平台
  • 2篇航天
  • 2篇航天器
  • 2篇测试环境
  • 1篇形式化
  • 1篇形式化方法
  • 1篇有限状态自动...
  • 1篇状态自动机
  • 1篇子系统
  • 1篇自动机
  • 1篇总线

机构

  • 5篇北京航空航天...

作者

  • 5篇马世龙
  • 5篇黎涛
  • 4篇吕江花
  • 2篇高世伟
  • 1篇李睿
  • 1篇连航

传媒

  • 1篇软件学报

年份

  • 1篇2018
  • 1篇2017
  • 3篇2015
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种航空任务电子系统通用综合检测装置及检测方法
本发明提出了一种航空任务电子系统通用综合检测装置及检测方法，属于系统检测领域。该装置包括检测客户端模块和逻辑检测设备；检测客户端模块包括检测参数编辑模块、检测标准配置模块、检测命令生成模块、检测结果显示模块和消息通信模块...
黎涛吕江花马世龙
文献传递
一种航天器测试需求自动生成系统及其方法
本发明是一种航天器测试需求自动生成系统及其方法，属于系统测试领域。所述系统包括测试需求库、UML模型读取模块、被测目标抽取模块和测试需求构建模块；测试需求库是经过积累的各型号被测系统、分系统、单机和模块所需的测试需求；U...
孟祥曦吕江花高世伟黎涛马世龙
一种航天器测试需求自动生成系统及其方法
本发明是一种航天器测试需求自动生成系统及其方法，属于系统测试领域。所述系统包括测试需求库、UML模型读取模块、被测目标抽取模块和测试需求构建模块；测试需求库是经过积累的各型号被测系统、分系统、单机和模块所需的测试需求；U...
孟祥曦吕江花高世伟黎涛马世龙
文献传递
一种航空任务电子系统通用综合检测装置及检测方法
本发明提出了一种航空任务电子系统通用综合检测装置及检测方法，属于系统检测领域。该装置包括检测客户端模块和逻辑检测设备；检测客户端模块包括检测参数编辑模块、检测标准配置模块、检测命令生成模块、检测结果显示模块和消息通信模块...
黎涛吕江花马世龙
文献传递
基于形式化方法的航空电子系统检测被引量：10
2015年
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
李睿连航马世龙黎涛
关键词：航空电子系统有限状态自动机
全选 清除 导出
共1页<1>
聚类工具0