美國(guó)國(guó)防部高級(jí)研究計(jì)劃局于2014年提出MUSE計(jì)劃,研究如何在大規(guī)模開(kāi)源代碼庫(kù)上挖掘深層次的規(guī)范和協(xié)議并指導(dǎo)開(kāi)發(fā)人員完成軟件領(lǐng)域的復(fù)雜工作。編程邏輯的挖掘作為其中的一項(xiàng)關(guān)鍵技術(shù)逐漸成為國(guó)內(nèi)外學(xué)者的研究熱點(diǎn)。本課題以開(kāi)源代碼為研究對(duì)象,針對(duì)人類編程過(guò)程存在的普遍規(guī)則和個(gè)性化習(xí)慣,研究面向?qū)ο箢愰_(kāi)源代碼編程邏輯建模與應(yīng)用,挖掘人類編程的潛在邏輯和規(guī)則,為漏洞挖掘技術(shù)、預(yù)測(cè)編程行為、修復(fù)和構(gòu)建復(fù)雜軟件提供基礎(chǔ)性支持。全文主要工作如下:1.對(duì)編程邏輯的概念進(jìn)行了闡述,分析了研究編程邏輯的相關(guān)問(wèn)題,在此基礎(chǔ)上提出一種了面向?qū)ο箢愰_(kāi)源代碼編程邏輯的研究框架,明確了各個(gè)研究?jī)?nèi)容之間的聯(lián)系,為編程邏輯的研究奠定了基礎(chǔ)。2.針對(duì)面向?qū)ο箝_(kāi)源代碼的復(fù)雜結(jié)構(gòu)給編程邏輯分析建模帶來(lái)困難的問(wèn)題,提出一種面向?qū)ο笳Z(yǔ)言代碼分析方法,在以對(duì)象為分類標(biāo)準(zhǔn)、以方法調(diào)用序列為基本結(jié)構(gòu)的基礎(chǔ)上,融合別名歸并和程序結(jié)構(gòu)分析策略,盡可能保留程序原有語(yǔ)法結(jié)構(gòu)信息,將源代碼轉(zhuǎn)化為統(tǒng)一范式的數(shù)據(jù)形式,為編程邏輯的研究奠定數(shù)據(jù)基礎(chǔ)。3.針對(duì)現(xiàn)有適用于大規(guī)模數(shù)據(jù)的代碼模型沒(méi)有充分利用代碼的語(yǔ)法、結(jié)構(gòu)信息,對(duì)開(kāi)發(fā)人員編程思維邏輯的描述存在... 

【文章來(lái)源】：戰(zhàn)略支援部隊(duì)信息工程大學(xué)河南省

【文章頁(yè)數(shù)】：57 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

實(shí)驗(yàn)結(jié)果圖

表 4.6 三種類型的 Java 類代表分類 類數(shù)據(jù)結(jié)構(gòu)類java.lang.Stringjava.lang.Integerjava.util.Listjava.lang.Characterjava.lang.Doublejava.util.Calendar內(nèi)部功能類java.util.Mapjava.util.HashMapjava.lang.reflect.Methodjava.util.regex.Patternjava.io.StringWriterjava.util.Locale外部接口類java.io.Filejava.io.InputStreamjava.io.FileInputStreamjava.net.URLjavax.servlet.http.HttpServletRequestjava.io.Reader

文件1文件2文件n模型1模型2模型n向量1向量2向量n圖 5.1 基于 CPMMC 的面向?qū)ο蟠a缺陷檢測(cè)方法流程圖5.2.1 基于 CPMMC 的特征向量構(gòu)建在第四章中，本文提出了方法約束關(guān)系的概念，并基于方法約束關(guān)系構(gòu)建了代碼邏輯模型 CPMMC。在 CPMMC 中，面向?qū)ο笤创a被抽象為對(duì)象方法調(diào)用序列的集合，實(shí)驗(yàn)驗(yàn)證了該模型能在一定程度上反應(yīng)開(kāi)發(fā)人員在編寫程序時(shí)的編程邏輯。本章方法采用同樣的思想抽象源代碼，形式化表示為：1 2{ , , , }nCode Class Class Class(5.1)1 2{ , , , }Object Object ObjectnClass Seq Seq Seq(5.2)1 2 nSeq Method Method Method(5.3)Method ClassN , Name, Return ,Relation (5.4)在代碼抽象的基礎(chǔ)上，本文受詞袋模型（Bag of words）的啟發(fā)，采用 N-gram 方法將每個(gè)對(duì)象的方法調(diào)用序列進(jìn)行切分，例如，我們考慮第四章中表 4.1 中的代碼片段，該片段可被抽象為 3 個(gè)對(duì)象的代碼特征詞序列，如表 4.2 所示。當(dāng)采用 unigram（N-gram 切分時(shí)

【參考文獻(xiàn)】：
期刊論文
[1]一種微觀漏洞數(shù)量預(yù)測(cè)模型[J]. 聶楚江,趙險(xiǎn)峰,陳愷,韓正清.  計(jì)算機(jī)研究與發(fā)展. 2011(07)
[2]采用統(tǒng)計(jì)技術(shù)的假設(shè)檢驗(yàn)方法推斷化驗(yàn)室檢測(cè)差異[J]. 謝天泉.  冶金標(biāo)準(zhǔn)化與質(zhì)量. 2006(03)
[3]基于支持向量機(jī)的入侵檢測(cè)系統(tǒng)[J]. 饒鮮,董春曦,楊紹全.  軟件學(xué)報(bào). 2003(04)



本文編號(hào)：3426340