您的位置： 专家智库 > >

韦华

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

合作作者

文献类型

  • 3篇专利
  • 1篇科技成果

领域

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

主题

  • 4篇自动化
  • 3篇形式化
  • 3篇形式化描述
  • 3篇软件测试
  • 2篇自动化测试
  • 2篇自动化水平
  • 2篇描述语言
  • 2篇测试程序
  • 1篇软件测试自动...
  • 1篇软件自动化
  • 1篇适航
  • 1篇子系统
  • 1篇民机
  • 1篇机载
  • 1篇机载软件
  • 1篇检查项
  • 1篇角色
  • 1篇航空电子
  • 1篇航空电子系统
  • 1篇测试用例

机构

  • 4篇中国航空无线...

作者

  • 4篇肖前远
  • 4篇韦华
  • 3篇周弘斌
  • 2篇马慧芳
  • 2篇赵笑龙
  • 1篇鲍颖力
  • 1篇黄芙平
  • 1篇尹伟
  • 1篇王辉
  • 1篇倪红英
  • 1篇陈琳

年份

  • 1篇2025
  • 1篇2023
  • 1篇2020
  • 1篇2014
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法，包括：基于被测机载显示软件的高层需求，使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述；根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
基于测试用例形式化描述的软件测试自动化技术研究及应用
倪红英周弘斌肖前远鲍颖力沈良霞费玮莹黄芙平王辉韦华陈琳
该项目属于形式化方法及其在航空电子系统软件验证领域的应用研究。新一代飞机上由软件完成的功能已经占到了80%以上，因此，消除软件缺陷、保证软件质量显得尤为重要。软件验证测试是航空航天领域普遍使用的发现软件缺陷保证软件可靠性...
关键词：
关键词：形式化描述航空电子系统
一种面向适航的民机机载软件自动化评审方法和装置
本发明提供一种面向适航的民机机载软件自动化评审方法和装置，该方法包括以下步骤：获取待评审资料的类型；待评审资料的类型包括：软件高层需求、软件低层需求、软件模型设计、软件代码和测试用例；根据待评审资料的类型，确定评审团成员...
孙倩韦华韩光辉肖前远吴梦泽谷飞鸿宋广健尹伟
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法，包括：基于被测机载显示软件的高层需求，使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述；根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
全选 清除 导出
共1页<1>
聚类工具0