80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

如何设计一个易测试的软件

软件测试性设计是减少软件测试复杂性的重要手段，文中给出了软件测试性设计的分析与计算方法，并据此给出了软件测试性设计的基本原则。     

导弹天线罩自动测试系统的设计与实现

为了对导弹天线罩电性能参数进行准确测量,利用虚拟仪器技术,采用hbView软件平台,通过多线程技术,实现一套基于测量仪器和转台协调工作的天线罩自动测试系统的设计.该设计充分挖掘了矢量网络分析仪器内在功能,可同时测量并导出四个通道的八组数据,可同时完成比幅、比相等功能,极大提高了对天线阵列等测试对象的测量效率、测试精度;可以实时显示测量数据的二维图或三维图,有利于实时掌握测试情况.本系统很好地满足了实验需要,它的实现为微波自动测试系统的设计提供了很好的借鉴.     

导弹天线罩自动测试系统的设计与实现

为了对导弹天线罩电性能参数进行准确测量，利用虚拟仪器技术，采用LabView软件平台，通过多线程技术，实现一套基于测量仪器和转台协调工作的天线罩自动测试系统的设计。该设计充分挖掘了矢量网络分析仪器内在功能，可同时测量并导出四个通道的八组数据，可同时完成比幅、比相等功能，极大提高了对天线阵列等测试对象的测量效率、测试精度；可以实时显示测量数据的二维图或三维图，有利于实时掌握测试情况。本系统很好地满足了实验需要，它的实现为微波自动测试系统的设计提供了很好的借鉴。     

飞行软件目标码测试软环境设计

阐述了一种飞行软件目标码测试环境的设计方法.该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计.最后通过应用实例验证了设计方法的可行性.     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...     

某自动测试系统神经网络故障诊断模块设计与实现

阐述了自动测试系统中故障诊断的重要性,详述了诊断的流程.以某型防空导弹自动驾驶仪为例,首先利用LabVIEW中的MATLAB脚本节点,分别以BP和RBF神经网络为算法编写故障诊断函数;然后用LabVIEW开发故障诊断模块界面,最后将TabVIEW和神经网络两者的优势结合实现自动驾驶仪的故障诊断.实验仿真结果表明:模块设...     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现     

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

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

卫星控制仿真数据库管理系统软件的自动化测试

介绍了“卫星控制仿真数据库管理系统”软件的自动化测试工作。重点分析了测试脚本生成方法,指出基于记录-回放的测试脚本生成技术的缺陷在于测试脚本与数据及实现细节的耦合。最后,应用基于数据驱动的脚本设计技术和模块化脚本设计思想实现了一个自动化测试脚本框架,解决了测试脚本与数据及实现细节的耦合问题,从而提高了脚本设计质量,降低了脚本维护成本。     

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

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

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

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

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

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

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

规范化软件测试过程浅析

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