【摘 要】
：
资源泄漏是指资源分配后未及时释放的现象,这类故障可能导致系统资源被耗尽。首先分析了资源泄露故障原因,介绍Java语言的资源泄漏故障模式。然后,建立可扩展的资源行为模型(
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室北京100086
【出 处】
：
第三届全国软件测试会议与移动计算、栅格、智能化高级论坛
论文部分内容阅读
资源泄漏是指资源分配后未及时释放的现象,这类故障可能导致系统资源被耗尽。首先分析了资源泄露故障原因,介绍Java语言的资源泄漏故障模式。然后,建立可扩展的资源行为模型(简称RBM),用于描述程序中与资源有关的操作。接着以RBM为基础,设计一种函数间资源泄漏检测方法。该方法通过函数摘要实现跨函数分析,能够检测函数间的资源泄漏故障。最后实验证明,该方法能够检测出更多的故障点,而且误报率低,执行效率高,可用于大规模代码检测。
其他文献
LabVIEW是NI公司推出的一种高效的虚拟仪器开发平台,在LabVIEW中调用动态链接库DLL能弥补其不具备直接对硬件I/O地址进行访问的功能.介绍了在超声检测系统中应用动态链接库来
随着雷达应用、卫星通信及高速宽带无线通信的迅速发展，对每个发射机的核心部件——射频功率放大器等电子器件行为的研究已经从简单的线性化测量和建模逐渐转向更为全面系统、
本文对舷侧阵平台进行了有限长弹性圆柱壳体简化,推导了圆柱壳体矢量场计算方法,建模分析了点力作用下表面声压与振速场分布、壳体近场辐射声压与振速场幅值分布以及声场的空
时深转换处理是反射地震资料处理解释中重要的步骤。因准确的时深转换需要确定的速度模型,而速度模型的建立又需要验证钻孔与测井资料作正演,获取这些资料需要很大投入。目前
对TSP203仪器隧道预报采集数据的检查,发现有相当数量的原始采集数据中存在各种类型的干扰波,造成预报成果出现假象。这里论述检查隧道地震渡预报原始数据的重要性,分析干扰
在某地铁工程后浇环梁施工前,由于受特大暴雨冲刷河堤影响(后浇环梁在河堤下方),出现地面塌陷现象,后经回填处理,使后浇环梁上方原有地层发生变化,施工止水难度很大。通过对
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的
为了满足室内高精度、鲁棒定位应用需求,本文提出了基于核函数法及马尔可夫链的节点定位算法,该算法采用射频指纹匹配技术,使用核函数构建似然函数,充分利用观测与多个训练样
软件的安全性测试是软件安全和软件质量的重要保障,也逐渐成为软件生命周期中必不可少的一环。
简单阐述了软件安全问题和软件安全性测试的特点,主要介绍了当前国内外较