%0 Journal Article
%T C程序隐式规则自动提取与反例检测
%A 禹振
%A 苏小红
%A 王甜甜
%A 马培军
%J 电子学报
%P 248-254
%D 2013
%R 10.3969/j.issn.0372-2112.2013.02.007
%X 提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则;引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效的反例检测算法检测违反规则的程序片段.实验结果表明,该方法能够自动提取程序中存在的隐式编程规则,并快速有效地检测违反规则的反例.
%K 频繁闭合项集挖掘
%K 程序规则提取
%K 反例检测
%K 软件缺陷检测
%K 静态分析
%U http://www.ejournal.org.cn/CN/abstract/abstract7108.shtml