综合测试设备中的软件工具鉴定方法研究

随着安全关键系统软件的复杂性和重要性的不断提高,软件工具在软件开发和验证过程中得到了越来越广泛的使用,工具鉴定问题日益突出。本文通过梳理DO-178C和DO-330中对于工具鉴定的要求,总结了综合工具的鉴定方法,并通过工程实践验证了综合工具鉴定方法的可行性,为复杂综合测试设备的工具鉴定提供了理论依据和实施指导。     

基于统一方法架构的软件开发过程模型辅助系统

介绍了基于统一方法架构的软件开发过程模型辅助系统,它是对RUP的裁减和定制,以满足航空电子软件开发的特殊性。还介绍了软件开发过程模型辅助系统在型号项目以及新员工中的应用案例及应用结果。     

一种基于OMT的面向对象的软件开发方法

本文介绍了面向对象软件开发方法的基本概念,并以OMT(object modeling design)方法为基础,描述了一种面向对象的软件开发方法,其中引入了信息流分解法,把自顶向下和自底向上的思想综合运用于该方法中,使其更加完善。     

航天器数据处理硬件:美国空军标准1750A ISA的新动向

美国空军标准1750A ISA的应用,在以后十年,将统治航天器数据处理技术。它将使更多的日臻完善的软件开发工具运用在航天器数据处理上。     

基于工具服务历史的机载软件工具鉴定方法

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动。最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的。     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

软件开发过程中的项目管理

随着信息技术的飞速发展，软件应用范围越来越广，软件产品的规模也日益庞大，软件复杂度越来越高。传统“作坊式”开发模式已经不能适应大型软件的开发需要，大型软件项目必须按软件工程的开发模式，由团队共同协作完成。如果软件开发过程中缺乏统一有效的项目管理，将造成软件成本日益增长，开发进度难以控制以及软件质量差、软件维护困难等情况。因此，为了使软件项目能够按照预定的成本、进度、质量顺利完成，必须对软件开发过程实施项目管理，规范软件开发的过程。     

固体火箭发动机可靠性设计系统的研究与实现

可靠性设计是固体火箭发动机设计中的一项重要工作,但长期以来这些工作主要依靠多个设计人员共同完成。为了实现固体火箭发动机可靠性设计自动化,本文首先结合固体火箭发动机可靠性设计的工程实际,提出了软件系统的主要功能,然后在总结工程实践中常用的可靠性分配、预计、评估等方法的基础上,确定了系统各模块的计算模型,最后采用C++Builder等软件开发工具,开发了固体火箭发动机可靠性设计系统。实践表明,该系统易于操作,便于工程应用。     

综合化仪表测试系统设计

目的介绍一种综合化仪表测试系统设计与实现方法;方法采用模块化设计,运用工业控制计算机和VC++6.0软件开发工具,对系统进行测试、仿真和监控;结果确保综合交联试验在设备缺失或故障状态下顺利进行,并可对整个试验过程进行跟踪监控;结论经试验验证,具有较强的实用性,为地面试验提供有力的保障。     

C/C++软件的危险函数静态检查研究

C/C++软件开发过程中,源代码中若使用了危险函数,会造成内存缓冲区溢出,产生严重的安全漏洞和隐患,因此对源代码进行危险函数检查非常重要.对于大型软件模块需要将危险函数静态检查工具集成到持续集成工具上,对源代码进行危险函数检测.结合工作实践,介绍了危险函数检测工具,叙述了对源代码进行检查的流程;详细叙述了基于持续集成的危险函数检查过程;最后介绍了两个典型案例.工作实践表明,进行危险函数检查有助于及时发现和处理软件中的危险函数隐患,从而提高软件产品的质量和安全性.     

A型飞机HUD／WAC软件开发

本文综述了装于A型飞机的平视显示器/武器瞄准计算机作战飞行程序(HUD/WAC OFP)软件开发流程,并通过程序开发实例介绍该平显软件开发步骤和方法。该项目为成都飞机公司军机改型研制和产品销售作出了贡献,在引进国外机载计算机软件和开发的工作中闯出了新路。     

基于服务模型的应用开发

软件开发模型能为软件系统的分析、设计、实现和配置提供一个框架,使之结合为一体,并良好地工作。研究了服务模型基本构成及其特点,并以一个具体的应用项目为例,详细阐述了基于服务模型的应用开发所经历的各个阶段及每一阶段的主要任务和方法。     

