飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

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

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

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

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

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

战略导弹测试发射控制系统的发展和导弹模拟器的应用

战略导弹武器系统采用了快速机动使用方式,控制系统实现了全数控方案,地面各种勤务工作的设备做到了智能化.对地面测试发射控制系统的需求发生了变化,测控系统采用了"弹测"和"地测"相结合,以地面计算机控制为主的体制,采用了分布式计算机网络结构方案,自动化测试系统在"三化"方面也有很大进展.测控系统功能扩大了,系统更为复杂,测控软件在配套设备中的份量越来越大,越显重要,测控系统自检尤其是测控软件的测试尤显突出,文中提出采用导弹模拟器解决测控系统自检和测控软件测试问题,还可作为部队模拟训练装置,提出导弹模拟器的组成和设计方法以及使用问题.     

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

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

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

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

发射控制系统时间显示的软件实现

文中介绍了发射控制系统导弹准备时间，何处时间显示的发展过程，阐述了用软件实现发射控制系统时间显示的原理。     

嵌入式操作系统VxWorks在导弹武器测试发射控制领域的可行性应用研究

为了实现武器系统对测试发控领域软件的系统需求和适应测试发控系统硬件技术的可持续发展 ,本文通过对若干嵌入式实时操作系统进行调研和比较 ,选择了VxWorks作为武器系统测试发控领域软件开发平台 ,并通过一系列试验验证了其工程应用的可行性。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

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

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

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

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

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

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

海上测量船测控软件测试系统研究与应用

目前,已建立一套完整的由远望号测量船仿真测试软件和先进的测试工具组成的海上测控软件测试系统。 完成远望号测量船中心机系统实时应用软件研制过程中的单元测试、部件测试、配置项测试、系统测试及确认测试,还对 其它海上试验任务的应用软件进行全面和全过程测试,该测试系统性能稳定、功能全面。     

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

运载火箭姿控系统数学仿真软件设计

分析了运载火箭姿控系统箭体动力学运动方程和控制器数学模型特点，并且按照校正网络、执行机构、箭体方程、测量方程顺序设计数学仿真软件。该软件能方便地完成姿控系统数学仿真任务。由于采用三级模块结构设计，该软件具有结构清晰、层次分明、调试简单、功能齐全、使用方便等明显优点。