一种混合式内存泄漏静态检测方法

内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.     

非法计算检测的通用模型

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.     

Windows Mobile的智能终端上内存泄露检测研究

Windows Mobile5．0是微软为智能移动终端推出的软件平台．特别在智能手机领域受到越来越广泛的应用；在基于Windows Mobile的产品设计中，内存泄露又是需要考虑的关键之一。文中解析了Windows Mobile平台上监测设备内存泄露的工具AppVerifier．并在模拟器上实现了监测应用程序内存泄露．进而发现使用AppVcrificr存在的问题．并指出了使用中高效利用AppVerifier的方法。     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

基于VMI技术的内存泄露的检测

文中用VMI（虚拟机自省）技术实现了由外部对VM（虚拟机）内部内存大小的透明实时的监控。VMI技术在纯净的环境下记录虚拟机的内存量,用增量叠加的方法记录加入此域的内存泄露的程序对内存的影响。内存泄漏的堆积会最终消耗尽系统所有内存,因此内存泄漏是造成计算机安全事故的主要原因之一。本文实验通过开放源代码虚拟机监视器Xen,使用了xen内核的半虚拟化模式,由外部检测虚拟机进程的内存消耗量来判断应用程序是否有内存泄露。由于这种方式可以为用户提供独立、隔离的计算环境,不需要修改源程序或者对程序进行重新编译,不必有其它特殊硬件需求,系统性能损失较小并且有一定的通用性,因而在判断内存泄露是其它解决方案无法取代的。实验结果表明：对内存的监控数据证明了实验系统的有效性和可行性。     

自动化测试在测试内存泄露中的应用

分析了内存泄露的发生原因和特点,研究了传统测试方法在测试内存泄露方面的缺陷,提出了自动化测试方法在测试内存泄露中的应用。用自动化测试技术代替繁重的手工测试,具有可重复性、一致性、可重用性的特点,可进行更多更频繁的测试。它可以解决一般工具无法检测的问题。给出了两个实例,形象地说明了自动化测试技术在软件测试中的优势。该方法对于结构复杂的大型应用软件具有非常好的测试效果。     

Java资源泄露静态分析

编程中的资源泄露是关系到软件性能的关键问题,如果处理不当,会大大降低软件的性能。文章阐述了Java语言编程中常见的资源泄露原因,并详细分析了容易产生资源泄露的几种情况。     

高频内存分配下内存泄露检测的性能提升方法

现有主流轻量级内存泄露检测工具,如MemWatch和MemLeak等在高频内存分配下存在效率较低等性能缺陷。为此,提出一种提升内存泄露检测工具性能的方法。运用该方法对开源工具MemLeak进行修改,将修改后的工具用于大数据存储系统Redis的内存泄漏检测。基于开源软件Redis的实用性测试结果表明,该方法具有较好的可用性与实用性。     

关于．Net中内存泄露的探讨

一直以来内存泄露都是程序员们非常关心的一个大问题,通过借助一些工具,程序员可以查找到程序中存在的内存泄露的问题。内存溢出的出现会给程序员带来很多的烦恼。本文针对．NET环境中的内存泄露问题进行分析并指出应如何正确使用c#的垃圾回收机制。     

Windows Mobile的智能终端上内存泄露检测研究

Windows Mobile 5.0是微软为智能移动终端推出的软件平台,特别在智能手机领域受到越来越广泛的应用;在基于Windows Mobile的产品设计中,内存泄露又是需要考虑的关键之一。文中解析了Windows Mobile平台上监测设备内存泄露的工具AppVerifier,并在模拟器上实现了监测应用程序内存泄露,进而发现使用AppVerifier存在的问题,并指出了使用中高效利用AppVerifier的方法。     

一种基于CIL静态分析的C#程序缺陷检测方法

通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率;另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法。基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测。实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷。     

一种远程缓冲区溢出漏洞检测模型及系统实现

操作系统和应用软件中的潜在远程缓冲区溢出漏洞是信息系统面临的最严重安全威胁之一.检测软件中游在的远程缓冲区溢出漏洞对于提高信息系统安全性具有重要的意义.本文采用面向二进制代码的动态分析方法,提出了基于错误注入技术的远程缓冲区溢出漏洞检测模型,介绍了系统结构和模块功能,详述了系统中关键技术,给出了系统测试结果.     

Dynamic threshold generators for robust fault detection in linear systems with parameter uncertainty

