您的位置： 专家智库 > >

韦华

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

合作作者

文献类型

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

领域

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

主题

  • 3篇形式化
  • 3篇形式化描述
  • 3篇软件测试
  • 3篇自动化
  • 2篇自动化测试
  • 2篇自动化水平
  • 2篇描述语言
  • 2篇测试程序
  • 1篇软件测试自动...
  • 1篇子系统
  • 1篇航空电子
  • 1篇航空电子系统
  • 1篇测试用例
  • 1篇测试自动化

机构

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

作者

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

年份

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