您的位置: 专家智库 > >

周弘斌

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

文献类型

  • 8篇专利
  • 4篇科技成果
  • 3篇期刊文章

领域

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

主题

  • 7篇软件测试
  • 5篇形式化
  • 5篇形式化描述
  • 4篇自动化
  • 4篇测试程序
  • 3篇自动化测试
  • 2篇宿主机
  • 2篇主机
  • 2篇自动化水平
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇描述语言
  • 2篇接口
  • 2篇接口测试
  • 2篇计算机
  • 2篇计算机程序
  • 2篇仿真
  • 1篇大型客机
  • 1篇队列
  • 1篇业务逻辑

机构

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

作者

  • 15篇周弘斌
  • 6篇肖前远
  • 6篇黄芙平
  • 5篇倪红英
  • 3篇马慧芳
  • 3篇王辉
  • 3篇韦华
  • 3篇张冬梅
  • 2篇鲍颖力
  • 2篇倪亭
  • 2篇陈琳
  • 2篇赵笑龙
  • 2篇马威
  • 1篇张新
  • 1篇丁毅
  • 1篇王彬
  • 1篇缪万胜
  • 1篇郭宁
  • 1篇李虎
  • 1篇张岚

传媒

  • 2篇指挥信息系统...
  • 1篇航空电子技术

年份

  • 2篇2025
  • 1篇2024
  • 3篇2023
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 3篇2015
  • 2篇2014
  • 1篇2012
15 条 记 录,以下是 1-10
排序方式:
座舱显示系统规范符合性自动化测试技术研究与实现
王辉倪红英王彬丁毅马慧芳张冬梅沈良霞周弘斌肖前远朱丽蘋丛君霞黄芙平张岚秦曙春陈琳
该技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中,技术复杂、难度大,技术水平国际先进,具有自主知识产权,获授权专利一项(ZL201110303769.7),受理专利一项(CN201410022618...
关键词:
关键词:自动化测试飞机座舱
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法,包括如下步骤:首先进行构造形式化描述步骤,具体包括:选择形式化测试用例描述的格式;对应用系统功能进行分解;规定形式化测试用例描述的内容;设计测试用例;最后生成软件验证...
倪红英周弘斌黄芙平倪亭
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法,包括如下步骤:首先进行构造形式化描述步骤,具体包括:选择形式化测试用例描述的格式;对应用系统功能进行分解;规定形式化测试用例描述的内容;设计测试用例;最后生成软件验证...
倪红英周弘斌黄芙平倪亭
文献传递
基于DO-178B/C标准的软件验证过程管理平台
黄芙平王光耀周弘斌郁佳阳鲍颖力张冬梅魏润
所属科学技术领域:该项目属于航空机载软件验证技术领域。主要科学技术内容该项目按照国内外通用的民机适航标准DO-178B/C软件验证过程的要求,提出了一种基于模板和活动向导的软件验证过程控制管理方法,开发了集项目管理、软件...
关键词:
关键词:软件测试
一种航电任务软件宿主机接口测试及仿真系统
本发明公开了一种航电任务软件宿主机接口测试及仿真系统,包含接口数据协议定义模块和连接服务中心模块,接口数据协议定义模块用于各接口数据协议的动态定义和管理;连接服务中心模块主要负责管理各类型通信接口的连接,按照接口数据协议...
魏润之柳坤周弘斌孙欢于康虎马赫温鹏朱晓敏
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法,包括:基于被测机载显示软件的高层需求,使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述;根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
大型客机机载嵌入式软件持续综合技术
陶洋张新肖前远韩光辉缪万胜王月王志宏郭宁郭晓博易子淳马威周弘斌马晋康介祥龚声民
项目背景传统的开发模式中,项目开始阶段就会对软件划分模块,各模块负责人分头开发,等所有代码开发完成后,汇总,集成,发布,测试。随着软件需求越来越复杂,软件规模也在扩大,软件已经不能简单地通过划分模块的方式来开发,需要项目...
关键词:
关键词:客机机载软件
一种基于EAV模型的表单设计方法及系统
本发明公开了一种基于EAV模型的表单设计方法,包含定义EAV模型,针对一个表单页面绘制表单模型,将表单模型与EAV模型绑定,在表单模型的绘制组件中输入表单实体数据保存时,表单实体数据将绑定至相应的EAV模型中,再次使用时...
王杏林张欢马赫周弘斌毛承永陈业东张弛逸沈良霞
一种验证前视地形告警算法软件的方法
本发明公开了一种验证前视地形告警算法软件的方法,包含:绘制载机航迹;计算出载机按此航迹飞行时的姿态及速度信息;结合航迹、飞行时的姿态和速度信息、及期望在哪一时刻发生何种级别告警并持续多久的期望结果解算出进入告警区域前的第...
龚童灵邹镇宇张泽成费自强张永强胡建洲周弘斌张冬梅
一种轻量级航空电子软件仿真测试引擎设计与实现
2025年
本文研究了航空电子软件在宿主机环境下测试、仿真的实际需求,设计并实现了一种轻量级的测试引擎,重点描述了连接管理、ICD管理、数据收发和数据服务API共四个主要功能模块的设计。该测试引擎很好地满足了软件测试、仿真应用开发的需要,在实际项目应用中取得了良好效果。
魏润之李虎周弘斌
关键词:测试引擎接口测试宿主机仿真
共2页<12>
聚类工具0