内存泄漏的一种静态分析方法

内存泄漏是C程序中常见的错误.从面向具体错误类型的测试思想出发,结合静态测试的特点,给出了一种静态查找此类错误的方法.此方法已经实现,并将应用于实际的测试过程.     

单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

火控软件的人机界面测试方法

火控软件的人机界面测试是火控系统试验的重要研究内容.对火控系统的功能特性和人机界面特性进行了分析,建立了人机界面的评价指标体系.采用GOMS方法对人机交互效率进行了分析,给出了界面信息效率和字符效率的测量方法.这些方法提高了人机界面测试的定量化水平,可在火控软件测试中实际应用.     

软件的测试性分析与设计

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

基于HLA的舰载多传感器信息融合系统仿真

建立具有舰载多传感器信息融合系统功能的C3I系统是目前和未来C3I系统的首要发展方向.应用HLA仿真技术进行舰载多传感器信息融合系统试验仿真,对于增强系统的通用性、灵活性、重用性和互操作性,实现复杂C3I系统集成具有重要的现实意义.首先提出了基于高层体系结构(HLA)的舰载信息融合系统的设计框架,其次阐述了系统设计思想和舰载多传感器信息融合仿真系统组成及功能,并针对作战想定背景进行了对象类和交互类的开发,最后给出了联邦仿真流程,实现功能模型和物理模型的建模.     

面向对象的软件测试

本文结合面向对象软件的具体特点和工程实践,给出了面向对象软件测试的内容:类测试、类簇测试和系统测试。最后,给出了面向对象软件的测试策略。     

C~3I仿真系统的设计原则与方法

本文以一个正在设计开发的C3I作战效能仿真演示系统为背景 ,概括了C3I仿真系统的设计原则 ,提出从仿真环境设计和仿真系统设计两个方面进行C3I仿真系统的开发。在此基础上 ,本文提出了一种基于Petri网的面向对象模型描述语言OPDL ,设计了支持OPDL语言建模、执行、演示的仿真环境 ,并给出了C3I作战效能仿真演示系统的总体结构。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

船用电缆绝缘电阻自动检测精度的分析与研究

提出了一种实际的船用电缆绝缘电阻检测方案 ,包括信号变换电路和方案的硬件与软件结构 .分析了检测误差产生的主要原因 ,并提出了两种提高检测精度的措施     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

基于PSD器件的深孔直线度检测设计研究

通过分析影响深孔直线度的因素、深孔的弯曲形状,以及深孔直线度测量仪器所要求的技术指标,建立了以半导体激光器、PSD和自动定心装置等器材为主的空间深孔直线度检测数学模型,设计了测量空间直线度模型样机的机械、光学、电路等部分,编写了采集数据和计算直线度的软件系统;通过对模型误差和精度的计算,结果表明可以达到较高的精度.     

坦克排气流场三维数值计算研究

应用FLUENT软件对某型号坦克排气管三维流场进行了CFD分析,采用标准k-ε湍流模型,应用SIMPLE算法对排气流场进行了数值计算,并将计算结果与测试结果进行对比。研究结果表明,排气出口计算值与测试值的相对误差小于7%,所使用的数值计算方法可用于排气流场的数值计算及分析,基本满足工程设计的需要。     

VXI总线在导弹综合测试系统的应用

介绍了VXI总线系统的技术特点 ,阐述VXI总线技术在导弹综合测试系统的应用情况 ,详细描述了利用VXI总线组建的导弹测试系统的硬件及应用软件的设计 ,指出VXI总线技术在国防武器装备中具有广泛的应用前景。     

软件内建自测试中测试点的研究

“软件内建自测试”是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(Build-In-Self-Test),即模拟硬件BIST中的附加电路。在软件中也插入这样的一些“附加电路”,即测试点(CheckPoint),这样就大大减少了测试时的复杂度,其中测试点设置是软件内建自测试系统的核心模块之一。具体讨论了测试点设置策略、测试点个数,最后给出了一个具体的实现。     

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

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

软件的测试性分析与设计

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

基于单发地空导弹测试数据的武器精度检验

在地空导弹命中精度检验问题中,提出了充分利用单发导弹的测试数据进行命中精度的检验。该思想是利用χ2检验法对导弹速度的瞬时误差（系统误差）的方差进行检验,并给出了在测出导弹7、9、11个轨迹点条件下的2类风险临界值表,为武器精度检验提供了一定依据。     

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

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