面向多路径覆盖的测试数据生成方法

为了解决装备软件回归测试中测试数据的快速生成问题,提出了一种面向多路径覆盖的测试数据生成方法。该方法首先对遗传操作进行改进,然后设计覆盖多条路径的适应度函数,实现了算法的一次运行覆盖多条目的路径,提高了测试数据的覆盖率。在三角形分类经典程序和实际的装备软件模块上进行实例验证,仿真结果表明了该算法优于传统方法,是一种高效的面向多路径覆盖的测试数据生成方法。     

Agent方法在基于HLA的作战仿真系统中的应用

在HLA框架下,以RTI作为联邦执行的底层支撑系统,通过引入Agent,提出一种扩展的联邦成员设计实现方法———Agent联邦成员,提高了仿真对象模型的智能决策能力,加强了计算机生成兵力建模技术中联邦成员的互操作性,并为系统智能性提供了足够支持,降低了系统耦合性。     

虚拟士兵的智能记忆模型研究

为了提高虚拟士兵的真实度与可信度,在分析现有研究成果的基础上,依据生物记忆原理和遗忘特性,提出了一种智能记忆模型.构造了记忆信息的编码形式,建立了基于槽式和广义树结构的记忆分层存储模型；提出了带有参数的遗忘算法,并运用宽度优先算法,实现了记忆信息的搜索和调用.借助Matlab工具对算法进行了验证,验证结果表明该算法与实际情况基本相符.     

数据仓库技术在放射性监测系统中的应用研究

针对目前核辐射安全防护还停留在基于以事务处理为主的数据库管理系统之上的传统数据分析，文章提出了在放射性监测系统中建立以分析处理为主的数据仓库体系化环境。初步设计了系统的总体框架，完成了数据仓库的建模过程。重点在于确定主题、粒度划分和多维数据模型的确立。同时运用数据挖掘工具对其数据进行模式和知识的发现。     

基于OPNET的无线通信网络性能研究

无线通信已经渗入到了我们生活的各个领域之中,其通信网络性能的优劣直接影响着整个网络的稳定性、可靠性、安全性等各个方面.由于其网络复杂性的日益扩展通过计算机仿真的方法对其进行研究和分析,无疑是一种高效的科研手段.本文分析了研究无线通信网络性能的主要参数,并对其具体研究步骤进行了分析,最后运用OPNET网络仿真软件进行了实例仿真,说明了网络性能分析的重要性.     

基于VC＋＋的数据流分析方法

数据流分析在编译系统的代码优化、软件故障检测以及程序切片中都起着非常关键的作用。本文介绍了数据流分析方法的基本概念和基本原理,介绍了数据流方程的到达一定义迭代算法,并提出了一种利用VC＋＋工具实现数据流方程求解的方法。     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

测试数据生成技术在软件故障诊断中的应用

随着软件在武器装备中应用范围的日益扩大,软件故障诊断问题日显突出。文中针对软件测试中测试数据生成问题作了重点研究,采用了遗传算法解决按路径生成测试数据的问题,构建了基于遗传算法的测试数据生成系统模型,并对系统模型进行了实例验证。通过数据证明了遗传算法在测试数据生成中的优越性。     

Petri网模型与程序流程图的比较及应用研究

petri网是一种描述具有分布、并发、异步特点的信息流的系统模型,已得到了广泛的应用;程序流程图是依据算法描述问题求解过程的图解表示,是使用数字计算机求解问题的必要步骤。如何进行相互转换是应用中所关心的一个突出问题。文中对二者先做形式上的比较研究,分析它们的特点和异同,从中找出一些规律,用以归纳相互转换的方法要点。最后,通过实例分析来阐述转换的算法。     

Petri网模型与程序流程图的比较及应用研究

petri网是一种描述具有分布、并发、异步特点的信息流的系统模型，巳得到了广泛的应用；程序流程图是依据算法描述问题求解过程的图解表示，是使用数字计算机求解问题的必要步骤。如何进行相互转换是应用中所关心的一个突出问题。文中对二者先做形式上的比较研究，分析它们的特点和异同，从中找出一些规律，用以归纳相互转换的方法要点。