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

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

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