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