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

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

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。     

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

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

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

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

多线程网络编程在全数字仿真平台中的应用

目前常用的硬件仿真测试平台存在很多不足之处 ,而全数字仿真平台很好地解决了这个问题。本文结合神舟 5号软件测试的“全数字仿真平台”实际研制工作 ,对在VisualC++6 0环境下如何使用多线程进行网络编程作了详细介绍。     

通用嵌入式软件仿真测试环境GESTE2.0隆重发布

由中航一集团计算机软件可靠性管理与测评中心(CATC)自行研发、拥有独立知识产权的通用嵌入式软件仿真测试环境(GESTE)在京隆重发布二代产品——GESTE2.0。GESTE的成功面市打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏通用仿真测试环境的空白,对于相关领域之快速定制需求亦具有非凡的革新意义。     

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

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

无人机飞行控制仿真系统研究

针对某型无人机的研制开发,提出了可行的仿真系统设计方案。首先设计全数字仿真验证飞行控制律的有效性,在此基础上,根据使用条件的差异,设计了两种相互关联的半物理仿真系统,即不带转台的半物理仿真以及带转台的半物理仿真,用来模拟无人机的飞行状况。最后给出了仿真的部分曲线。仿真结果表明,以上这种仿真系统可以对整个无人机飞控系统设计的合理性及有效性进行完备的验证,对同类飞行器仿真系统的研发具有一定的参考价值。     

DDS+PLL可编程全数字锁相环及其应用

提出一种采用 DDS+ PL L可编程全数字锁相环的设计方案 ,并介绍这种全数字锁相环的工作原理和应用。其中 ,锁相环采用数字控制频率综合器芯片 NCO作为环路振荡器 ,锁相环路的相位误差调整期望值存放在 RAM中 ,锁相环的工作状态和参数由计算机处理和控制。硬件电路采用大规模集成电路 EPL D集成。锁相环路具有快捕、量化精度高、抗干扰性强 ,任意可编程的特点。     

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

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

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

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

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

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

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

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

规范化软件测试过程浅析

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

SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

软件工程方法在飞行仿真系统开发中的应用

针对飞行仿真系统开发中存在的问题，通过对飞行系统模型及仿真系统的具体分析，引入软件工程方法，结合仿真软件系统的特点，在仿真系统开发模式，仿真软件设计方法，软件的质量管理方法三方面进行了研究，在面向对象模型的基础上，发展了一套完整的仿真系统开发模式，提出了仿真系统的对象建模方法，仿真系统的软件编码原则和质量管理方法。     

数字仿真支持软件包研究

仿真软件是面向问题,面向用户的专用软件。作为一个比较通用的仿真软件,应具有综合性、高效性、经济性、安全性和集成性等特点。本文针对实时数字仿真的特点,阐述了通用数字计算机的仿真支持软件的设计要求开发与展望。