The problem of developing robust thresholds for fault detection is addressed. An inequality for the solution of a linear system with uncertain parameters is provided and is shown to be a valuable tool for developing dynamic threshold generators for fault detection. Such threshold generators are desirable for achieving robustness against model uncertainty in combination with sensitivity to small faults.The usefulness of the inequality is illustrated by developing an algorithm for detection of sensor faults in a turbofan engine. The proposed algorithm consists of a state observer with integral action. A dynamic threshold generator is derived under the assumption of parametric uncertainty in the process model. Successful simulations with measurement data show that the algorithm is capable of detecting faults without generating false alarms.     

一种检测隐蔽扫描活动的模型

针对现有隐蔽扫描检测技术的不足，提出了一种基于网络流量特征的端口扫描检测模型，它采用与大多数现有检测技术不同的方式，在检测过程中不仅基于单个报文，而且结合基于会话的方式，在去除掉各种干扰检测的“噪声”扫描活动后，检测慢扫描、分布式扫描等异常隐蔽的扫描活动。实验表明，该检测模型对检测各种隐蔽扫描活动具有较高的准确率和较低的漏报率。     

飞机发动机叶片裂纹自适应检测算法的研究

发动机叶片裂纹检测是机务维护的重要内容,能否快速准确地检测叶片裂纹,对于缩短战场抢修时间、保障飞机的完好率具有重要的意义.本研究采用基于边缘检测的小波滤波和自适应阈值分割算法,实现叶片裂纹的自适应快速检测;基于边缘检测的小波滤波方法能动态的确定分解层次,有效抑制了噪声点的影响,提高了图像的视觉效果;自适应阈值分割是通过迭代的方法寻找图像的最佳分割阈值,能自动、可靠地检测裂纹的位置、长度等特征.仿真结果验证了这种检测算法的有效性,能满足外场对发动机叶片裂纹检测的要求.     

基于改进区间迭代法的容差网络故障诊断

本文在文献[1,2]的基础上,提出了一种改进区间迭代的新算法。文中首先论述该方法的迭代步骤。然后,把这种方法应用到容差网络故障诊断中去,并与其他算法进行比较,取得较为精确的计算结果。     

Sliding mode estimation schemes for incipient sensor faults

This paper proposes a new method for the analysis and design of sliding mode observers for sensor fault reconstruction. The proposed scheme addresses one of the restrictions inherent in other sliding mode estimation approaches for sensor faults in the literature (which effectively require the open-loop system to be stable). For open-loop unstable systems, examples can be found, for certain combinations of sensor faults, for which existing sliding mode and unknown input linear observer schemes cannot be employed, to reconstruct faults. The method proposed in this paper overcomes these limitations. Simulation results demonstrate the effectiveness of the design framework proposed in the paper.     

Second order sliding mode observers for the ADDSAFE actuator benchmark problem

This paper presents the evaluation process and results associated with two different fault detection and diagnosis (FDD) schemes applied to two different aircraft actuator fault benchmark problems. Although the schemes are different and bespoke for the problem being addressed, both are based on the concept of a second order sliding mode. Furthermore both designs are considered as ‘local’ in the sense that a localized actuator model is used together with local sensor measurements. The schemes do not involve the global aircraft equations of motion, and therefore have low order. The first FDD scheme is associated with the detection of oscillatory failure cases (OFC), while the second scheme is aimed at the detection of actuator jams/runaways. For the OFC benchmark problem, the idea is to estimate the OFC using a mathematical model of the actuator in which the rod speed is estimated using an adaptive second order exact differentiator. For the jam/runaway actuator benchmark problem, a more classical sliding mode observer based FDD scheme is considered in which the fault reconstruction is obtained from the equivalent output error injection signals associated with a second order sliding mode structure. The results presented in this paper summarize the design process from tuning, testing and finally industrial evaluation as part of the ADDSAFE project.     

基于模型的管道泄漏监测抗扰动方法研究

在输油管道泄漏监测中,站上扰动所导致的频繁误报会严重影响用户对系统的信心。为降低站上扰动带来的泄漏误报,提出了一种基于统计建模和小波变换的泄漏监测系统抗扰动算法。该算法利用模型残差在泄漏和站上扰动两种情况下的差异,使用小波变换的方法将二者区分开来,从而有效地排除了站上扰动带来的误报。基于某实际管线的历史数据的离线测试表明,同该管道中实际运行的监测系统相比,该算法可以使三个月的误报次数从16次降低到5次。