VSTS工作项模板二次开发在软件研制项目流程管理中的应用研究

项目流程管理在软件开发过程中至关重要，而有效的流程管理工具则又是项目管理工作开展的平台，是项目管理的基本前提和直接手段。微软研发的团队开发产品VSTS（Visual Studio Team System)则正是这样一款涵盖产品开发的全生命周期，为建模、开发、测试、自动构建以及缺陷管理、项目决策分析、源代码管理等提供强有力支持的配置和流程管理工具。为本文所关注的是其所提供的将配置管理与项目流程管理整合于一体的工作项管理功能。针对这一区别于其它配置管理工具的特点，在实际使用并试图发挥出该项附加功能最大作用的过程中，本文提出了 VSTS 工作项模板二次开发的方法。经过在多个具有特性化流程管理需求的组织中的推广和使用，证实这是一种便捷有效定制实现适用于不同业务特点的软件项目管理流程的方法。     

基于CMMI实施软件配置管理

随着民航机场软件需求飞速发展。快速应对民航机场用户对民航信息系统软件的需求变更等问题是民航机场信息系统软件集成开发商的一重大挑战。本文引入CMMI这一软件集成开发成熟度模型解决系统集成和软件开发过程中诸多问题。并介绍采用开源工具搭建CMMI实施软件配置管理．     

挤压絲锥设计及公差标准化

一、引言 在机械工业中,运用金属塑性变形的原理,通过外力和工具,使金属材料成形的方法已得到广泛采用。挤压丝锥就是应用这种原理来成形内螺纹的一种工具。     

民机自动飞行模式设计规范与适航性分析

民机自动飞行系统对降低飞行员工作负荷、提高飞行安全性具有重要作用.分析了自动飞行系统飞行模式设计的相关适航规范要求,研究了模式设计的基本方法和软件开发工具,以及适航符合性验证方法.开发了一种飞行模式设计与仿真平台,基于MATLAB/Stateflow设计飞行模式及其切换机制,采用MATLAB/GUI接收驾驶员操作输入,并调用飞行动力学模型进行实时仿真.形成一个集模式设计、仿真和验证一体化的闭环平台,可用于民机飞行模式的设计和适航性分析.     

软件开发环境综述

1 序言“环境”(Environment)这个术语,国内目前尚无统一定义。甚至连“IEEE软件工程术语标准词汇”(IEEE Std 729-1983)中也未列出明确条目。可是,这个词在软件界已使用得相当广泛。通常,把“环境”看成是软件开发者建立软件系统所使用的硬件工具和软件工具的集合。随着技术的发展和用户期望的提高,环境的功能也随之“水涨船高”。现在经常出设于文章中的术语有“编程环境“(Programming Environment)和“软件开发环境”(Software Development Environment)。这两个术语常常被混杂使用,其实,它们的词义不尽相同,其内涵区别很大。编程环境系指仅支持软件开发期中编码阶段的环境;软件开发环境则指支持软件开发期中各阶段全部活动的环境。     

飞机装配型架内型板快速设计方法

为提高飞机装配型架内型板的设计质量与设计效率,分析内型板的结构特点与设计流程,开发了一款飞机装配型架内型板快速设计工具。该工具统一了内型板设计的流程,并针对性解决了传统内型板设计过程中遇到的3个关键问题:建立内型板基体的参数化模型、提出快速提取算法与自动延伸算法分割生成内型板工作面、提出内型板凹槽的批量设计方法,最后给出了快速设计工具的具体应用实例。     

基于物联网技术的数显量具数据采集接口统一开发

针对物联网技术的快速高效质量检测需求,基于量具固有的通信协议与电气接口,开发统一的数显量具数据采集接口。通过C8051单片机外围电路软硬件开发和计算机接口统一数据获取方法软件开发,实现对量具测量结果和量具标识信息的准确获取。通过实例测试,验证了该开发的可行性和有效性。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装 以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可 视化工具中填写对应硬件信息，完成BSP 软件代码及对应文档的自动生成，实现了软件需求的直观化输入到 需求与设计的黑盒转化。能有效提高软件开发效率，增加软件成熟度，提高软件产品质量。