推荐星级:
- 1
- 2
- 3
- 4
- 5
C程序隐式规则自动提取与反例检测
资料介绍
提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则;引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效的反例检测算法检测违反规则的程序片段.实验结果表明,该方法能够自动提取程序中存在的隐式编程规则,并快速有效地检测违反规则的反例.
部分文件列表
文件名 | 大小 |
C程序隐式规则自动提取与反例检测.pdf | 6M |
全部评论(0)