软件代码缺陷分类及其应用 被引量：11

1

作者 胡璇 刘斌 陆民燕 《计算机工程》 CAS CSCD 北大核心 2009年第2期30-33,共4页

分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明,该代码缺陷分类可... 分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明,该代码缺陷分类可以有效指导代码审查。 展开更多

关键词 代码缺陷 代码审查 航空软件

下载PDF 职称材料

航空软件测试过程模型应用研究 被引量：9

2

作者 王树义 南建国 黄雷 《计算机测量与控制》 北大核心 2013年第6期1443-1445,共3页

对几种传统的软件测试过程模型进行分析和比较,结合航空软件的特点,根据航空软件测试模型建立的原则,提出领域知识模型的软件测试新模型;对基于领域知识模型的航空软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率,... 对几种传统的软件测试过程模型进行分析和比较,结合航空软件的特点,根据航空软件测试模型建立的原则,提出领域知识模型的软件测试新模型;对基于领域知识模型的航空软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率,进而提高航空软件的安全性和可靠性。 展开更多

关键词 航空软件 软件测试 领域知识模型

下载PDF 职称材料

复杂航空软件工程化综合管理框架 被引量：3

3

作者 孙旭 杨顺昆 刘斌 《现代电子技术》 2012年第24期110-114,117,共6页

为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主线推进软件研制能... 为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主线推进软件研制能力的提高,结合某航空装备软件实际项目,给出实施软件工程化的管理体系和实施方法。 展开更多

关键词 航空软件 软件质量 软件工程化管理 软件研制效率

下载PDF 职称材料

航空软件及其国际标准与软件测试

4

作者 刘利君 《航空科学技术》 2004年第2期32-34,共3页

本文从航空软件的产生与作用入手,阐述了航空软件在当今航空领域的不可替代性,介绍了目前国际上航空界的相关软件标准,进而提出了航空软件测试对于保障航空安全的作用与意义。

关键词 航空软件 国际标准 软件测试 航空安全 计算机软件控制

下载PDF 职称材料

国内外航空软件测试比较 被引量：2

5

作者 倪红英 黄芙平 周弘斌 《指挥信息系统与技术》 2015年第6期8-12,共5页

软件测试是保证软件质量的重要手段。航空软件因特殊环境使用要求需具有高安全性和高可靠性。由于多数航空软件为嵌入式软件,故难以测试。目前,国内外航空软件测试管理思路和技术方法各异。从规范标准、测试定义、团队分工、测试类型、... 软件测试是保证软件质量的重要手段。航空软件因特殊环境使用要求需具有高安全性和高可靠性。由于多数航空软件为嵌入式软件,故难以测试。目前,国内外航空软件测试管理思路和技术方法各异。从规范标准、测试定义、团队分工、测试类型、测试环境、测试工作产品和资源配置等方面,对国内外航空软件测试进行了论述和比较,以期达到更好的软件测试。 展开更多

关键词 航空软件 软件验证 软件测试

下载PDF 职称材料

浅析航空软件的质量监督管理

6

作者 石永山 《中小企业管理与科技》 2014年第5期63-64,共2页

随着我国军事化现代化水平的逐步提高,软件产品在现代武器装备中所占比例越来越高,功能越来越复杂,软件质量监督的任务也越来越重。本文结合国内军用软件的质量现状,对军用软件开发过程中的质量监督方法和策略进行了简要的阐述。

关键词 航空软件 质量监督

下载PDF 职称材料

航空软件代码覆盖率分析的项目管理

7

作者 蒋萍花 《项目管理技术》 2015年第3期97-101,共5页

代码覆盖率分析是高性能航空软件的一项重要的验证工作。把代码覆盖率分析作为一个项目,基于代码覆盖率分析的技术要点,应用项目管理方法和技术,讲述了其启动、规划、执行、监控和收尾过程的管理要点。在启动阶段,指出了谁是重要的利益... 代码覆盖率分析是高性能航空软件的一项重要的验证工作。把代码覆盖率分析作为一个项目,基于代码覆盖率分析的技术要点,应用项目管理方法和技术,讲述了其启动、规划、执行、监控和收尾过程的管理要点。在启动阶段,指出了谁是重要的利益相关者,并结合DO-178B的要求,指明了代码覆盖率分析的目标;在规划阶段,分析了两轮分析的进度管理;在执行阶段,总结了代码覆盖率分析的流程和重点,给出了项目工作组的构建方案和其WBS,设计了变更控制流程;在监控阶段,指出了多种监控方法,详细介绍了同行审查方法;在收尾阶段,明确了如何交付代码覆盖率分析的成果和更新组织过程资产。最后介绍了理论的实践情况,并对实践做了展望。 展开更多

