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

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

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况，通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上，本文以软件测试过程中测试总代价最小为控制目标，采用交叉熵方法修正测试剖面，由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价，是一种有效的软件测试方法。     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。     

一种轻量级软件自动化测试框架

针对自动化测试脚本和测试数据文件数据量多的问题,利用测试工具QTP、数据与关键字驱动的测试机制,设计了基于三层驱动机制的自动化测试框架、管理测试用例文件的测试集(TestSet),以及存储测试用例的testcase数据对象和存储测试数据的testdata数据对象;利用对测试粒度的控制和测试数据池技术应用,设计了可重构和优化的测试脚本。达到了测试设计和脚本开发解耦,测试用例和数据的展现更加人性化,测试脚本及业务层面的测试数据的优化、可重用,使脚本文件和测试数据文件的数量达到最少,减少占用空间。     

一种提高软件可靠性验证测试效率的方法

当前软件可靠性验证测试普遍存在着未能客观反应实际测试过程中的信息变化以及测试工作量较大的问题,难以满足实际测试的需求。因此,提出了一种基于混合加权贝叶斯方法,给出了在混合加权的情况下超参数的具体求解方法。通过案例分析,基于混合加权贝叶斯方法改善了传统贝叶斯方法存在的问题,同时在保证软件可靠性验证测试结果的置信度条件下,能够实现有效降低测试所需的测试用例数。     

作战软件的测试技术

软件测试是软件质量保证的一项关键活动。防空导弹武器系统作战软件的测试工作量相当大,比普通软件的测试工作大３至５倍,因而必须加强作战软件的测试技术的研究。文章结合作战软件的特点,重点介绍面向测试环境的测试工具──软件测试台,面向测试细则的测试用例的产生方法。     

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

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

基于功能块的分离测试生成

通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。     

基于标杆技术比较的靶场软件界面试验技术研究

根据靶场软件试验不同于第三方软件测评方进行软件界面"易用性、好用性"试验评价的需求,从质量管理对设计开发的验证和确认要求、工程与技术的关系、用户3种需求的关系,分析了基于工程标准检查表方法和用户测试方法用于靶场软件界面试验的不足,提出了基于标杆技术比较的靶场软件界面试验技术,并应用该方法对典型GUI图形用户软件界面进行了试验评价,给出了改进人机界面设计的对策。基于标杆技术比较的靶场软件界面试验技术可用于指导靶场开展软件界面试验,提高靶场作战试验能力。     

An advanced dual algorithm with constraint relaxation for all-integer programming

In this article we present an all-integer cutting plane algorithm called the Reduced Advanced Start Algorithm (RASA). The technique incorporates an infeasible advanced start based on the optimal solution to the LP relaxation, and initially discards nonbinding constraints in this solution. We discuss the results of computational testing on a set of standard problems and illustrate the operation of the algorithm with three small examples.     

克服火箭弹自身缺陷对散布影响的一种新方法

本文研究了火箭弹自身缺陷的随机性。提出了通过合理设计发射装置一阶固有频率,克服火箭弹自身缺陷对落点散布的影响。并以某涡轮式火箭弹和某尾翼式火箭弹为例进行了设计,给出了靶场试验结果。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

常规导弹作战批量测试优化研究

短时间内测试大批量合格的常规导弹是未来作战的客观要求.结合导弹部队的作战实际情况,分析了当前技术阵地测试所面临的问题,提出了一些改革的方法.改造技术阵地测试设备,提高操作人员的熟练程度,采用并行技术和关键路技术优化导弹测试流程,同时建立战时应急状态下的测试流程,特别是导弹批量测试技术的提出,将极大地提高导弹测试速度,缩短测试时间,为将来技术阵地的建设提供了建议,同时也对将来常规导弹的设计和研制提出了更高的要求.     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

解析分离振动模态的组合频率响应函数法

本文利用多点随机激励试验技术提出了一种振动模态参数识别的新方法,即组合频率响应函数法,给出了理论模型和计算公式,并通过工程算例进行了验证。本方法可有效地用于大型复杂结构的振动模态试验分析。方法简单,精度较高,并能解析分离具有一定程度的密集模态。     

非线性边值问题的一种高精度计算模型

讨论非线性边值问题的一种高精度计算模型 .利用积分值将边值问题转化为形式初值问题 ,构造了一类四阶精度的计算格式 ,证明了收敛性 .通过算例表明该方法收敛速度高 ,计算量小 .