您的位置： 专家智库 > >

吴黎明

作品数：2 被引量：3H指数：1
供职机构：南京航空航天大学更多>>
发文基金：江苏省研究生培养创新工程项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇时间自动机
  • 2篇自动机
  • 2篇无人机
  • 2篇无人机系统
  • 2篇控制软件
  • 2篇飞行
  • 2篇飞行控制
  • 2篇飞行控制软件
  • 1篇软件系统
  • 1篇软件系统建模
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇无人机飞控
  • 1篇飞控
  • 1篇MARTE
  • 1篇测试用例

机构

  • 2篇南京航空航天...
  • 1篇南京大学

作者

  • 2篇吴黎明
  • 1篇于笑丰
  • 1篇徐丙凤
  • 1篇胡军
  • 1篇曹东

传媒

  • 1篇计算机科学

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
模型驱动的嵌入式软件测试与维护方法研究
近年来嵌入式系统中软件规模与复杂度的迅速增长给高质量系统的设计、验证与维护带来许多重要挑战，传统的基于代码的测试与分析技术方法已经不能满足一些安全关键领域中的嵌入式软件高质量的需求。针对目前在无人机领域中相关控制软件系统...
吴黎明
关键词：MARTE飞行控制软件时间自动机无人机系统
文献传递
无人机飞控软件系统建模与测试用例生成研究被引量：3
2012年
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。
吴黎明胡军曹东徐丙凤于笑丰
关键词：飞行控制软件时间自动机无人机系统
全选 清除 导出
共1页<1>
聚类工具0