基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于频谱的缺陷定位技术:逆向切片优于执行切片

一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。     

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

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

小水线面双体船（SWATH）耐波性特点及影响因素分析

本文应用切片理论预报了ＳＷＡＴＨ耐波性,建立了ＳＷＡＴＨ的耐波性理论预报程序。通过若干艘ＳＷＡＴＨ的耐波性计算,分析了船形及固定式鳍的尺度、纵向位置、组合方式的变化以及纵摇角速度负反馈自动控制鳍对ＳＷＡＴＨ耐波性的影响,为ＳＷＡＴＨ的船形设计及鳍的方案选择提供了耐波性方面的根据。     

基于时间切片的通信计划合规性评估模型

针对体系作战背景下通信计划规划任务多线性和关系复杂的问题,提出了一种通信计划合规性评估模型。该模型通过构建计划时间切片,描述了多个通信保障任务主线在各阶段的全局关系视图,并定义了通信链路连接矩阵、电磁频谱三级规划和指控系统命名类量化,描述了通信计划的基本内容,同时定义了3类评估规则和3种评估运算法则,形成了完整的合规性评估体系。最后,通过实例分析验证了模型有效性,结果表明,评估模型能够较好地区分不同信息需求下的通信计划合理程度。     

基于Verilog语言的边界扫描结构设计

以对74290IP核加载边界扫描结构为例,采用硬件描述语言Verilog对边界扫描结构进行了模块化设计,并进行了边界扫描测试仿真。结果表明：加载边界扫描结构后的核心逻辑能够实现功能内测试和外部互联测试。该设计方法简单可行,具有一定的通用性,为智能BIT设计、装备健康管理设计中的底层数据采集提供了技术支撑。     

防止反编译技术研究

运用反编译技术可以对软件可执行二进制代码进行非法的修改或窃取其知识产权。为了防范这种情况,提出了在程序的汇编级转化直接跳转为间接跳转和插入伪造的跳转表以隐藏程序控制流的2种方法,来提高程序防止反编译的性能,增加软件分析的难度。     

基于双谱切片小波包的雷达体制识别技术

根据机械扫描雷达、一维相控阵雷达和二维相控阵雷达扫描方式的差异,通过对3种体制雷达进行双谱分析、切片化处理以及小波包分解,提出了双谱切片小波包的概念,并根据此特征用支持向量机对不同体制的雷达进行识别.仿真结果表明:该方法在噪声占比为0～20％时,可分性好,并且在噪声占比增大时,通过该特征仍能对不同体制的雷达进行有效识别.     

美军需求生成工作的工程化研究

在明确了"工程化"内涵的基础上,研究了美军依托联合能力集成与开发系统(Joint Capabilities Integrationand Development System,JCIDS)建立的与装备需求生成紧密相关的军队联合能力需求生成机制。指出该机制具有典型的工程化特征和很高的工程化程度,集中体现在程序、任务、方法、成果、描述和管理6个方面。逐一阐述了各个方面中蕴含的工程化思想和方法,对建立符合我军特点的装备需求工程学科有一定参考价值。     

基于VxWorks操作系统如何实现宽带超短波电台隧道

介绍了一种基于VxWorks协议栈的隧道的技术,并结合其在宽带超短波电台中的应用,详细讨论了实现隧道技术的原理和过程,并给出了程序实例的关键代码。实践表明,该方法设计简单,性能可靠,效果良好,解决了宽带超短波电台数据通信由于"非标"所带来的一系列问题,满足了不同应用场合下对宽带超短波电台的需求。     

电子装备模拟印制板电路故障自动诊断系统研究

为提高电子装备模拟印制板电路故障诊断的速度,本文使用直流故障字典法原理,运用区域性故障定位方法,改进器件模型和电路描述程序,设计了模拟印制板电路故障自动诊断系统。     

E-PHEMT微波宽带放大器的静电防护电路设计

为提升E-PHEMT微波宽带放大器的抗静电能力,在分析放大器3个端口电路结构的基础上,兼顾静电保护效果、电路尺寸、微波特性与被保护电路的有机结合,提出基于PIN二极管作为基本组成元件的微波宽带放大器静电保护电路的设计方法和思路,并研制出实物样品.通过试验对比放大器改进前后的电性能和抗静电能力,其结果表明:改进后样品的微波特性满足规范要求、抗静电能力由500V提高到2 000V.该设计方法和思路在保障放大器电特性的基础上,提升了放大器的抗静电能力.     

高功率全固态微波纳秒级脉冲源的设计与应用

基于雪崩三极管雪崩效应,研制出了一种数千伏、纳秒级脉冲源。其为全固态微波PCB电路结构形式,利用数字电路产生可控重频触发信号,脉冲全底宽度400ps～2ns可调,重频1k～1000kHz可调,脉冲幅度360～2600V可调,峰值功率可达135kW。详细讲述了电路设计、器件选择以及重要电路结构。针对高压窄脉冲引起的特殊问题,提出了新颖的欠电荷充电法以及有效的梳状PCB(印刷电路板)结构。电路性能优良、稳定可靠,已投入超宽带目标探测实验系统应用。     

基于NNLI技术的齿轮箱故障诊断

将NNLI技术应用到齿轮箱的故障诊断中,提出了基于NNLI的特征提取方法,并将该方法与神经网络结合起来,进一步提出基于NNLI特征提取的神经网络故障诊断方法,给出了两种不同的网络分类器,通过齿轮箱故障诊断实例验证了该方法的有效性。     

作战过程设计策略及其优选模型

组织设计通常包括三个流程即任务环境分析、过程设计和结构设计.作战过程设计是以其环境分析为基础,以其结构设计为目的,最终解决作战组织资源、平台、信息和决策的最优"合纵"和"连横"问题.尝试将C2(Command Control)组织的有关设计理论映射到作战组织设计,根据组织的演化过程机理,采用基于Bayes网络的方法,对作战组织进行过程设计,并对其设计策略进行优选,最后给出一个案例并加以验证.结果表明:采用动态Bayes网络的方法研究组织过程设计可行,其设计策略及优选模型合理.     

野战有线远传接口测试信号源的设计与实现

针对野战有线远传通信接口的测试需求,设计了一种基于xDSL技术的接口测试信号源。以可编程数字器件(FPGA)为核心,配合通用模拟前端,构建可编程和可重配置的硬件接口电路。利用硬件描述语言,完成成帧解帧、加扰解扰、编码解码、滤波等功能,实现HDSL接口电路功能。实验结果表明,设计的HDSL接口功能实现正常,允许用户通过修改程序代码和系统输入来实现对接口的动态配置和维护更新,有效地解决了以集成芯片为基础的传统HDSL接口灵活性差和维护成本高的问题,并为其他信号接口系统的设计实现提供了有益的参考。     

一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.