测试用例自动生成的链方法研究与实现

介绍了一种测试用例自动生成的链方法,这是一种较新的测试技术,结合插装技术及目际跟踪方法,能有效生成测试用例,从而提高了测试效率.     

M&S技术的复杂C3I系统测试方法

针对复杂C3I系统测试存在的问题,提出了一种模拟仿真测试的方法.该方法应用文本式战术想定模拟战场环境,自动生成基础数据,随机生成检测用例,以软件为主辅以少量必要的核心硬件设备,可对指挥控制系统实装软硬件指标进行系统的测试.采用建模与仿真(M&S)技术,对指挥控制系统的测试系统软硬件组成进行设计分析,并结合某型炮兵指挥控制系统,通过试验应用给出了该方法的针对性、时效性.     

炮控系统故障诊断树自动生成技术研究

针对人工建立故障诊断树可能存在建树不完全、建树过程费时费力的问题,对故障诊断树自动生成技术进行了研究,开拓了计算机辅助故障诊断的方法途径。首先详细论述了故障诊断树自动生成技术的4个关键步骤,分别是故障诊断信息建模、系统结构图的绘制、数据库的存储和故障诊断树的生成;然后基于Visio VBA软件和ACCESS数据库设计开发了炮控系统结构图绘制模块和故障诊断树生成模块;最后通过一个具体实例实现了故障诊断树的自动生成。结果表明:故障诊断树自动生成技术有助于提高建树的效率和准确率。     

随动系统智能测量结构的实现

介绍了舰炮随动系统的一种智能测量结构 .它采用微机控制技术 ,能自动对随动系统的多项技术性能进行定量测试 .通过引入虚拟仪器设计思想 ,内嵌数据库和软件示波器 ,实现了对正弦机、光线示波器和振子箱等人工测量仪器的替代     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

Open64的MPI代码自动生成算法

针对开源编译器Open64存在MPI不能自动并行化的问题,对Open64中面向Cluster的MPI代码自动生成进行了研究。分析了MPI代码自动生成模块在Open64体系结构中的位置,提出了基于Open64的MPI代码自动生成算法,并对其进行了实验验证。实验结果表明：该算法不但能够有效降低MPI并行程序的通信开销,而且能够明显提高其加速比。     

基于案例推理的物资应急采购保障预案系统的构建

随着智能技术的快速发展,智能预案必将成为预案的发展趋势。将人工智能中的案例推理技术引入到物资应急采购保障预案建设中,构建物资应急采购保障数字预案系统,应从案例的表示、案例的组织与存储、案例的检索、案例的修改与调整及案例的学习五个方面着手。系统的优势在于能够根据情况变化迅速进行信患筛选、整合与调整,自动生成科学合理的物资应急采购保障预案,帮助决策者进行辅助决策。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

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

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

基于体系结构物理交换规范的作战活动可执行模型构建方法

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

目标系统的测试软件设计

阐述了自动测试目标系统的软件设计,介绍了目标在移动过程中偏离瞄准线,产生偏差的情况下,自动测角仪与主控计算机之间的通信必要测试条件,相关的信号处理和控制手段,及如何提高自动测角仪测试系统的检测精度。     

The optimal burn-in testing of repairable equipment

The subject of this paper is the utilization of the “infant mortality” or decreasing failure rate effect to improve the reliability of repairable devices. Decreasing failure rate implies the possibility that devices which exhibit it can be improved by “burn-in testing” of each unit. Such a test serves to accumulate operating time while shielded from the full costs and consequences of failure. A general formulation of the burn-in test decision for repairable devices is presented and some special cases are solved. A class of models, indexed by the degree of partial replacement present in the repair process, is considered and numerical results for the optimal policy are given for several members of that class. A comparison of those results reveals the profitability of testing increases with the complexity of the repairable device.     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

基于CCD技术的火控自动复瞄精度测试方法

分析了火控系统自动复瞄精度现有测试方法，提出了一种采用高分辨率的CCD光电系统测试自动复瞄精度的新方法，该方法具有很高的实用价值。     

测试点的选取问题

在故障检测的过程中 ,每个测试点检测需要的时间可能不同。本文研究了如何选取一些测试点 ,使得这些测试点可以检测所有故障 ,而所需时间最少的问题。我们将其转化成整数规划问题 ,并给出一个求解算法 .最后给出一个实例对算法加以说明。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。