关键词 代码覆盖率分析 航空软件 项目管理 利益相关者 WBS

原文传递

敏捷开发在航空软件产品项目中的应用实践

8

作者 孙松杰 赵强 《中文科技期刊数据库（文摘版）工程技术》 2021年第10期278-279,共2页

当前科学技术不断发展,社会中出现了很多软件产品生产公司,在航空行业快速发展的背景下,许多软件开发企业注重航空软件产品项目的研究。为了将航空软件产品项目研究的效果和效率提升,保证软件产品的实用性和可靠性,可有效应用敏捷开发,... 当前科学技术不断发展,社会中出现了很多软件产品生产公司,在航空行业快速发展的背景下,许多软件开发企业注重航空软件产品项目的研究。为了将航空软件产品项目研究的效果和效率提升,保证软件产品的实用性和可靠性,可有效应用敏捷开发,在航空软件产品项目中有效进行敏捷开发的应用实践,以获得较为理想的效果。 展开更多

关键词 敏捷开发 航空软件 产品项目 应用实践

下载PDF 职称材料

基于AADL模型航空安全软件可信性度量方法

9

作者 刘歆宁 康玲 《计算机技术与发展》 2023年第8期81-87,94,共8页

航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基... 航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案。首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型。可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。 展开更多

关键词 AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法

下载PDF 职称材料

美国HPCMP CREATE^(TM)软件质量保证分析 被引量：1

10

作者 陈丽艳 过旭艳 《电子技术与软件工程》 2019年第8期68-70,共3页

本文阐述了美国国防领域下一代多物理航空设计工具的成功运用,CREATE-AV配套工具确认与验证方面所开展的工作,为国内相关领域提供借鉴和参考。

关键词 HPCMP CREATE 航空软件开发 软件质量 国防采办

下载PDF 职称材料

浅析DO-178B与GJB5000A标准对航空软件研制要求的差异

11

作者 江传文 《价值工程》 2013年第30期186-187,共2页

针对当前航空机载设备或系统研制单位普遍在实施航空软件研制过程标准化工作的实际情况,分析探讨了DO-178B标准及GJB5000A标准在实施过程中如何满足其要求,简要阐述了两种标准在项目之间的差异性。

关键词 DO-178B GJB5000A 航空软件研制 项目管理 最佳实践

下载PDF 职称材料

坚持自主创新 实现航空CAE软件的产业化发展 被引量：15

12

作者 孙侠生 段世慧 陈焕星 《计算机辅助工程》 2010年第1期1-6,共6页

回顾20世纪70年代至今,航空结构分析系统HAJIF系列软件的成功开发历程,总结坚持自主CAE软件开发的经验和教训,根据当前航空工业的需求和CAE技术的发展趋势,提出创建航空自主CAE软件产业的思路和建议.

关键词 航空自主CAE软件 软件产业 结构分析 HAJIF

下载PDF 职称材料

航空电子软件仿真测试环境软件体系结构研究 被引量：13

13

作者 刘畅 刘斌 阮镰 《航空学报》 EI CAS CSCD 北大核心 2006年第5期877-882,共6页

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计。基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述。应用代理模式,解决了分布式测试环境... 首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计。基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述。应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术。据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中。 展开更多

关键词 软件体系结构 软件测试环境 设计模式 航空电子软件

下载PDF 职称材料

航空结构分析CAE软件发展现状与未来挑战 被引量：7

14

作者 王彬文 段世慧 +1 位作者 聂小华 郭瑜超 《航空学报》 EI CAS CSCD 北大核心 2022年第6期21-44,I0002,共25页

