软件项目的同行评审

软件评审是软件项目中重要的环节,与软件测试共同构建了软件开发的保障体系.列出了发现错误的时间与软件成本和开发风险的关系,分析了同行评审的种类和对象,指出了可行的评审过程,并总结了项目开发过程中评审容易出现的错误.通过同行评审,能够及早识别并消除缺陷,让软件交得更易维护,通过对这些错误的分类和统计,发现共同的缺陷类型和修...     

软件过程中同行评审的应用与度量

在软件过程中采用同行评审可以及早、高效地发现软件缺陷,从而广泛、深入且有效地吸收和应用软件过程信息,同时评价和提升软件过程能力水平.为了在软件过程中更加有效地应用同行评审,以CMM/CMMI为基础,详细分析了软件过程中同行评审的方法,并介绍了同行评审的流程.在此基础上,对如何建立和实施同行评审的度量进行了研究和分析,并提出了利用同行评审的度量数据建立组织同行评审过程能力基线的方法.     

民机机载软件配置管理技术研究

软件配置管理作为软件开发过程中的一个重要过程受到越来越多人的重视。文章从民机机载软件的特点入手,提出了一套符合民机机载软件的配置管理流程,并与DO-178B中的配置管理活动进行了符合性对照,给相应民机机载软件的配置管理技术提供了一定的借鉴和参考。     

民用机载软件集成过程的技术研究

民用机载软件的研制以DO-178B标准为指导.与传统的软件工程相比,DO-178B标准更面向目标和过程.该标准为各个等级的软件提出了相对应的目标,申请者需要向局方提供证据以表明研制的软件满足适航目标.软件的编码和集成过程,该标准要求集成过程的输出是正确和完整的.但该标准中并没有提出如何满足这个目标.本文通过无线电调谐软件对软件编码和集成过程以及对软件编译和链接过程的研究,提出一种方式来满足DO-178B标准的这一目标.     

浅谈软件评审

文章介绍了一般软件评审涉及的内容和软件评审中的各个角色与职责,重点说明软件评审的过程及评审的标准和评审中要注意的问题。同时也着重阐述了不同的软件开发可以根据此评审过程进行裁剪,评审过程是帮助作者提前发现评审对象的缺陷,而不是对评审对象的发布执行。     

CMM/CMMI中同行评审子过程的定量控制

为了解决实施CMM／CMMI过程中对软件过程的定量控制问题,进而实现对软件质量、成本和进度的定量管理,引进计算数学中的“线拟合”方法。该方法描述了互相牵制的定量指标之间的数学关系,弥补了经典的SPC技术只能分析单个度量的不足。将“曲线拟合”法用于对“同行评审”子过程的定量控制,实践证明,它较好地刻画了该子过程两个定量指标之间的关系,使得“同行评审”的结果在任何时候都是精确受控的。     

面向实时嵌入式机载软件的测试技术研究

文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。     

航空机载软件安全性测试技术研究

航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照软件运行的关联风险值构建出机载软件的关键运行剖面,对机载软件安全性的关键运行进行严格的测试,并提出了机载软件安全性测试用例的生成算法;最后,利用统计理论探讨了测试用例数的改进和加速确定方法,用以提高软件的安全性测试效率.     

军用软件评审标准的改进措施研究

软件评审在军用软件的开发中占有重要地位.但是,我军的软件评审标准仅来源于IEEE的标准,这对于有着高安全性和高稳定性要求的军用软件是不够的,为了改进我军软件评审标准,提高评审在军用软件中的可操作性,本文先对几种航天行业软件评审标准进行对比介绍,然后分别分析这些软件评审标准的不同之处,最后对我军软件评审标准进行一些改进,...     

度量与分析域在同行评审中的实践

度量与分析域是CMMI中一个非常重要的过程域,但要在软件项目中有效实施却是困难的。同行评审是软件行业一致公认的最佳实践,软件企业越来越重视同行评审。本文探讨如何将度量运用于同行评审中,以促进同行评审的有效开展,最终达到保证软件质量的目的。     

软件评审

软件评审是软件质量控制的一个重要手段．本文简要介绍了软件评审目标，过程和准则等内容，希望能从除度量与测试以外的角度来对电子政务系统建设中软件质量进行控制。     

