嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.     

软件测试—提高软件可靠性的关键手段

本文介绍了提高软件可靠性的关键手段，即软件测试。详细论述了软件测试管理系统、测试用例的自动生成以及一些软件测试工具。     

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

虚拟仪器技术在捷联惯导系统软件测试中的应用

介绍了一种采用虚拟仪器技术设计的综合控制显示系统仿真器，并将该仿真器应用于捷联惯导软件的测试。该仿真器不仅可以让测试人员实时观测系统数据，同时也能验证系统的底层通讯功能，而且可以为以后整个系统的联试作为一个比较基准。该仿真器已应用于国内某型捷联惯性导航系统的软件测试中。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

面向实时嵌入式机载软件的测试技术研究

对实时嵌入式机载软件的测试方法进行了研究，针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点提出一个适用于实时嵌入式机载系统的REAST软件测试模型，并对该模型实现中的四个核心技术进行了简要的阐明．最后，介绍了以上软件测试方法在实际工程项目中的应用情况．     

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

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

基于DAQ和FPGA开发星务软件测试平台

针对航天软件自动化测试和测试通用性要求的不断提高,提出基于DAQ（数据采集）和FPGA（现场可编程门阵列）的星务软件测试平台构建方案,在PXI（PCI eXtensions for Instrumentation,外设部件互联标准在仪器领域的扩展）系统环境下应用NI（美国国家仪器公司）的DAQ板卡和FPGA板卡实现星务软件外围数据的仿真模拟,应用Lab-VIEW编程实现信号的解析和良好的人机交互界面。在实际测试中,它能够很好地完成一系列星务软件的自动化动态测试、故障模拟测试等,大大缩短了测试周期,提高了测试效率。此平台完全满足航天软件现代化测试的要求,具有开发周期短、使用效率高、通用性强等优点。