【摘 要】
：
动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映
【机 构】
：
装甲兵工程学院信息工程系,北京邮电大学网络与交换技术国家重点实验室
【基金项目】
：
国家“八六三”高技术研究发展计划探索导向类项目基金(2007AA010302,2009AA012404)资助
论文部分内容阅读
动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且由于规则定义较为全面,漏报和误报率也较低.
其他文献
21世纪初,中国与发展中国家的关系出现了分层。这种分层在理论上表现为宏观和微观两个层面,在具体政策上表现为三个圈型层次,其中与周边发展中国家的关系是中国外交的重点。
利用氢致延滞断裂实验的方法初步研究了不同微量元素(Zr、Hf、Y、S、Mg)对可伐合金氢致延滞开裂性能的影响。结果表明,微量 Zr、Hf 能够提高可伐合金的抗氢脆能力,而微量 Y
以树状月季为试材,针对培育过程中需要解决的关键问题,从砧木和品种的筛选研究了根部、干部、冠部的不同特征特性对其品质和景观效果的影响。指出树状月季应具有发达的直立根
高校学生作为微博使用的一个重要群体,他们的"发声"不容忽视。特别是当突发事件来临时,高校如何通过有效手段引导学生正确面对事件,如何利用微博营造高校良好的舆论环境,这些
在对美国、德国、法国、英国、俄罗斯、以色列等国家的舰用鱼雷报警声呐进行研究的基础上,提出了今后鱼雷报警声呐发展的技术要点。
我国东西部地区经济发展差距由来已久，改革开放以来经济差距的持续扩大引起了社会各界广泛的关注。本文分析了东西部地区经济发展差距的演变趋势，探讨了东西部经济差距扩大的原
随着经济全球化和经济信息化的深入发展,新一轮的产业结构调整正在全球如火如荼地展开。在美国次贷危机、欧债危机以及占领华尔街等一系列事件的冲击下,欧美国家逐渐意识到经
以长白山刺果甘草根为原料,用化学分析方法对长白山刺果甘草和甘草中所含粗脂肪、蛋白质、维生素C、黄酮4种化学成分进行了对比分析。结果表明:长白山刺果甘草中粗脂肪含量2.
朱洪新作《陈独秀风雨人生》运用了许多苏联解体而解密的第一手有关大革命的资料 ,将陈独秀风雨兼程的人生放到 2 0世纪上半叶风云激荡之中国的时代大背景中来展现 ,让读者看
陈独秀是中国近现代史上最具争议性的人物之一。他的晚年,更是长期被作为批判的反面人物而成为研究的禁区。十一届三中全会后,史学界本着实事求是的态度,开始重新研究晚年陈