發(fā)布時間：2024-05-17 12:58

　　近些年來,隨著計算機技術的飛速發(fā)展,人們對軟件系統(tǒng)的需求與日俱增,且軟件的規(guī)模也在不斷擴大。而使用存在軟件缺陷的軟件不僅會增加軟件維護費用,而且可能會造成災難性的后果。軟件測試作為在程序開發(fā)階段對程序進行功能驗證的過程,是保證軟件質量的重要手段。如何盡可能早的發(fā)現(xiàn)并修復軟件缺陷已成為軟件開發(fā)人員、軟件測試人員及軟件測試研究人員共同關注的焦點。代碼靜態(tài)分析技術作為一種興起的軟件測試技術,無需執(zhí)行程序,可以基于程序片段進行分析,是構建可信軟件的有效手段。然而,根據(jù)Rice定理,代碼靜態(tài)分析的結果不可能既是完備的又是可靠的,進而導致其分析的結果中可能存在大量的誤報。誤報的確認不僅需要花費大量的時間、人力和物力,而且會導致測試人員拒絕使用靜態(tài)分析工具進行軟件測試。如何提高代碼靜態(tài)分析結果(疑似故障)的確認效率,成為了軟件測試領域研究的熱點之一。本文的研究工作受到國家自然科學基金項目“源代碼漏洞分析、檢測與驗證技術研究(U1736110)”的支持,并基于靜態(tài)缺陷檢測工具DTS(Defect Testing System)而展開。在代碼疑似故障自動確認方面,本文主要做了以下三個方面的工作:1、誤報...

【文章頁數(shù)】：107 頁

【學位級別】：博士

【文章目錄】：
摘要
ABSTRACT
主要縮略語及中英文對照
第一章 緒論
    1.1 研究背景
    1.2 研究目的和意義
    1.3 研究內(nèi)容與主要貢獻
    1.4 本文的組織結構
    本章參考文獻
第二章 代碼疑似故障自動確認相關背景知識
    2.1 軟件缺陷與缺陷模式
        2.1.1 軟件缺陷概述
        2.1.2 軟件缺陷模式
    2.2 相關技術介紹
        2.2.1 靜態(tài)分析技術
        2.2.2 區(qū)間運算技術
        2.2.3 敏感路徑分析技術
        2.2.4 函數(shù)間分析技術
    2.3 靜態(tài)缺陷檢測工具
    2.4 代碼疑似故障自動確認的基礎架構
    本章參考文獻
第三章 誤報消除方法的研究
    3.1 引言
    3.2 研究動機
    3.3 相關研究
    3.4 基于局部程序路徑分析的誤報消除
        3.4.1 基本術語
        3.4.2 基本思想
        3.4.3 關聯(lián)函數(shù)分析
        3.4.4 路徑分析
    3.5 實例分析與實驗驗證
        3.5.1 實例分析
        3.5.2 實驗驗證
    3.6 本章小結
    本章參考文獻
第四章 函數(shù)間不可達路徑檢測方法的研究
    4.1 引言
    4.2 研究動機
    4.3 相關研究
        4.3.1 靜態(tài)檢測方法
        4.3.2 動態(tài)檢測方法
    4.4 基于不可滿足路徑約束模型的不可達路徑檢測
        4.4.1 基本概念
        4.4.2 基本思想
        4.4.3 不可滿足路徑約束模型
        4.4.4 路徑約束提取、聚類和簡化
        4.4.5 不可達路徑檢測算法
    4.5 實驗及分析
        4.5.1 實驗設計
        4.5.2 實驗度量
        4.5.3 實驗結果
        4.5.4 實驗結果分析
        4.5.5 效度分析
    4.6 本章小結
    本章參考文獻
第五章 疑似故障觸發(fā)路徑生成方法的研究
    5.1 引言
    5.2 研究動機
    5.3 相關研究
    5.4 基于缺陷特征的觸發(fā)路徑生成
        5.4.1 基本概念
        5.4.2 基本思想
        5.4.3 影響謂詞計算
        5.4.4 控制流圖簡化
        5.4.5 觸發(fā)路徑生成
    5.5 實驗及分析
        5.5.1 實驗設計
        5.5.2 實驗度量
        5.5.3 實驗結果
        5.5.4 實驗結果分析
    5.6 本章小結
    本章參考文獻
第六章 總結與展望
    6.1 全文總結
    6.2 未來研究展望
致謝
攻讀學位期間發(fā)表的學術論文目錄



本文編號：3975630