面向机载软件的预期功能安全分析验证过程及方法研究

预期功能安全（Safety of the Intended Functionality,SOTIF）关注系统与外界环境、交联设备、任务场景和操作人员交互时,由自身功能设计不足而导致的安全隐患,非常适用于具有复杂功能逻辑的系统和软件研制过程。但目前尚未见到SOTIF在机载软件安全性分析验证工作中的研究与应用,导致机载软件安全性分析验证过程难以适用于复杂失效的分析识别。因此借鉴SOTIF在汽车领域的成功应用经验,开展面向机载软件的SOTIF分析验证过程与方法研究。首先,参考ISO 21448标准,提出机载软件SOTIF分析验证框架。然后,借助功能危险分析、故障树模型、场景驱动等理论,针对过程中涉及的SOTIF分析验证技术进行研究,识别机载系统危险,分析软件异常控制行为及其原因,构建SOTIF测试场景与测试用例,形成基于SOTIF的机载软件安全性分析验证完整闭环。最后,通过SOTIF技术在机轮转弯控制软件的典型工程应用,验证了该研究成果的有效性和可行性,形成了面向机载软件的SOTIF分析验证过程与能力,可支撑研制人员充分识别机载软件运行过程中软硬耦合冲突、人机交互异常、场景切换异常等复杂失效模式,确保机载软件满足高安全、高可靠研制要求。     

构件化机载软件非功能属性测试分析方法研究

精准有效的非功能属性测试分析过程及结果已被国内外机载武器系统设计及开发研制工作者公认为机载武器系统高可靠性及安全性的重要保障。为确保测试分析过程的精准度,对构件化机载软件结构层次及运行时配置逻辑关系进行划分,设计系统、使命和功能层上的非功能属性测试分析模型,提出基于3个层次上运行时配置状态复杂度和重要度的性能指标分配方法,并分别作了应用举例和讨论。经过验证表明,测试分析模型及指标分配方法符合系统总体设计的非功能属性指标分析及分配要求。     

直升机机载软件重要度分级的研究与应用

随着现代电子计算机技术在直升机中的大规模使用,机载软件在直升机中承担着日益重要的角色.机载软件不仅存储和处理大量对安全飞行至关重要的数据,还能辅助飞行人员进行逻辑判断、引导飞机进入正确的航线乃至直接控制飞机的飞行.为了确保机载软件正常的生命周期,稳步提高机载软件的安全性水平,开展机载软件重要度分级的研究与应用.     

机载软件自动测试系统的设计与实现

为了提高机载软件测试过程的效率,降低人为错误对测试结果的影响,实现了一种基于VxWorks的自动软件功能测试系统。通过这个系统,机载软件功能测试过程中诸如用例解析编译、加栽、运行、结果输出分析等步骤都可以实现自动执行。通过将其应用在VxWorks 5.5和VxWorks653上的实际测试项目,验证了该自动测试系统的可行性及正确性。     

基于CMMI符合DO-178B的民机机载软件需求开发过程理论与实践

随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度.     

浅析基于模型的航空机载软件集成调试

针对航空机载软件集成调试严重依赖硬件资源、迭代周期长、成本高的问题,提出了基于模型的机载软件集成调试流程,描述了3种不同层级的集成调试方法,介绍了各级调试的调试对象、调试目的,调试依据和活动;给出了集成调试环境的基本架构,探讨了不同层级集成调试成果的复用方法,总结了该流程在航空发动机机载软件研制过程中的应用情况以及验证结果,证明了基于模型的机载软件集成方法的正确性和可行性.     

机载软件开发环境研究

介绍了机载软件开发环境的发展现状,分析了机载软件开发环境的组成结构,研究了机载软件开发环境的主要关键技术并概述了机载软件开发环境的发展趋势.     

机载气象雷达多媒体软件开发研究

本文给出机载气象雷达多媒体软件的系统结构和功能，论述基于Authorware、3DMAX等平台的多媒体软件程序设计技术。     

SW-CMM同级评审KPA软件管理流程的设计

同级评审是SW-CMM三级的一个关键过程域,其目的是尽早消除软件工作产品中的缺陷.本文针对同级评审关键过程域的需求,结合本软件开发组织的特点,设计了该关键过程域的软件管理流程.