您的位置： 专家智库 > >

周弘斌

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

合作作者

文献类型

  • 7篇专利
  • 4篇科技成果
  • 2篇期刊文章

领域

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

主题

  • 7篇软件测试
  • 5篇形式化
  • 5篇形式化描述
  • 4篇自动化
  • 4篇测试程序
  • 3篇自动化测试
  • 2篇自动化水平
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇描述语言
  • 2篇计算机
  • 2篇计算机程序
  • 1篇大型客机
  • 1篇队列
  • 1篇业务逻辑
  • 1篇业务逻辑层
  • 1篇一致性
  • 1篇软件测评
  • 1篇软件测试自动...
  • 1篇实体数据

机构

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

作者

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

传媒

  • 2篇指挥信息系统...

年份

  • 1篇2024
  • 3篇2023
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 3篇2015
  • 2篇2014
  • 1篇2012
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
座舱显示系统规范符合性自动化测试技术研究与实现
王辉倪红英王彬丁毅马慧芳张冬梅沈良霞周弘斌肖前远朱丽蘋丛君霞黄芙平张岚秦曙春陈琳
该技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中，技术复杂、难度大，技术水平国际先进，具有自主知识产权，获授权专利一项(ZL201110303769.7)，受理专利一项(CN201410022618...
关键词：
关键词：自动化测试飞机座舱
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
文献传递
基于DO-178B/C标准的软件验证过程管理平台
黄芙平王光耀周弘斌郁佳阳鲍颖力张冬梅魏润
所属科学技术领域：该项目属于航空机载软件验证技术领域。主要科学技术内容该项目按照国内外通用的民机适航标准DO-178B/C软件验证过程的要求，提出了一种基于模板和活动向导的软件验证过程控制管理方法，开发了集项目管理、软件...
关键词：
关键词：软件测试
一种航电任务软件宿主机接口测试及仿真系统
本发明公开了一种航电任务软件宿主机接口测试及仿真系统，包含接口数据协议定义模块和连接服务中心模块，接口数据协议定义模块用于各接口数据协议的动态定义和管理；连接服务中心模块主要负责管理各类型通信接口的连接，按照接口数据协议...
魏润之柳坤周弘斌孙欢于康虎马赫温鹏朱晓敏
一种航空机载显示软件的图形自动化测试方法
本发明实施例公开了一种航空机载显示软件的图形自动化测试方法，包括：基于被测机载显示软件的高层需求，使用形式化测试用例描述语言在形式化测试用例框架下对测试用例进行形式化描述；根据形式化描述的测试用例和预先定义的测试程序框架...
韦华肖前远周弘斌马慧芳赵笑龙王丽廖璟浔王娟
大型客机机载嵌入式软件持续综合技术
陶洋张新肖前远韩光辉缪万胜王月王志宏郭宁郭晓博易子淳马威周弘斌马晋康介祥龚声民
项目背景传统的开发模式中，项目开始阶段就会对软件划分模块，各模块负责人分头开发，等所有代码开发完成后，汇总，集成，发布，测试。随着软件需求越来越复杂，软件规模也在扩大，软件已经不能简单地通过划分模块的方式来开发，需要项目...
关键词：
关键词：客机机载软件
一种基于EAV模型的表单设计方法及系统
本发明公开了一种基于EAV模型的表单设计方法，包含定义EAV模型，针对一个表单页面绘制表单模型，将表单模型与EAV模型绑定，在表单模型的绘制组件中输入表单实体数据保存时，表单实体数据将绑定至相应的EAV模型中，再次使用时...
王杏林张欢马赫周弘斌毛承永陈业东张弛逸沈良霞
基于测试用例形式化描述的软件测试自动化技术研究及应用
倪红英周弘斌肖前远鲍颖力沈良霞费玮莹黄芙平王辉韦华陈琳
该项目属于形式化方法及其在航空电子系统软件验证领域的应用研究。新一代飞机上由软件完成的功能已经占到了80%以上，因此，消除软件缺陷、保证软件质量显得尤为重要。软件验证测试是航空航天领域普遍使用的发现软件缺陷保证软件可靠性...
关键词：
关键词：形式化描述航空电子系统
一种基于FIFO的软件测试任务管理系统
本发明公开了一种基于FIFO的软件测试任务管理系统，划分为用户接口层、业务逻辑层和数据化持久层，业务逻辑层维护两个方面的队列：一是进行中软件队列，维护的是软件测评中心中所有正在进行中的配置项软件；二是每个用户的任务队列。...
王杏林朱晓敏周弘斌冯凯张欢毛承永费自强沈良霞
全选 清除 导出
共2页<12>
聚类工具0