C程序隐式规则自动提取与反例检测

• 作者: 王甜甜 禹振 苏小红 马培军
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 频繁闭合项集挖掘 程序规则提取 反例检测 软件缺陷检测 静态分析
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 248-254
• 页数: 7页
• 分类号: TP311
• 字数: 4704字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.02.007

摘要

提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则；引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效的反例检测算法检测违反规则的程序片段.实验结果表明,该方法能够自动提取程序中存在的隐式编程规则,并快速有效地检测违反规则的反例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏小红	哈尔滨工业大学计算机科学与技术系	152	1551	20.0	34.0
2	马培军	哈尔滨工业大学计算机科学与技术系	93	639	14.0	20.0
3	王甜甜	哈尔滨工业大学计算机科学与技术系	53	371	11.0	17.0
4	禹振	哈尔滨工业大学计算机科学与技术系	7	36	2.0	5.0