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

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

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

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

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



本文編號(hào)：3975630