靶场测控系统软件质量的综合评定

本文就把场测控系统软件质量所涉及的有关问题进行了综述。首先阐述了软件质量及其度量准则,然后根据靶场试验任务需求,重点介绍了应用软件质量与质量管理过程中应抓的主要环节及质量保障措施。     

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

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

航天器软件质量模型及度量指标

分析了航天器软件的研制技术流程和关注的质量特性,提出了航天器软件质量模型,明确了质量特性和子特性,结合航天器软件研制过程中产生的可度量数据,提出了各质量特性的度量指标。     

指挥控制软件质量模型与质量评价

在明确指挥控制软件质量及度量模型的基础上．本文对指挥控制软件质量评价的需求确立、规定、设计、执行及反馈等过程进行了具体阐述，并给出指挥控制软件质量评价实例；本文有助于指挥控制软件与系统的质量目标评价与设计改进分析。     

航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

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

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

软件技术状态检查工具的研究

软件技术状态管理是保证软件技术状态的正确性、控制软件技术状态的不受控性、提高软件可靠性的有效技术保障 ,是软件质量管理的一个重要环节。本文简要介绍了该工具的开发背景、设计思想、功能、优点及应用前景     

基于质量控制的过程——软件开发规范

探讨了软件开发规范及其实施效果的评定方法 ,研究了软件开发过程控制的控制点和要求、软件技术状态控制的要求和软件质量控制的方法及要求 ,分析了存在的问题 ,提出了解决的方法 ,旨在以闭环控制方式 ,使开发的软件质量严格受控。     

软件装备的质量特性与质量监督探讨

在简介软件产品的质量特性的基础上,分析了当前软件质量工作存在的问题,重点对软件开发研制和生产过程中质量监督内容进行分析和阐述,以期能对软件质量监督工作有所帮助。     

中巴地球资源卫星数管软件开发实践与体会

结合中巴地球资源卫星数管软件开发实践，介绍了实施软件工程的一些作法及其对提高软件质量的作用，从一个侧面说明了中巴地球资源卫星首发星数管系统获得成功的原因；给出了嵌入式星载软件可靠性设计、可维护性设计和可测试性设计的一些具体方法。     

军用软件质量保证问题研究

如何保证军用软件的质量,已成为装备信息化建设进程中亟待解决的重要问题。本文基于军用软件质量的内涵,分析了目前我国军用软件质量保证工作中存在的突出问题．提出了相应的解决方法与对策。     

中巴地球资源卫星数管软件开发实践与体会

结合中巴地球资源卫星数管软件开发实践,介绍了实施软件工程的一些作法及其对提高软件质量的作用,从一个侧面说明了中巴地球资源卫星首发星数管系统获得成功的原因;给出了嵌入式星载软件可靠性设计、可维护性设计和可测试性设计的一些具体方法。     

论软件项目管理的质量（上）

指出了当前软件项目质量不高的原因，提出了软件项目管理的指导思想和项目管理的重点，推荐了软件工作量的估算方法，介绍了软件的评测方法，明确了软件质量系统在设计定型前要抓好的几件工作。     

IEEE802.3 CRC-32的VHDL语言程序实现

文章介绍了IEEE802.3 CRC-32的一种VHDL语言程序实现。对CRC的重要性进行了简要的介绍,重点讨论了CRC的算法分析、CRC-32的VHDL语言程序实现。     

软件配置管理概述

介绍了软件配置管理的概念,从其组织层次、形式、任务、技术状态和管理工具等方面对软件配置管理活动进行了分别论述;阐述了软件配置管理流程中必须建立的活动步骤、入库文档以及对它们的具体要求;指出了软件配置管理是保证软件质量和提高软件产品生产效率的重要手段;最后给出了一个可操作的例子。     

航天外协软件产品质量管理流程及要素

基于航天软件质量管理工作实际,针对软件在外协产品中的重要性,结合软件研制管理的特点,从外协软件质量管理工作流程、关键控制要素、质量要求等方面进行总结和提炼,为外协软件质量管理提供参考。     

雷达计算机软件的质量保证、测试及评定

讨论雷达计算机实时软件的质量保证、测试及评定.指出要有一个中立权威测试机构和建立一个有效的测试系统,从技术测试上保证软件质量;技术测试应是多维立体型的.以测试为基础,结合文档资料剖析,给出能体现软件质量的评定.     

地对空导弹武器系统抗干扰能力度量方法的研究

本文提出了一种度量地空导弹武器系统抗干扰能力的方法:用抗干扰品质因数(Q_(AJ))来度量导弹武器系统的抗干扰能力。文中重点介绍了Q_(AJ)的定义及分析计算方法,并简要叙述了对空射击各阶段,干扰对武器系统作战能力的影响。     

嵌入式汇编程序静态分析研究

在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术.文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考.     

雷达识别效率的评定

介绍了评定雷达识到效率的信息度量法，指出该方法简单、方便。讨论了雷达识别的效率指标问题。