综合模块化航电系统软件技术研究

从软件可靠性的角度对综合模块化航电(IMA)系统进行了讨论.从IMA系统的体系结构入手,研究了软件接口定义以及系统失效.具体分析了IMA软件研制过程中各角色的作用以及这种责任的分散所带来的问题.结合国内的发展现状,探讨了IMA系统测试各层次内容,为国内正在进行的四代机项目的研制及测试工作提供了一些思路.     

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

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

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

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

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

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

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

基于遗传算法的软件结构测试数据生成技术研究

首先介绍了软件结构测试数据生成的研究现状，然后探讨了用遗传算法解决该问题的方法和技术，在上述研究成果的基础上，已开发了一个用遗传算法实现最优搜索，生成测试数据的工具原形，初步实验表明该方法是有效的可行的。     

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

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

软件测试及其在某重点型号中的实施

本文简要介绍了软件测试的定义和方法，以及某重点型号中软件测试的组织和实施。     

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

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