启动软件重用库工程 推进航天型号软件标准化

概述了国际上软件重用技术的发展和应用状况,阐明了软件重用技术是提高软件质量特性的有效措施,也是推进航天型号软件开发、应用工程化和标准化的重要技术基础工作,并系统地论述了建设航天软件重用库的必要性、迫切性和可行性,初步提出了航天软件重用库工程的实施建议。     

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

航天型号软件研制过程中的并行工程

分析了航天型号软件研制过程的现状和弊病,阐述了航天型号软件研制过程是并行工程的初步内容,介绍了支持并行工程的工具环境,提出了实施并行工程的初步目标。     

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

航天型号进度控制研究

针对航天型号研制生产的现状,分析了航天型号进度控制的原理,介绍了航天型号进度控制的流程和方法,深入分析了当前进度管理中存在的问题,并结合项目管理理论提出了解决这些问题的总体思路和相应的调整措施。对及时推广和应用先进型号进度控制方法,推动航天型号的持续高速发展具有重要的现实意义。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

工艺总方案在航天型号产品研制生产中的作用

工艺总方案是型号生产总体策划、协调性技术文件。介绍了航天型号产品工艺总方案的类型,阐述了方案合理、措施可行、本身质量较好的工艺总方案在型号研制生产中的重要作用。航天型号产品的制造工程是一项高技术、多学科、较复杂的系统工程,为了增强航天企业的制造实力,优质、高效、低耗地生产出型号产品,承担航天型号产品制造任务的单位,应注重工艺总方案的编制。     

浅谈提高型号产品验收工作的有效性

简述航天型号产品验收工作的主要内容,根据航天型号产品验收工作现状以及存在的问题,从明确责任、精心策划、坚持制度化与监督检查等方面提出提高航天型号产品验收工作的有效性措施。     

航天型号项目管理的质量文化建设

概述了航天型号项目管理的情况,介绍了项目管理质量控制的阶段与内容,分析了预防思想与航天型号管理质量文化的内在联系,并对建设航天质量文化、强化项目管理提出工作思路和实施措施。     

浅谈型号软件研制中的标准化

概述了航天型号计算机软件的特点,论述了研制过程中实施计算机软件工程标准的必要性及开展的标准化工作。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

软件项目估算与测量的工程实践

在开发过程中软件估算和测量非常重要,如果没有合理而准确的估算和实测数据,就不能对软件项目进行有效的管理和控制。本文阐述了在航天软件过程改进实施过程中工作产品规模、工作量和进度的估算和测量方法,分析了3个航天软件项目的测量结果,总结了项目的管理情况。并且证明基本的CO-COMO模型比较适合航天软件项目。     

软件潜在分析技术及其应用

软件潜在分析技术的概念及方法在文中作了讨论．对此技术在航天软件中开展和应用前景及具体实施方法作了分析和介绍。     

TlcsVTE原型中功能覆盖率算法的实现

TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

LDRA TESTBED在航天软件测试中的应用

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。     

软件评审:类型及其实施要求

软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标.本文定义了软件评审的5种类型(即管理评审、技术评审、审查、走查和审核),详细比较了它们之间的差异,分别阐述了每一种评审的目的、对象和实施步骤.在软件开发生存周期中,软件评审可以尽早发现并改正软件中的缺陷,减少因软件存在缺陷而造成的返工,提高软件的开发效率和软件产品的质量.