【摘 要】
：
插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在
【机 构】
：
南京中医药大学信息技术学院,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
863国家高技术研究发展计划(2007AA010302);国家自然科学基金(60425204);江苏省自然科学基金(BK2007714);江苏省高校自然科学基金(07KJB10002)资助
论文部分内容阅读
插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代码,致使调试过程变得更加复杂和困难。针对这些问题,提出了一个基于Eclipse的通用Java代码插桩工具,即通过规则定义匹配程序的执行点,从而定制针对各种分析、测试和验证插桩需求的支持。通过对插桩代码片段的显式/隐式切换实现其可见性管理,从而确保程序的理解和调试过程不受插桩代码影响。通过
其他文献
目的:通过建立4种基源郁金挥发油的指纹图谱,对其指纹图谱进行比较研究,为制定郁金药材合理的质量控制标准提供参考。方法:采用气相色谱法,HP-5(0.32μm×0.32 mm×30 m)柱;
采用碱溶液和脂肪胺溶液对天然沸石进行改性,制备了改性天然沸石温拌剂,研究了其对沥青混合料性能的影响。结果表明:碱溶液处理显著增大了天然沸石的含水量,脂肪胺溶液处理则
引言对于农业生产来说,农业机械是农民必不可少的帮手。而农业机械又有着结构复杂、技术含量高、对操作技能水平要求高等特点,另外受田野作业环境及农机操作人员文化水平有限
6月22日上午,经省教务委员会同意报中国天主教主教团批准,天主教凤翔教区举行李会元就职主教仪式。就职仪式由中国天主教爱国会副秘书长、省天主教爱国会副主席、省天主教教
在国土资源部中国地质调查局的组织和支持下，1999年首先在广东珠江三角洲、湖北江汉平原、四川成都盆地开展了多目标地球化学试点填图工作，其成果引起了中央高层领导的关注。自
幽门螺旋杆菌（ＨＰ）是溃疡病尤其十二指肠球部溃疡（ＤＵ）重要病因之一，应用抗菌药物，消除ＨＰ后，有利于溃疡痊愈。本文观察洛赛克／法莫替丁联合甲硝唑、羟氨苄青霉素治疗ＨＰ阳性十二指肠球部溃疡，比较
<正> 右室心肌梗塞以扩容为主,而左心心肌梗塞一般要限制输液量,二者并存时,将根据左、右心功能受损程度,斟酌输液量及输液速度。因此,正确诊断右室心肌梗塞,将直接关系到心
玉米是世界上种植面积最广的农作物之一，全球大部分国家都有种植。从栽培面积和总产量来看，玉米仅次于小麦和水稻位居第三。玉米是人们的重要食物来源，也是畜禽的重要饲料之一，同时也是重要的工业和医药原料。近年来，玉米生产在我国无论是播种面积，还是单产及总产量，都呈现稳定增长的态势，其地位已在我国粮食生产中显得愈加重要。 一、 精细整地 精细整地是保证玉米优质高产的基本前提。虽然玉米对土壤的要求并不太高