隱式規(guī)則自動提取與反例檢測方法研究.pdf

1、在大規(guī)模程序中存在許多隱式編程規(guī)則，它們表達了程序的內(nèi)在特性和特定需求；如果程序員忘記或者未意識到這些規(guī)則，那么就很容易將缺陷引入程序。隱式編程規(guī)則形態(tài)多樣，可能包含多種類型的程序元素，位置分散，各個成分可能跨函數(shù)、跨文件分布，人工審查的方法很難查找到這些規(guī)則。因此很有必要研究如何從程序中自動提取隱式規(guī)則并形成文檔說明。然而，現(xiàn)有的研究成果只能提取簡單的基于函數(shù)對的程序規(guī)則，而不能挖掘出包含函數(shù)、變量和數(shù)據(jù)類型等多種程序元素的隱式規(guī)則；

2、而且為實現(xiàn)規(guī)則提取，它們還需要程序員提供規(guī)則模板，對人工參與的程度要求較高。
　　為從程序中提取更多不同種類的規(guī)則，同時減少人工參與的程度，本文提出一種通用且高效的程序隱式規(guī)則自動提取與反例檢測方法。該方法使用頻繁閉合項集挖掘技術(shù)從大型軟件源碼中挖掘包含多種程序元素的編程模式，然后由編程模式產(chǎn)生編程規(guī)則；引入正序規(guī)則(PSDRule)概念，以避免從同一個編程模式中產(chǎn)生多個冗余規(guī)則。在此基礎(chǔ)上，還提出一種高效的反例檢測算法以檢測違反