【摘 要】
:
已有的程序自动化调试研究大多面向工业软件,而学生程序调试具有缺陷数多、类型复杂等特有难点问题,因此,针对学生程序设计应用背景,研究程序自动修复方法,利用模板示例程序
【机 构】
:
哈尔滨工业大学计算机科学与技术学院,哈尔滨学院信息工程学院
【基金项目】
:
国家自然科学基金(61672191),国家重点研发计划(2018YFB1004800),黑龙江省自然科学基金(JJ2019LH0048H),哈尔滨科技创新人才研究专项资金(2016RAQXJ013).
论文部分内容阅读
已有的程序自动化调试研究大多面向工业软件,而学生程序调试具有缺陷数多、类型复杂等特有难点问题,因此,针对学生程序设计应用背景,研究程序自动修复方法,利用模板示例程序指导补丁的演化.改进了遗传编程算法,包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式,使其更加适合修复学生程序.提出了基于示例的静态错误定位方法,能够识别缺陷程序和参考程序差异和可能的变异操作,有效地缩小补丁的搜索空间以提高修复的准确性.提出了基于执行值序列的变量映射方法,以降低变异体的编译错误,提高修复的准确性.在此基础上,设计并
其他文献
近年来,云南省持续加大力度开展九大高原湖泊保护治理。目前,九湖“十三五”规划项目完工率达22%,开工率达77%,累计完成投资285亿元,占总投资的49%。据悉,今年云南省将持续发
本文通过基本解,基本公式出了六变元常系数超双曲型方程解的中量,并指出了解的中量满足的积分方程。
目的 体外培养近交系大鼠胚胎腹侧中脑前体细胞(VMP)并诱导其分化为多巴胺能神经元(DN),为研究DN定向分化的分子机制提供细胞模型。方法取材胎龄11d的近交系大鼠胚胎VMP,体外用碱性
随着汽车保有量的增加,以及在固定源排放控制方面的进展,汽车排放已成为最主要的空气污染来源。在降低汽车排放污染的各项措施中,发动机尾气催化净化技术又是目前公认的、最有效
大连市旅顺口区劳动保障局狠抓建筑业劳动者的技能培训,先后开设砌筑工、钢筋工、混凝土工、木工等十几个工种的培训班,全区共有300多人参加培训并取得了相应的国家职业资格证
从我国刀具行业及切削技术的发展特点和角度,论述了入世后我国刀具行业的机遇和挑战,同时兼述了我省金属切削刀具技术近年来的若干进展。
本文阐述了专用集成器件测试仪的工作原理、软件设计及系统的硬件结构,同时叙述了该测试仪的功能及应用范围。
通过研究专家系统建立的一般要求,将汽车可靠性理论及其分析方法应用于汽车故障诊断专家系统的建立中。提出了使用故障树对汽车故障模式产生的规则进行针对性的描述或数字表达