發(fā)布時間：2025-05-29 04:37

　　電子與信息系統(tǒng)在很多領(lǐng)域占據(jù)重要地位,質(zhì)量和可靠性要求高,為此,全功能、全狀態(tài)測試已經(jīng)成為了行業(yè)共識。全因子測試是更為全面和充分的測試方法。然而,全因子測試數(shù)據(jù)集的規(guī)模往往非常龐大,導(dǎo)致測試空間爆炸,在實際中難以實現(xiàn)。組合測試是一種重要的黑盒測試方法,只需檢測任意t個參數(shù)的相互作用就可以達到全因子測試的效果,與全因子測試相比,既能保證測試數(shù)據(jù)集的規(guī)模較小,又能保證測試的全面性。很多電子與信息系統(tǒng)的輸入具有時序性,即輸入要滿足一定的時間要求和次序要求,而且參數(shù)之間、參數(shù)的取值之間往往存在組合約束、次序約束和時間約束。在保證測試的全面性的同時,生成滿足約束的規(guī)模最小或較小的組合測試數(shù)據(jù)集,已成為功能測試領(lǐng)域的熱點問題。研究最優(yōu)或近似最優(yōu)的組合覆蓋測試數(shù)據(jù)的生成算法,可以滿足電子與信息系統(tǒng)的輸入的時序要求和約束要求,保證測試的全面性和提高測試效率,對提高電子與信息系統(tǒng)的測試覆蓋率、提高產(chǎn)品的可靠性具有重要的意義。鑒于此,本文圍繞著組合覆蓋測試數(shù)據(jù)的生成問題展開研究,完成的主要工作如下:針對約束覆蓋數(shù)組規(guī)模過大的問題,提出了基于粒子群優(yōu)化的約束覆蓋數(shù)組生成算法。在尋優(yōu)規(guī)則指導(dǎo)下,利用覆蓋目標(biāo)進行...

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題背景及研究的目的和意義
    1.2 組合測試概述
        1.2.1 組合測試的基本原理
        1.2.2 組合測試的關(guān)鍵問題
    1.3 國內(nèi)外研究現(xiàn)狀及分析
        1.3.1 取值組合覆蓋測試數(shù)據(jù)生成算法
        1.3.2 取值序列覆蓋測試數(shù)據(jù)生成算法
        1.3.3 時刻覆蓋測試數(shù)據(jù)生成算法
    1.4 存在的主要問題
    1.5 主要研究內(nèi)容
    1.6 論文的組織結(jié)構(gòu)
第2章 取值組合覆蓋測試數(shù)據(jù)生成算法研究
    2.1 引言
    2.2 約束描述和一致性驗證方法
    2.3 基于禁忌邊分解的約束覆蓋數(shù)組最小規(guī)模分析方法
        2.3.1 相關(guān)定義
        2.3.2 約束覆蓋數(shù)組最小規(guī)模分析方法
    2.4 基于粒子群優(yōu)化的約束覆蓋數(shù)組生成算法
        2.4.1 粒子群優(yōu)化算法
        2.4.2 組合約束處理策略
        2.4.3 約束覆蓋數(shù)組生成算法
    2.5 實驗驗證
        2.5.1 實驗方法
        2.5.2 實驗結(jié)果與分析
        2.5.3 實驗結(jié)論
    2.6 本章小結(jié)
第3章 取值組合和取值序列聯(lián)合覆蓋測試數(shù)據(jù)生成算法研究
    3.1 引言
    3.2 約束描述和一致性驗證方法
        3.2.1 約束描述方法
        3.2.2 約束一致性驗證方法
    3.3 覆蓋標(biāo)準(zhǔn)
        3.3.1 取值組合覆蓋和取值序列覆蓋
        3.3.2 取值組合和取值序列聯(lián)合覆蓋
    3.4 擴展覆蓋數(shù)組生成算法
        3.4.1 基于粒子群優(yōu)化的擴展覆蓋數(shù)組生成算法
        3.4.2 基于隨機算法的擴展覆蓋數(shù)組生成算法
    3.5 基于核函數(shù)的測試數(shù)據(jù)集覆蓋率度量方法
        3.5.1 參數(shù)之間取值組合覆蓋率度量方法
        3.5.2 參數(shù)中取值序列覆蓋率度量方法
    3.6 實驗驗證
        3.6.1 實驗方法
        3.6.2 實驗結(jié)果與分析
        3.6.3 實驗結(jié)論
    3.7 本章小結(jié)
第4章 相鄰時刻組合覆蓋測試數(shù)據(jù)生成算法研究
    4.1 引言
    4.2 約束描述方法
    4.3 覆蓋標(biāo)準(zhǔn)
    4.4 相鄰時刻組合覆蓋數(shù)組生成算法
        4.4.1 相鄰覆蓋數(shù)組生成算法
        4.4.2 約束相鄰覆蓋數(shù)組生成算法
        4.4.3 并發(fā)輸入相鄰覆蓋數(shù)組生成算法
    4.5 實驗驗證
        4.5.1 實驗方法
        4.5.2 實驗結(jié)果與分析
        4.5.3 實驗結(jié)論
    4.6 本章小結(jié)
第5章 約束下組合覆蓋測試數(shù)據(jù)生成算法應(yīng)用驗證
    5.1 引言
    5.2 測試方法與測試環(huán)境
        5.2.1 基于模型比較的測試方法
        5.2.2 測試環(huán)境
    5.3 驗證結(jié)果與分析
        5.3.1 約束覆蓋數(shù)組生成算法應(yīng)用驗證
        5.3.2 擴展覆蓋數(shù)組生成算法應(yīng)用驗證
        5.3.3 相鄰時刻組合覆蓋數(shù)組生成算法應(yīng)用驗證
    5.4 本章小結(jié)
結(jié)論
參考文獻
附錄 英文縮寫及釋義
攻讀博士學(xué)位期間發(fā)表的論文及其他成果
致謝
個人簡歷



本文編號：4048738