基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

软件质量及其度量准则

几乎所有的软件开发者都同意软件的质量是至关重要的,但并不都知道如何使软件具有高质量。在软件工程中,对这个问题的研究已形成了一个分支——软件质量保证。软件质量保证是为使软件产品符合规定需求所进行的一系列有计划的工作,它贯穿于软件的全部开发过程。许多研究表明,开展软件质量保证对于开发者和最终用户都是有益和合算的。下面数据可以说明这一点: a.开发部门在软件维护方面的工作量逐步上升,已占全部开发工作量的50%到80%。 b.在软件生命期中用于发现和纠正软件错误的成本以几何级数的速度上升。对于纠正同一个错误,在维护阶段所花的成本要比在分析阶段所花的成本高10倍以上。     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

浅析机载软件测试策略

归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。     

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

CMM管理体系在航天器海上测控软件工作中的应用探讨

软件质量三分靠技术七分靠管理，软件过程的规范管理和过程改善成为当前软件管理工作的棱心，CMM正是通过不断优化软件过程来实现软件质量控制的目的。本文主要阐述了CMM的概念和内涵，分析了CMM在我国的应用现状、CSMTC软件工作的现状和影响其软件质量的因素，探讨了CMM管理体系在CSMTC软件开发和维护工作中的应用意义和方法，给出了实施CMM管理需注意的几个问题。     

简讯

简讯由３０１所主持召开的《产品验收软件质量控制要求》科研项目研讨会于１９９６年４月１６日至１９日在６１３所召开。来自总公司系统的８个单位的代表参加了会议。代表们着重讨论了产品验收软件的含义及对其实施质量控制的方法；参观了６ｌ３所有关的计算机软件和硬件...     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

基于UML构件分析的软件复用技术

软件复用是提高软件生产力和软件质量的重要途径。本文主要介绍了用面向对象的UML方法来分析构件,并从中提取可复用构件,进而将其封装为EJB构件的开发流程。为快速、高效地构建系统提供了一种可行的解决方案。     

RTCA DO-178C标准中的软件验证过程分析

研究了DO-178C中软件验证过程活动的开展及方法,提出了在工程实践中开展软件验证活动和提升软件质量的建议。指出DO-178C与航空工业标准体系融合及应用,对提升我国机载软件质量有重要意义。     

软件复用在测控软件开发中的应用

本文主要介绍软件复用的基本概念,软件复用的优点以及面向对象技术对软件复用的支持。同时结合测控领域中物实践,从软件复用的不同层次阐了可复用的构件在测控软件开发中的应用,阐明了软件复用在提高软件生产率,改进软件质量方面所起的重要作用。     

基于有限状态机模型的飞控软件测试方法浅析

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。     

基于层次分析法的机载软件质量评价技术研究

基于层次分析法,针对机载软件的功能及产品特点,以ISO/IEC 9126和GJB 5236层次模型为支撑,形成机载软件质量评价工程应用方法,为以航空软件研制过程为基础的现代航空软件产品质量评价提供技术支撑,从而达到提高现代航空软件研制过程质量的目的。     

装备软件可靠性分析与设计方法

软件可靠性是软件质量度量6个特性中的核心特性,已经成为决定装备作战效能的关键因素之一。特别是随着装备软件规模巨、功能强、要求高的发展趋势,采用软件可靠性工程方法提高装备软件的可靠性具有十分重要的意义。在对装备软件的系统和详细级故障模式、影响及危害进行分析的基础上,提出了提高装备软件可靠性的实现途径,并从软件研制过程的四个阶段重点进行了阐述,为相关工作提供参考。     

基于需求建模的软件安全性分析方法研究

为了提高软件安全性及可靠性,将需求建模引入针对软件需求的安全性分析过程,利用系统危险源、典型运行场景、外部输入输出接口等建模方法从系统需求分配、动态交互、接口故障处理等开展多角度分析,从而提高软件质量,并为后续软件需求分析以及安全性分析工作中提供可复用数据资产。     

软件测试典型案例的研究及思考

软件测试是软件能力成熟度模型集成的重要活动,通过对软件测试典型问题的分析和研究,提出了解决方法,对软件质量的提升具有实际意义。     

军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强。本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

软件可靠性保证的新进展——开发过程改进和工程能力评价方法的标准化

简述了软件开发过程改进和软件工程能力评价标准化方面的发展情况 ,介绍了美国SEI的CMM和国际标准化组织对Spice系列标准的研究情况。指出应该借鉴这些成果 ,促进我国软件开发水平的提高 ,以便更好地保证软件质量与可靠性。