【摘 要】
：
通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图（SDG）而造成大程序分析效率
【机 构】
：
东南大学计算机科学与工程学院,南京邮电大学计算机学院
【基金项目】
：
国家自然科学基金资助项目（60873049,60703086,60903026）
论文部分内容阅读
通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图（SDG）而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片方法进行切片计算.组合式程序切片方法以子程序为依赖性分析单位,程序依赖图由相互独立的子程序依赖图组合而成,子程序对外接口由参数间依赖关系实现,通过实参和形参之间的映射实现子程序间的分析.对3
其他文献
金属凝固过程中加入形核剂是改善金属材料组织和性能的常用方法。笔者以形核热力学为基础，讨论了外来成分起伏对钢液形核的影响，并通过实验进行了验证。研究结果表明，当金属液中
为设计细粒度的信任度计算方案,提高信任度计算结果的准确性,提出了角色独立的多层次信任度计算方案.通过将评价因子分为关键因子、主要因子和次要因子,实现细粒度的评价过程
为了改善功率MOS管及其驱动电路在高频开关状态下,功耗与可靠性等性能上的恶化问题,分析了此类电路中由于CdV/dt现象所导致的寄生效应.首先考虑功率MOS管及驱动电路的主要寄
为实现钢铁企业煤气能量流网络的高效运行，首先总结煤气能量流网络的特性和建模需求，给出煤气能量流网络和混杂Petri网的元素对应关系和建模规则，并给出建模实例；然后基于网络行
采用高能表面处理技术在40Cr钢的表面制备出具有纳米晶体特征的表面层。用扫描电子显微镜和透射电子显微镜研究了表面纳米层的微观结构，并利用纳米压入法测定了表面纳米层的硬
针对铬矿熔融还原法水锈钢直接合金化工艺中的热力学问题，利用热力学参数状态图、化学反应等温方程式等进行了理论分析和计算，为在转炉中用铬矿实现钢的直接合金化的热力学可行
基于可信计算思想,通过在现有移动终端中加入移动可信计算模块,并在核心网中加入安全服务提供者和安全软件提供商,构架了面向移动终端的统一安全防护体系,为用户提供安全服务
利用T106数值预报及常规气象资料,对1998年4月15日西北地区强沙尘暴进行分析,分析结果表明,这是一次由斜压槽及冷锋锋生触发的沙尘暴,高空急流及其下部的Ferrel环流对沙尘暴