论文部分内容阅读
为了提高静态切片精度，本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测，找出那些确定没有执行的方法或语句，设计并实现考虑实时栈信息的Java程序静态切片工具。实验结果表明，该切片工具进一步减少搜索空间，可以提高普通静态切片方法的精度和效率。
考虑实时栈信息的静态切片工具
【摘 要】
：
为了提高静态切片精度，本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测，找出那些确定没有执行的方法或语句，设计并实现考虑实时栈信息的Java程序静态切片工具
【机 构】
：
中国矿业大学计算机科学与技术学院
【出 处】
：
计算机与现代化
【发表日期】
：
2011年12期
【基金项目】
：
基金项目：国家自然科学基金资助项目（60970032）,江苏省自然科学基金资助项目（BK2008124）,江苏省大学生实战创新训练计划（S2010016）
其他文献
随着校园网的发展,传统的体系结构已不能满足应用开发的需要,在分析校园网信息平台体系结构的基础上,结合J2EE的三层体系结构,给出基于J2EE的校园网信息平台体系结构,并讨论
将MIS项目风险从技术、费用、进度3方面对软件开发过程的分析、设计、实施3个阶段进行分析。以调查问卷的形式分析被调查的项目开发人员在一定的知识、经验、偏好基础上给出
以嵌入式文件系统μC/FS为实例,从API层、文件系统层、逻辑块层及设备驱动层四个方面描述μC/FS文件系统,并且实现了μC/FS文件系统在K9F1208U0M Nand Flash上的移植。
假设检验过程中样本数据处理、数理统计函数值和检验临界值获取、统计量计算和比较检验等过程均很繁杂,针对目前面向普通用户用于假设检验的通用计算机程序,特别是Web应用程
现有的Web信息搜索方式是基于关键词匹配来进行的,其准确性和可靠性有限。本文以用户需求为中心,收集用户偏好,应用后台软件采用C4.5决策树算法构建文件过滤规则,结合基于主
研究基于调频差分混沌键控的水印加密方法。该方法使用功率恒定的信号作为栽波，将混沌信号变换成具有混沌相位的恒定功率波形，减小信号提取时的误码率。在不需要建立混沌自同步
为提高工业无损探伤中对X光图片的检测效率,提出用自动数字显微镜替代肉眼对X光图片进行自动检测,并通过研究自动显微镜图像采样方式和X光图像的特点,提出一种改进的基于空间像素灰度相关的快速图像拼接算法:以前一幅采样图像矩阵最后一列的中点为基点建立匹配矩阵,设立阈值,并通过相关性匹配找到下一采样图像中的匹配点,然后进行多重循环校验来验证匹配点的准确性。仿真实验证明,该算法不仅精确性高,而且运算量小,具有
搜索引擎的诞生,给信息搜集带来了极大的方便与好处。一套完备、成熟的搜索引擎的开发需要耗费大量资源,本文围绕如何快速搭建一个简易的搜索引擎展开。基于各开源组织独立研
系统以海南三亚的3个典型景点为评价对象,采用AHP层次分析法,借助ASP.NET和SQL Server 2005技术构建在线景点评价系统。将传统景点评价形式进行扩展,真正实现公众参与,以此促
OGRE是一个被广泛使用的开源三维图形渲染引擎。为了提高角色动画的制作效率,应该减少一些中间转换的环节,本文提出采用解析标准BVH文件的方法:通过结构体函数直接将解析后的数据加载到内存中,利用OGRE引擎对其进行实时渲染。实验结果证明,在OGRE引擎中,解析后的BVH文件的运动数据能够成功驱动模型,并且实现高逼真的3D渲染效果。