基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。     

如何改善路径测试用例生成的搜索算法

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,本文主要针对该方法的核心部分——搜索算法进行讨论,探讨了有助于改善其功能的若干手段,目的在于提高算法效率,提高其实用化程度,显示出较好的实验效果。     

某型无线电引信炸高贮存可靠性研究

阐述了无线电引信炸高可靠度的估计方法,用某型无线电引信的射击试验数据计算出炸高可靠度,通过回归建立起炸高贮存可靠度数学模型,并利用数学模型对各贮存年限的炸高可靠度进行预测。     

系统控制软件可靠性探讨

该文探讨了系统控制软件可靠性问题。讨论了系统分析、系统仿真、建立软件调试环境、系统联调、实用维护、软件定型、软件工程化诸方面对提高控制软件可靠性的重要作用。     

航天软件可靠性浅议

从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

马尔可夫链的模块化软件可靠性研究

针对模块化软件系统,考虑到模块自身的可靠性和模块相互转移调用对其系统重要度的影响.利用马尔可夫预测的基本原理,将马尔可夫链引入到模块化软件可靠性模型建立中,通过建立转移概率矩阵,对软件系统的可靠性进行分析并建立可靠性模型.该模型利用从软件开发过程中收集出的可靠性数据,对模块化软件进行可靠性分析,以此来研究软件系统总体的可靠性.     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

某型火箭弹引信惯性保险机构可靠性改进设计

针对某型火箭弹引信在靶场试验过程中出现的瞎火现象,对其惯性保险机构进行了改进设计,并通过激活击针簧抗力分析和钟表机构走动时间变化分析对惯性保险机构的作用可靠性及安全性进行了验证。实践证明,该方法在大大提高作用可靠性的基础上降低了工艺难度,具有良好的军事经济效益。     

弹底引信许用旋卸扭矩的可靠性设计

分析了弹底引信旋卸时的应力分布特点,给出了应力分布规律已知时,引信不发生破坏的可靠度与最大许用旋卸扭矩之间的函数关系式,并将此式中的积分区间化为有限区间,使之能够用数值积分的方法求解。当应力分布规律未知时,假定所有被旋卸的引信都承受了同一最大应力,这样根据应力-强度干涉模型即可方便地求出其可靠度或最大许用扭矩。这两种计算方法也适用于其它螺纹连接件的旋卸可靠性分析。     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

基于光纤技术的无线电引信动态模拟测试系统设计

为提高无线电引信杆实验测试结果的准确性,针对从国外引进的老设备存在的突出问题,设计了基于光纤技术的无线电动态模拟测试系统,给出了测试原理、软硬件设计以及对系统的校准分析。     

军用软件可靠性研究

<正>我国在军用软件领域的起步较晚,在军用软件的可靠性研究和应用方面起步更晚且投入的精力明显不够。在武器科技化、集成化日益明显的今天,软件可靠性方面的不足很容易成为制约我们装备发展的瓶颈。对此,笔者在应用开发方面进行了讨论。引言长期以来,在实际使用过程中暴露的软件以及和软件有关的问题逐渐增多,直接影响了整个武器系统的质量。为了避免和消除错误,     

基于能量法的长储引信压簧的智能化检测

在荷重仪法的基础上,论述了长储引信压簧非线性畸变的有关问题,提出了一种新的定量检测方法——能量检测法,建立了弹性势能测量的数学模型,进行了失效模式分析,并给出了相应的失效判据。在此基础上,论述了引信弹簧智能抗力仪的系统组成和工作原理。其基本思想亦可适用于锥形簧等一类本身非线性工引信弹簧。     

软件无线电技术在导弹无线电引信设计中的应用

将软件无线电技术应用于导弹武器的无线电引信上,提出了软件无线电引信系统的软、硬件实现方案。该方案是建立在中频数字化基础之上的,是将先进的信号处理技术应用于实践的尝试。