郭全萍
- 作品数：3 被引量：1H指数：1
- 供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 用指针实现的程序的标准化及其应用被引量：1
- 2009年
- 为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.
- 王甜甜郭全萍马培军苏小红
- 关键词：指针别名系统依赖图别名分析
- 指针编程题的标准化及其自动评分方法的研究
- 程序设计语言考试中的自动化试卷评分技术是一项非常有意义的研究课题，是在线考试系统的关键技术，因其涉及多方面的理论知识而成为技术难点，目前在该领域内，实用性好而且功能健全的系统很少。在基于程序理解和语义分析的编程题自动评分...
- 郭全萍
- 关键词：系统依赖图自动评分
- 文献传递
- 基于系统依赖图的过程间指针分析方法
- 2010年
- 针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。
- 王甜甜马培军苏小红郭全萍
- 关键词：系统依赖图指针别名上下文敏感
