【摘 要】
：
空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源。而现有的静态分析方法主要存在漏报和误报过多的情况。针对这些问题,提出了
【基金项目】
：
国家部委“十五”预研基金项目资助
论文部分内容阅读
空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源。而现有的静态分析方法主要存在漏报和误报过多的情况。针对这些问题,提出了一种基于指针映射关系分析的测试方法,给出了面向故障的指针映射集的构造规则,以此为基础建立了故障模型。通过指针映射集和故障模型,可以自动检测空指针引用内存故障,提高了测试效率。在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
其他文献
目前，我国城市生活用水量逐渐增加，且其用水过程多数是在建筑中完成的。为此，本文先从建筑给排水工程中的水资源利用状况进行分析，并基于环保理念提出了如何通过有效的给排水设计
随着现代经济的迅速发展,我国高层建筑的设计工作人员也越来越注重基础设计,如何选择安全的高层建筑结构形式是设计人员所需要注意的问题。本文就当前几种较为普遍的高层建筑
本文运用环境行为学的基本理论和方法，分析了某一住宅小区的规划和设计，分别对道路、建筑物和环境及景观三部分进行了分析阐述，以揭示环境行为学在住宅设计中的重要性。
市郊铁路作为一种新兴的铁路运输方式，是在传统铁路轨道制式的基础上，通过转变调度组织、运营管理和换乘衔接方式，形成的具有快速、大容量、全天候适应特征的交通工具，能够有效发
随着我国经济建设的不断发展,在一定程度上也促进了我国电气行业的进步与发展.不过随着社会要求的不断提高,对于电气安装施工的难度越来越大,这也导致了电气工程的安装质量得
随着建筑成本造价的不断攀升，造价成本低、经济效益高的建筑结构设计深受人们青睐，由此对建筑结构设计进行不断优化是非常重要的。本文主要说明了经济效益和优化整合建筑结构设
设计这种类型的桥梁，其中一个最重要的环节是：如何让混凝土顶、底板与波形钢腹板连接的更紧密，尽量减少两者之间的相对位移，这将直接影响到整座结构的承载能力。另外，两者的结合部