【摘 要】
:
在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种
【机 构】
:
中山大学信息科学与技术学院,中山大学软件学院
【基金项目】
:
The Fundamental Research Funds of the Central Universities for Sun Yat-Sen University under Grant No.11LGPY39(中山大学中央高校基本科研业务费专项资金1.
论文部分内容阅读
在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。
其他文献
近年来,我院以硝酸异山梨醇酯注射液(IDI)为对照,观察静脉注射地尔硫[艹卓](DIL)治疗不稳定心绞痛临床疗效和安全性。
2000年8月-2005年6月,我们对113例肝外胆管结石内镜取石失败者采用三镜(十二指肠镜、胆道镜、腹腔镜)联合法治疗,取得良好效果。现报告如下。
对于高校体育教学而言,运动训练与体育教学对其有着非常重要的意义。因此,在实际的体育教学过程中,教师一定要合理的处理好两者之间的关系,选择正确的体育教学方法和手段,从而让高
目的探讨腹腔镜治疗卵巢良性肿瘤的可行性. 方法回顾分析1997年1月~2003年10月150例卵巢良性肿瘤行腹腔镜手术资料,其中卵巢肿瘤剥除术146例,附件切除术4例. 结果 150例均获成
DOI:10.16655/j.cnki.2095-2813.2017.28.133 摘 要:游泳教学是重庆市高校特色体育教学课程,重庆邮电大学移通学院为了培养学生游泳这项生存技能,重新设计培养方案、管理制度、实施办法,合理科学地利用2个游泳池,经过1年的实验和2年的实施,学生能够熟练掌握蛙泳技术,有效地培养学生游泳习惯和意识。 关键词:重庆市 独立学院 公共游泳课程 特色教学 中图分类号:G
在素质教育不断深入的大时代背景下,普通高校中体育教学越来越受到人们的关注与重视,并且在社会体育文化不断发展的形势下,人们对体育知识有了越来越多的需求。本文论述与分析了
DOI:10.16655/j.cnki.2095-2813.2017.28.135 摘 要:目的 研究高校公共体育教学工作量计算方法。方法 通过电子邮件对山西省部分高校100名副教授以上职称体育专家进行问卷调查。然后采用频数分析对专家问卷进行统计。结果 多数专家建议公共体育班级容量不宜过大,学期课程安排不宜过多,学期基本课时不宜过多,否则应该增加体育教师工作量。此外,多数专家赞同随着职称提高,应
摘 要:高校开设的体育保健课,可以让有残疾、状况异常、身体虚弱、轻度功能障碍者如心脏病、哮喘、外伤的恢复期等情况的学生,参加體育课学习,制订实施一些,比较合适的教学手段、方法,以来达到保健康复的目标。对残疾学生来说,体育保健课具有着非常重要的锻炼及功能康复的重要作用,最终让学生形成健康体育和终身体育的观念。 关键词:高校 伤病残 体育保健 中图分类号:G8文献标识码:A 文章编号:2095-2
从本质上来讲,体育俱乐部应当构成独特的教学模式,此类模式十分适合运用于新时期的公共体育课。通过运用体育俱乐部的方式,就可以在整个体育课堂中创建愉悦与轻松的课堂氛围,
摘要:随着高校教育体制改革的不断深化,高校各学科教学的方式方法、内容目标等都发生了重大的改变,高校体育课程作为高校教育体系中的重要组成部分,在进行教学方式改革、教学质量的提高等方面也面临着诸多困难和挑战,传统的体育教学方式已经不能适应时代发展,陈旧的教学方法和教学理念也不能满足学生进行体育课程学习的要求,高校体育教学的诸多方面亟待改进和优化,为此本文针对高校体育教学发展的影响因素进行分析,并提出响