您的位置: 专家智库 > >

文献类型

  • 3篇期刊文章
  • 3篇专利

领域

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

主题

  • 3篇软件测试
  • 2篇形式化
  • 2篇形式化描述
  • 2篇适航
  • 2篇自动化
  • 2篇自动化测试
  • 2篇自动化水平
  • 2篇描述语言
  • 2篇民机
  • 2篇测试程序
  • 1篇低层
  • 1篇中间件
  • 1篇适航标准
  • 1篇通信协议
  • 1篇通信中间件
  • 1篇系统软件
  • 1篇接口
  • 1篇接口模板
  • 1篇接口文件
  • 1篇解包

机构

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

作者

  • 6篇赵笑龙
  • 2篇周弘斌
  • 2篇马慧芳
  • 2篇肖前远
  • 2篇韦华
  • 1篇丁毅
  • 1篇丰伟

传媒

  • 2篇软件
  • 1篇航空电子技术

年份

  • 2篇2023
  • 2篇2022
  • 1篇2020
  • 1篇2016
6 条 记 录,以下是 1-6
排序方式:
机载大规模复杂软件结构覆盖分析方法研究
2022年
在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法。在总结了传统结构覆盖方法的局限性后,对机载大规模复杂软件的结构覆盖分析方法进行研究,结合已有项目经验,提出了一套针对软件中不同性质的代码分别采用在宿主机或目标机上进行结构覆盖,以及使用模型覆盖工具进行结构覆盖的方法。
王娟赵笑龙郁佳阳
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法,包括:基于被测机载显示软件的高层需求,使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述;根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
基于在线调试的串口通信协议测试方法被引量:5
2016年
以测试某型数据传输数字地图子系统中数字地图生成模块软件的RS485通信协议为例,提出了两种基于在线调试的串口通信协议的测试方法。这两种方法不仅简单易行地解决了某些测试环境中无法利用串口调试工具进行串口通信协议测试的问题,还为软件测试领域提出了一种通过在线调试技术解决问题的思路。
丁毅赵笑龙丰伟
关键词:串口通信软件测试
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法,包括:基于被测机载显示软件的高层需求,使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述;根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
满足民机适航标准的低层需求测试方法研究与应用
2022年
在民机软件验证过程中,开展低层需求测试活动时,需要选择高效的方法,既能满足实际项目的工程需要,又能满足适航标准的要求。针对这些要求提出了一种低层需求测试方法,该方法基于TBrun工具,在设计测试用例时补充其满足适航要求的基本元素,并在目标机自动化执行测试用例,针对测试输出物进行人工评审。该方法能在满足适航要求的同时提高测试效率,可作为通用的民机软件低层测试方法加以推广使用。
王娟郁佳阳赵笑龙
一种航空电子系统软件通信中间件的自动化测试方法
本申请提供一种航空电子系统软件通信中间件的自动化测试方法,方法包括:步骤1:定义了各种数据类型的接口模板,根据模板自动生成接口文件;步骤2:根据抽象出来的接口文件,实现自动组包功能,同时动态的更新FC值及CRC校验位;步...
王志威赵笑龙郁佳阳高忠杰王光耀
共1页<1>
聚类工具0