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