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

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

全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.     

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

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

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

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

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

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

规范化软件测试过程浅析

软件测试是提高软件质量的重要手段,规范化软件测试过程成为提高软件测试质量的必经之路。本文将测试过程分解为项目策划、测试需求分析、测试设计和实现、测试环境准备、测试执行和测试总结6个阶段,并对每一阶段提出具体要求,以实现整个测试过程的规范化。     

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

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

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

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

IEEE Std 1061《IEEE软件质量度量方法学标准》简介

简要介绍了IEEEStd 10 6 1- 92《IEEE软件质量度量方法学标准》的适用范围 ,重点介绍了软件质量度量的目的、软件质量度量框架、软件质量度量方法学及软件度量描述等主要内容     

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

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

发动机试车控制软件工程化及质量管理

为提高发动机试车控制软件的可靠性,通过需求分析、概要设计、详细设计、软件测试等步骤实现了软件开发工程化。结合试验控制软件研制和使用特点,对软件质量管理的具体步骤,即从设计评审、测试、验证、文档及技术状态管理等方面对软件开发过程进行监督与管理,实现了软件开发的质量控制,达到了软件设计的透明性、继承性及高可靠性。     

软件配置管理概述

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

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

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

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

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

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

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

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

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

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

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

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

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

坐标测量机的验收检测标准及校准规范的再探讨

发现GB/T 16857 eqv ISO 10360《产品几何量技术规范(GPS)坐标测量机的验收检测和复检检测》及JJF 1064—2004《坐标测量机校准规范》存在的不足。提出在GB/T 16857 eqv ISO 10360系列标准中增补测量软件包的质量要求和测试标准的建议。以实现对测量软件质量的评价,达到测量机性能的全面验收检测。     

直接电流注入与自由场照射之间等价性的评估

介绍了直接电流注入技术在导弹EMC测试中的研究与实践.这项研究主要有两个方面,一个方面是直接电流注入,其中导弹作为同轴传输线的内导体,激励直接注入到导弹壳体上;另一方面是导弹的自由场照射.文中通过理论计算与试验测试,对直接电流注入和自由场照射之间的等价行进行了评估.400MHz以下,DCI技术和自由场照射之间有很好的相关性.提供了高场强安全裕度测试工具的一个替代技术：直接电流注入技术.