您的位置： 专家智库 > >

黄芙平

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

合作作者

文献类型

  • 5篇科技成果
  • 3篇专利
  • 1篇期刊文章

领域

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

主题

  • 3篇形式化
  • 3篇形式化描述
  • 3篇软件测试
  • 2篇自动化
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇计算机
  • 2篇计算机程序
  • 2篇测试程序
  • 1篇智能交通
  • 1篇软件测试自动...
  • 1篇软件质量
  • 1篇适航
  • 1篇适航标准
  • 1篇子系统
  • 1篇自定义模型
  • 1篇自动化测试
  • 1篇自动化测试技...
  • 1篇字典
  • 1篇座舱

机构

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

作者

  • 9篇黄芙平
  • 8篇倪红英
  • 6篇周弘斌
  • 3篇王辉
  • 3篇张冬梅
  • 2篇鲍颖力
  • 2篇肖前远
  • 2篇倪亭
  • 2篇陈琳
  • 1篇丁毅
  • 1篇马慧芳
  • 1篇王彬
  • 1篇韦华
  • 1篇张岚

传媒

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

年份

  • 1篇2019
  • 2篇2016
  • 3篇2015
  • 2篇2014
  • 1篇2012
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
文献传递
座舱显示系统规范符合性自动化测试技术研究与实现
王辉倪红英王彬丁毅马慧芳张冬梅沈良霞周弘斌肖前远朱丽蘋丛君霞黄芙平张岚秦曙春陈琳
该技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中，技术复杂、难度大，技术水平国际先进，具有自主知识产权，获授权专利一项(ZL201110303769.7)，受理专利一项(CN201410022618...
关键词：
关键词：自动化测试飞机座舱
基于DO-178B/C标准的软件验证过程管理平台
黄芙平王光耀周弘斌郁佳阳鲍颖力张冬梅魏润
所属科学技术领域：该项目属于航空机载软件验证技术领域。主要科学技术内容该项目按照国内外通用的民机适航标准DO-178B/C软件验证过程的要求，提出了一种基于模板和活动向导的软件验证过程控制管理方法，开发了集项目管理、软件...
关键词：
关键词：软件测试
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
基于测试用例形式化描述的软件测试自动化技术研究及应用
倪红英周弘斌肖前远鲍颖力沈良霞费玮莹黄芙平王辉韦华陈琳
该项目属于形式化方法及其在航空电子系统软件验证领域的应用研究。新一代飞机上由软件完成的功能已经占到了80%以上，因此，消除软件缺陷、保证软件质量显得尤为重要。软件验证测试是航空航天领域普遍使用的发现软件缺陷保证软件可靠性...
关键词：
关键词：形式化描述航空电子系统
一种基于自定义模型的软件质量评价方法
本发明公开了一种基于自定义模型的软件质量评价方法，包含以下步骤：步骤1)建立度量项参数数据字典；步骤2)自定义主特性和各主特性的子特性并建立质量特征表；步骤3)从度量项参数数据字典中选择所需的度量项参数以及所需的主特征和...
黄芙平倪红英朱丽蘋
文献传递
基于适航标准的ARINC664交换机软件验证技术研究
张冬梅倪红英黄芙平郁佳阳朱晓敏周江辉王辉
项目来源：基于适航标准的软件验证是航空机载软件在民用飞机上投入使用的必经过程，是保证航空机载软件质量的重要步骤，适航验证需要满足相关的DO-178B/C要求。该所承接了C919飞机基于ARINC664的交换机研制项目，该...
关键词：
关键词：交换机软件
智能交通移动平台软件研究与实现
刘良王光耀丛君霞倪红英黄芙平
近年来，随着各大城市创建智慧城市的步伐愈加迅速，作为智慧城市创建的重要一环-智能交通产业也迎来了快速的发展机遇。该所积极与苏州交通局展开相关合作，布局智能交通产业，响应“军民融合”的国家发展战略。智能交通移动平台软件项目...
关键词：
关键词：服务器
国内外航空软件测试比较被引量：2
2015年
软件测试是保证软件质量的重要手段。航空软件因特殊环境使用要求需具有高安全性和高可靠性。由于多数航空软件为嵌入式软件,故难以测试。目前,国内外航空软件测试管理思路和技术方法各异。从规范标准、测试定义、团队分工、测试类型、测试环境、测试工作产品和资源配置等方面,对国内外航空软件测试进行了论述和比较,以期达到更好的软件测试。
倪红英黄芙平周弘斌
关键词：软件测试
全选 清除 导出
共1页<1>
聚类工具0