军事虚拟训练系统关卡测试用例设计与优化

测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。     

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

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

军用软件研制过程存在问题与对策研究

<正>通过分析当前军用软件在研制过程中存在的几个较为普遍的问题,结合日常开展软件质量管理的工作经验,提出了军代表在研制过程应该分别注意的环节以及采取的对策。引言随着武器装备信息化、自动化程度的提高,军用软件在武器系统中占有的比重和作用越来越大。软件产品规模和层次的提高,带来了软件研制、生产、使用和维护中的一系列技术、管理问题。按照传统"手     

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

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

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

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

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

基于AHP的软件测试用例优化

针对典型用例优化方法的缺点,以功能模块覆盖率为基础利用层次分析法(简称AHP)对蚁群算法(简称ACO)、遗传算法(简称GA)进行改进,创建了新的测试用例优化方法。该方法能够对原始用例集进行精简和优先排序,降低了软件测试成本、提高了用例集的错误检测速率。最后以某型系统的基本操作模块为例进行了该技术实现流程的详细阐述。     

武器系统软件靶场测试方法

从软件测试在软件开发过程中的作用出发,阐述了软件测试在武器系统研制试验与鉴定过程中的重要地位,指出武器系统在靶场进行试验过程中,对武器系统软件进行系统测试的重要性。根据靶场的实际条件和武器系统在靶场进行试验时武器系统软件具有的特点,基于现代软件测试理论和软件测试方法,研究探讨了在靶场这一特殊的环境下对武器系统软件进行系统测试的试验方法和进行测试的系统步骤,对武器系统软件的靶场测试具有重要的指导意义。     

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

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

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

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