国家自然科学基金(60673035)

作品数：11被引量：69H指数：4
导出分析报告
相关作者：苏小红马培军王甜甜王宇颖郭全萍更多>>
相关机构：哈尔滨工业大学更多>>
相关期刊：《系统工程与电子技术》《哈尔滨工业大学学报》《电子学报》《计算机研究与发展》更多>>
相关主题：指针别名系统依赖图自动评分语义C语言编程更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
C程序隐式规则自动提取与反例检测
《电子学报》2013年第2期248-254,共7页禹振 苏小红 王甜甜 马培军 
国家自然科学基金(No.60673035);高等学校博士学科点专项科研基金(No.20092302110040)
提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则;引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效...
关键词：频繁闭合项集挖掘 程序规则提取 反例检测 软件缺陷检测 静态分析 
支持多程序语言的静态信息提取方法被引量：4
《哈尔滨工业大学学报》2011年第3期62-66,共5页逄龙 王甜甜 苏小红 马培军 
国家自然科学基金资助项目(60673035);高等学校博士学科点专项科研基金资助项目(20092302110040)
为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态信息的不同,按GCC内部机制,提出了运行改入点与内部辅助函数...
关键词：静态信息 GCC编译器 程序的中间表示 代码静态分析 
Multiagent系统通讯及单元可靠性综合评测
《哈尔滨工业大学学报》2011年第1期83-88,共6页郭勇 马培军 苏小红 
国家自然科学基金资助项目(60673035);国家自然科学基金资助项目(61073052);高等学校博士学科点专项科研基金资助项目(20092302110040)
为了更准确的评测Multiagent系统可靠性,提出了将通讯可靠性、单元可靠性及系统拓扑结构都考虑在评测过程中的综合评测方法.该方法概括出Multiagent系统的结构,釆用基于马尔可夫过程的方法,分析通讯可靠性、单元可靠性等因素对集中式、...
关键词：Multiagent系统 可靠性评测 MAS结构 备份agent 
面向综合实践能力考核的C语言编程考试自动评分系统被引量：18
《实验技术与管理》2010年第10期174-177,共4页苏小红 王宇颖 王甜甜 王宽全 
国家自然科学基金项目(60673035,61073052);黑龙江省新世纪高等教育教学改革工程项目(37)
如何利用计算机快速、准确地考核学生的编程实践能力,实现编程题的自动评分,成为计算机辅助教学领域的一个研究热点。针对现有系统要么只能对客观题进行自动评分,要么只能对没有任何语法错误的编程题按照运行结果的正误进行自动评分的问...
关键词：实践教学 编程题考试 自动评分 实践能力考核 
从GCC的AST文本提取C源程序静态信息的方法被引量：2
《哈尔滨工业大学学报》2010年第7期1100-1103,共4页封战胜 苏小红 马培军 
国家自然科学基金资助项目(60673035)
为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析...
关键词：程序静态分析 AST 控制依赖 数据依赖 控制流图 系统依赖图 
基于系统依赖图的过程间指针分析方法
《系统工程与电子技术》2010年第3期614-619,共6页王甜甜 马培军 苏小红 郭全萍 
国家自然科学基金(60673035)资助课题
针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数...
关键词：系统依赖图 指针别名 流敏感 上下文敏感 
基于搜索的程序切片方法在程序内聚度分析中的应用
《黑龙江大学自然科学学报》2010年第1期73-77,共5页孙鹤 苏小红 马培军 
国家自然科学基金资助项目(60673035)
将基于搜索的程序切片技术应用到程序内聚度分析中,在程序的所有可能的切片集合中搜索非冗余切片的集合,用于程序的内聚度度量,通过实验,验证了非冗余切片的集合用于程序内聚度度量方面的可行性,同时,对比分析了遗传搜索算法在适应度函...
关键词：基于搜索的软件工程 程序切片 模块内聚度度量 
基于程序理解的编程题自动评分方法被引量：35
《计算机研究与发展》2009年第7期1136-1142,共7页马培军 王甜甜 苏小红 
国家自然科学基金项目(60673035)~~
针对传统的编程题自动评分方法没有考虑学生程序是怎样实现编程任务的,以及不能从程序文本的语法结构和语义角度衡量学生程序与正确答案的接近程度等问题,提出一种基于程序理解的自动评分方法.以程序理解的一般过程及基本策略为依据,结...
关键词：自动评分 程序理解 程序标准化 程序匹配 语义 
程序标准化转换中的指针分析算法研究被引量：4
《电子学报》2009年第5期1104-1108,共5页王甜甜 苏小红 马培军 
国家自然科学基金(No.60673035)
针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别...
关键词：程序标准化 指针分析 指针别名 控制依赖树 
用指针实现的程序的标准化及其应用被引量：1
《哈尔滨工业大学学报》2009年第3期48-52,共5页王甜甜 郭全萍 马培军 苏小红 
国家自然科学基金资助项目(60673035)
为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的...
关键词：指针别名 系统依赖图 程序标准化 别名替换 别名分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部