汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

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

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

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

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

陆战分队作战仿真试验系统设计与实现

针对目前陆战分队在开展武器装备作战试验中面临的试验准备周期长、成本高、灵活性差以及难以多次重复等问题,结合计算机仿真技术,设计了基于RV游戏引擎和高层体系结构(High Level Architecture,HLA)的全要素"人在环"陆战分队作战仿真试验系统,对系统需求及功能组成、作战装备模型、通用计算机生成兵力(Computer Generated Forces,CGF)模型、指挥控制功能模块和作战试验想定编辑实现方法等进行了研究。通过装甲分队网络化火力打击分配技术的作战应用仿真试验,从试验系统的科学性、试验方法的交互性和系统功能的灵活性等角度,验证了系统可以满足陆战分队模拟对抗的作战仿真试验需求。     

面向嵌入式火控软件的划分测试设计

根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势