空指針引用故障導(dǎo)致的軟件安全問(wèn)題不斷出現(xiàn),給各個(gè)方面帶來(lái)了極大困擾和損失。本文研究利用靜態(tài)測(cè)試的方法對(duì)一類空指針引用故障‘進(jìn)行靜態(tài)檢測(cè)分析。 本文提出一種利用判斷邏輯信息進(jìn)行空指針引用檢測(cè)的方法。首先給出與基于判斷邏輯的空指針引用故障相關(guān)的一些定義和故障分類。接著,提出使用函數(shù)摘要技術(shù)提取間接判空點(diǎn)和間接解引用點(diǎn),定義該函數(shù)摘要為函數(shù)特征信息和后置約束信息的集合,研究了判斷邏輯函數(shù)摘要生成和傳遞的方法。最后,利用有限狀態(tài)機(jī)建立基于判斷邏輯的空指針引用故障模型,給出故障模型描述,并利用狀態(tài)機(jī)狀態(tài)轉(zhuǎn)換和函數(shù)摘要完成對(duì)這類空指針引用故障的檢測(cè)。 本文共分五個(gè)部分。第一部分對(duì)本論文研究背景和基于判斷邏輯的空指針引用故障進(jìn)行了概述，第二部分介紹了運(yùn)用函數(shù)摘要技術(shù)解決過(guò)程間判空點(diǎn)和解引用點(diǎn)提取問(wèn)題,包括判斷邏輯函數(shù)摘要模型、摘要生成和摘要傳遞算法,第三部分進(jìn)行缺陷模式描述和運(yùn)用上述摘要實(shí)現(xiàn)缺陷檢測(cè),第四部分是實(shí)驗(yàn)結(jié)果及問(wèn)題分析,第五部分對(duì)本文研究總結(jié)及下一步研究工作的展望。

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

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

【文章目錄】：
摘要
ABSTRACT
目錄
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 研究?jī)?nèi)容
    1.4 文章內(nèi)容和結(jié)構(gòu)
第二章 故障研究
    2.1 相關(guān)定義
    2.2 故障分類
        2.2.1 過(guò)程內(nèi)情況
        2.2.2 過(guò)程間情況
第三章 判斷邏輯函數(shù)摘要
    3.1 判斷邏輯函數(shù)摘要定義
        3.1.1 函數(shù)特征信息結(jié)構(gòu)定義
        3.1.2 后置約束信息結(jié)構(gòu)定義
    3.2 判斷邏輯函數(shù)摘要生成
        3.2.1 自定義函數(shù)的摘要生成
        3.2.2 庫(kù)函數(shù)的摘要生成
        3.2.3 判斷邏輯函數(shù)摘要傳遞
第四章 故障檢測(cè)
    4.1 狀態(tài)機(jī)定義
    4.2 狀態(tài)機(jī)實(shí)例生成
    4.3 故障檢測(cè)實(shí)現(xiàn)
    4.4 應(yīng)用實(shí)例
第五章 實(shí)驗(yàn)與分析
    5.1 實(shí)驗(yàn)環(huán)境及結(jié)果
    5.2 實(shí)驗(yàn)結(jié)果分析
第六章 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 下一步的研究工作
參考文獻(xiàn)
附錄1 故障模式狀態(tài)機(jī)描述文件
致謝
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄



本文編號(hào)：3761348