论文部分内容阅读
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面.文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用.
动态程序切片研究及其应用
【摘 要】
：
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面.文章讨论了动态切片
【机 构】
：
哈尔滨师范大学计算机科学系
【出 处】
：
东北农业大学学报
【发表日期】
：
2005年3期
【基金项目】
：
黑龙江省教育厅科学技术研究项目
其他文献
分析了沉降炉生产实践情况,指出了影响生产的主要原因,阐述了技改后贫化电炉的生产情况,通过实践验证,技改基本解决了影响生产的主要问题.
研究了高银粗铜在HNO3-Cu(NO3)2溶液中的电解,考察了有关因素对电解的影响,确定了最佳的电解条件.
对真空下用碳热还原及低价氯化物分解法从含铝原料炼铝的试验进行了研究,重点考察了反应温度、煤的用量、反应时间对试验的影响;最后得到在100Pa的真空下,最佳的反应温度为1
就大型预焙铝电解槽早期破损这一现象,结合近几年投产的部分铝厂尤其是连城铝业电解新系列启动的经验进行了分析,指出筑炉材料和筑炉质量、焙烧启动制度以及焙烧启动过程的管
根据丹江铝业股份公司114.5kA预焙槽阳极经济高度的实践,结合四期技改200kA槽型的阳极设计情况,从经济角度简单地分析了电解生产中适当的阳极高度给企业带来的经济效益.
介绍了瓦纽可夫炼铅炉的结构、冶金过程及其操作状况,评述了瓦纽可夫熔炼炉直接炼铅新工艺的特点.认为瓦纽可夫炼铅法不仅符合节能、环保要求,而且具有流程短、设备简单、效
总结了我厂160kA系列加长阳极、提升电流后,电流效率提高1.66个百分点以上,年增产铝5 617t、年创经济效益3 909万元.