结构分析CAE软件是核心技术研究的重要手段、重大装备研制的根本保障和智能制造推进的关键支撑,高水平自主可控(航空)结构分析CAE软件对航空科学技术领先创新和装备研制体系完整安全具有重大战略意义。深度梳理了国内外结构分析CAE软件... 结构分析CAE软件是核心技术研究的重要手段、重大装备研制的根本保障和智能制造推进的关键支撑,高水平自主可控(航空)结构分析CAE软件对航空科学技术领先创新和装备研制体系完整安全具有重大战略意义。深度梳理了国内外结构分析CAE软件的发展历程,系统分析了其一般性发展规律。从软件的技术复杂度、研发周期、装备需求和可靠性等4个维度,剖析了自主结构分析软件研发面临的时代挑战;从通用分析功能群、专用分析工具链和国产数据资源池3个层次阐述了自主(航空)结构分析CAE软件发展的广义内涵、总体思路和关键技术。最后,基于目前工业软件的世情国情和科学发展规律,展望了自主可控(航空)结构分析CAE软件的未来之路。 展开更多

关键词 计算机辅助工程 工业软件 航空结构 通用软件 航空专用软件 CAE

原文传递

假如使用Ada语言 被引量：3

15

作者 陆荣国 缪万胜 《航空电子技术》 2002年第4期40-43,共4页

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。

关键词 ADA语言 航空电子软件

下载PDF 职称材料

基于偏差分析的航空装备软件费用控制方法 被引量：3

16

作者 兰晓宸 张诤敏 +1 位作者 张蕾 付雅芳 《计算机工程与科学》 CSCD 北大核心 2014年第4期772-778,共7页

针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目... 针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目费用和进度的实施情况,当费用或进度偏离计划时,能够及时发现项目研发中存在的问题并采取策略进行调整,有效实现了软件费用和进度的监控与管理。 展开更多

关键词 航空装备软件 费用控制 偏差分析 挣值管理

下载PDF 职称材料

MRO软件综述 被引量：2

17

作者 克里斯.那斯瓦米 《航空工程与维修》 北大核心 2002年第6期21-23,共3页

本文对MRO软件做了基本介绍,对MRO软件与ERP软件的功能进行了对比,并详细描述了MRO软件的系统要求和解决方案。

关键词 综述 航空维修软件 功能模块 企业资源计划

原文传递

航空机载软件缺陷知识库框架 被引量：3

18

作者 张贺 王世海 +3 位作者 刘斌 杨顺昆 余正伟 秦蕾 《测控技术》 CSCD 北大核心 2013年第1期99-103,共5页

提高航空机载软件质量成为当前一个亟须解决的问题。建立软件缺陷知识库对于进行有效的软件质量评价及软件故障预测,识别易于出现缺陷的软件模块,提高软件测试效率和软件质量,都能起到重要作用。提出了一个基于机器学习和产生式系统推... 提高航空机载软件质量成为当前一个亟须解决的问题。建立软件缺陷知识库对于进行有效的软件质量评价及软件故障预测,识别易于出现缺陷的软件模块,提高软件测试效率和软件质量,都能起到重要作用。提出了一个基于机器学习和产生式系统推理相结合的航空机载软件缺陷知识库构建方法和相应的框架,该框架还包含软件缺陷度量元选取标准、选取清单,以及缺陷信息统计要求、分析方法。在此框架的基础上,利用实际测评工作中积累的大量航空机载软件缺陷数据,构建了一个统一、规范的软件缺陷知识库,并通过该知识库给出了缺陷预防信息,从而对航空机载软件全寿命周期进行了有效指导。 展开更多

关键词 航空机载软件 知识库 度量元 机器学习

下载PDF 职称材料

航空机载设备的软件文档种类要求 被引量：1

19

作者 陆荣国 《航空电子技术》 2001年第2期44-47,共4页

软件文档是航空机载设备软件的重要组成部分。应遵循适用的标准来规定航空机载设备的软件文档种类要求。应普遍重视软件编码标准和软件配置索引这两种文档，而通常规定的用户手册则不是必需的。

关键词 航空机载设备软件 软件文档 软件编码标准 软件配置索引 用户手册 种类要求

下载PDF 职称材料

软件工程及其在航空航天软件系统中的应用 被引量：1

20

作者 冀四梅 张亮 《战术导弹技术》 北大核心 2006年第2期80-84,共5页

简要回顾了软件工程的历史,介绍了软件的生存周期、过程模型、体系结构、常见的开发方法,以及标准化状况和几种计算机辅助软件工程工具.对国内外航空航天领域软件工程的应用情况进行了分析对比,并对国内的发展做了展望.

关键词 软件工程 软件过程模型 软件开发方法 CASE 航空航天软件

下载PDF 职称材料