【摘 要】
:
内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
【机 构】
:
装甲兵工程学院信息工程系,北京,100072 延边工业学校,延边,133000
论文部分内容阅读
内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
其他文献
本文论述了在潮模砂制备中采用真空技术呈上升趋势.在真空下混制和冷却型砂允许在单机中同时冷却和混制.不仅节省了空间和投资成本,而且由于连续不断地控制所有的重要参数,极大地增加了操作安全性.
视频鼠标指以视频方式实时捕获用户运动参数,并将其转化为对计算机鼠标光标的控制信息,从而以视频方式实现人机互动的系统。本文分别实现了人脸跟踪模块、特征定位模块、映射驱动模块,集成开发了以人脸姿态控制鼠标动作的人脸鼠标系统,并利用多尺度边缘检测算法加强ASM训练集图像边缘,进而提高了系统的特征定位性能。实验证明,人脸鼠标系统基本能够模拟传统鼠标操作,以视频方式实现对计算机的简单控制及电子娱乐中玩家的视
本文介绍一种基于手绘草图的建模与动画系统。传统的建模与动画系统要求用户具有专业的建模、动画技术及较强的三维感知,非专业用户根本无从人手。而传统的手绘交互的建模系统常常由于建模能力有限、无法保留手绘细节、轮廓线绘制不自由、无法提供方便的手绘编辑手段等原因很难应用于实际。这里呈现一种自由轮廓线、保持轮廓线细节、能修改形体表面细节的手绘草图建模方法,用户通过手绘草图的方法可以在几分钟内建立期望模型,同样
嵌入式实时软件测试的一个重要研究内容是如何有效验证生成的测试用例是否满足系统的实时性要求.本文在传统EFSM模型的基础上加入时间约束条件,结合基于EFSM模型UIO测试序列生成方法,提出了一种实时性测试序列的生成方法.该方法采用Dijkstra算法,求得最短时间的测试消息序列;通过对EFSM模型去环和统一汇聚结点的操作将其改进成AOE网的形式,求出每个状态的最迟发生时间,在测试用例执行时用以判断测
本文提出了一种基于小波变换与神经网络相结合的非线性模拟电路故障诊断的方法.该方法利用DB1小波变换对非线性模拟电路故障信号进行一系列预处理,提取信号的故障特征量,然后将故障特征量输入至BP神经网络进行处理,故障信号经过小波变换处理后,有效地减少了BP神经网络的输入层单元数,同时也简化了神经网络的结构、减少了它的训练时间,从而提高识别故障的能力.本文在描述完该故障诊断方法的基本原理后,给出了小波变换
本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P/TMSE.环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境.本文最后结合一个典型的SoC案例,在SoC-P/TMSE创建了对应的EHCPN模型,并
网络系统的复杂性映射成为了对生存性研究的复杂性.目前对于如SDH等单一拓扑网络的生存性的研究取得了较多的成果,但对于大型网络如何建模和评估生存性,尚无较好解决方案.以往文献提出的两种评估NSMS(网络安全管理系统)生存性的方法存在较大局限性:割点法不能用算法实现,无法对大型网络进行分析.蒙特卡洛法只能对生存性进行区间估计,得不出准确值.本文提出连通支路的分析方法,使用成熟的数学模型进行实现,并用给
本文介绍了一种高频全差分VGA增益特性的自动测试方法.针对输入输出全差分电路的特性,文章首先分析了通过balun构建的测试系统的增益补偿系数,利用GPIB总线和计算机并口,实现了电路的自动测试.最后使用本方法在50分钟内完成了VGA 2176个测试点的精确测试,结果表明该方法提高了测试效率和测试可重复性.
本研究用精密电阻对电容传感器和精密电容充放电,分别得到了传感器与精密电容的放电时间,然后根据放电时间的比值可以实现电容的比值测量.根据得到被测汽油的电容值,由电容与辛烷值的函数关系来计算车用汽油辛烷值.根据这种测定辛烷值的方法,本论文设计了便携式辛烷值测定仪.文中详细论述了测量原理及电路分析,并介绍了硬件和软件的设计.其中在硬件设计中利用低电压、低功耗的段型液晶显示器.该便携式辛烷值测定仪用3.6
本文针对容差模拟电路软故障、多故障诊断问题,提出一种基于多激励响应误差矩阵奇异值分解(SVD)的故障诊断方法.通过响应误差矩阵奇异值分解构建奇异角特征,奇异角特征具有在单故障情况下仅与故障部位有关的特性,能有效解决软故障变化的连续性与故障特征唯一性之间的矛盾.利用奇异角特征方法能减少测试点数、压缩特征矢量维数和提高故障隔离率.文中重点分析了奇异角特征对单软故障和灾难性多故障的识别性能,并结合实例仿