面向程序分析的插桩技术研究

为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。     

“C++语言程序设计”实践教学的改革与探索

本文强调了"C++语言程序设计"教学中实践环节的重要性,针对其实践教学中存在的问题,提出了一系列的改进措施,从而提高学生的实践动手能力。     

失效上下文统计分析的软件故障定位方法

针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失效点,执行按需的反向动态切片,确定失效产生的上下文;最后,对于反向动态切片中的节点,统计计算可疑度,输出带可疑度排序的动态程序切片。该方法不但描述了失效产生的上下文,还计算上下文中各个语句的可疑度。实验结果表明,所提方法与单一的覆盖分析方法相比,平均Expense降低了1.3%,与单一的切片方法相比,平均Expense降低了5.6%,所提方法可以有效辅助开发人员定位与修正软件缺陷。     

基于遗传编程的学生程序修正方法

学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评测,对评测结果中满足自动修正条件的学生程序进行错误定位,在此基础上实现自动修正。应用结果表明,该系统可以有效管理、测试学生程序、并为学生修正含有缺陷的程序提供参考,减轻了教师的负担。     

软件工程专业应用型人才培养模式的探索与实践

本文结合哈尔滨学院软件工程专业培养应用型软件人才的实践经验,提出了"三零五化"的人才培养思想和"三三一"的办学理念,架构了基于校企合作的"2.5+1.5"应用型软件人才培养模式和四位一体的培养方案,设置了相应的课程体系,阐述了在师资队伍建设、教学改革、校企合作构建产学研一体化平台和力争学校、政府企业、三力合一等方面所采取的相应举措。对应用型本科院校人才培养具有参考价值。     

基于数据仓库的突发公共卫生事件预警预报系统研究

对突发公共卫生事件的基本含义进行了概述,从基本原理、数据仓库设计流程,对数据仓库设计进行了分析,并以此为依据,提出了基于数据仓库的突发公共卫生事件预警预报系统的构建对策.