您的位置： 专家智库 > >

倪红英

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

合作作者

文献类型

  • 7篇专利
  • 4篇期刊文章
  • 4篇科技成果
  • 1篇会议论文

领域

  • 10篇自动化与计算...
  • 2篇航空宇航科学...
  • 1篇电子电信

主题

  • 4篇测试程序
  • 3篇形式化
  • 3篇形式化描述
  • 3篇软件测试
  • 3篇自动化
  • 2篇代码
  • 2篇信息查询
  • 2篇信息管理
  • 2篇语句
  • 2篇源代码
  • 2篇软件源代码
  • 2篇适航
  • 2篇数据库
  • 2篇数据挖掘
  • 2篇统一管理
  • 2篇自动化测试
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇耦合因子
  • 2篇外部数据

机构

  • 16篇中国航空无线...
  • 2篇海军驻上海地...
  • 1篇南京航空航天...
  • 1篇航空电子系统...
  • 1篇上海城市管理...

作者

  • 16篇倪红英
  • 8篇黄芙平
  • 5篇周弘斌
  • 3篇王辉
  • 3篇陈琳
  • 2篇肖前远
  • 2篇倪亭
  • 2篇张冬梅
  • 1篇张育平
  • 1篇鲍颖力
  • 1篇陆荣国
  • 1篇丁毅
  • 1篇马慧芳
  • 1篇王彬
  • 1篇韦华
  • 1篇张岚
  • 1篇崔明明
  • 1篇李辰

传媒

  • 3篇航空电子技术
  • 1篇指挥信息系统...
  • 1篇中国航空学会...

年份

  • 1篇2020
  • 3篇2018
  • 1篇2017
  • 2篇2016
  • 4篇2015
  • 2篇2014
  • 1篇2012
  • 1篇2011
  • 1篇2001
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于自定义模型的软件质量评价方法
本发明公开了一种基于自定义模型的软件质量评价方法，包含以下步骤：步骤1)建立度量项参数数据字典；步骤2)自定义主特性和各主特性的子特性并建立质量特征表；步骤3)从度量项参数数据字典中选择所需的度量项参数以及所需的主特征和...
黄芙平倪红英朱丽蘋
文献传递
提供数据挖掘的软件同行评审系统实现装置
本发明揭示了一种提供数据挖掘的软件同行评审系统实现装置，包括软件标准维护模块、同行评审检查单维护模块、项目信息管理模块、典型软件缺陷管理模块、同行评审管理模块和信息查询及统计分析模块，本发明使不同标准软件的同行评审数据及...
朱丽蘋倪红英
文献传递
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
文献传递
数据耦合和控制耦合自动分析方法
本发明公开了一种数据耦合和控制耦合自动分析方法，包含：分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；识别各MPC路径上的潜...
倪红英
民用飞机软件验证要求研究与实践被引量：1
2017年
DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。
倪红英李辰
座舱显示系统规范符合性自动化测试技术研究与实现
王辉倪红英王彬丁毅马慧芳张冬梅沈良霞周弘斌肖前远朱丽蘋丛君霞黄芙平张岚秦曙春陈琳
该技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中，技术复杂、难度大，技术水平国际先进，具有自主知识产权，获授权专利一项(ZL201110303769.7)，受理专利一项(CN201410022618...
关键词：
关键词：自动化测试飞机座舱
基于测试用例形式化描述的软件测试自动化技术研究及应用
倪红英周弘斌肖前远鲍颖力沈良霞费玮莹黄芙平王辉韦华陈琳
该项目属于形式化方法及其在航空电子系统软件验证领域的应用研究。新一代飞机上由软件完成的功能已经占到了80%以上，因此，消除软件缺陷、保证软件质量显得尤为重要。软件验证测试是航空航天领域普遍使用的发现软件缺陷保证软件可靠性...
关键词：
关键词：形式化描述航空电子系统
数据耦合和控制耦合自动分析方法
本发明公开了一种数据耦合和控制耦合自动分析方法，包含：分析软件源代码，获取潜在耦合因子，并记录潜在耦合因子；分析软件源代码，确定程序的调用关系，沿着程序调用关系，识别MPC路径并形成MPC路径集合；识别各MPC路径上的潜...
倪红英
文献传递
嵌入式软件自动化测试平台的研究与实现被引量：6
2011年
随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须。本文提出了一种联系宿主机和目标机的自动化测试平台。该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能。
陈琳张育平倪红英崔玉美
关键词：嵌入式软件软件测试插装通信优化
全选 清除 导出
共2页<12>
聚类工具0