現(xiàn)代嵌入式系統(tǒng)廣泛應(yīng)用于航空、航天、工業(yè)控制、民用電子等領(lǐng)域。隨著嵌入式軟件規(guī)模和復(fù)雜度的不斷增長,基于構(gòu)件的設(shè)計技術(shù)逐漸得到廣泛應(yīng)用,通過測試保證構(gòu)件功能和集成構(gòu)造的正確性、軟件運(yùn)行時序的正確性、以及運(yùn)行健壯性等成為重要的研究問題。本文采用基于模型的測試思想,建立了嵌入式軟件的可組合接口模型,在此基礎(chǔ)上提出一套構(gòu)件測試和時序測試生成方法、以及異常時序檢測方法,提升了測試的自動化和系統(tǒng)化程度,提高了測試生成的質(zhì)量和效率,為提高嵌入式軟件測試有效性和測試質(zhì)量提供新的途徑。在嵌入式軟件建模方面,提出接口語義自動機(jī)（Interface Semantic Automata,ISA）模型,通過引入語義規(guī)則,從行為、時序兩個方面增強(qiáng)和擴(kuò)展模型的語法、語義表達(dá)能力。在ISA模型中,定義了接口行為參數(shù)、中間變量,建立了基于謂詞邏輯的行為約束,通過模型的可組合性和組合操作,支持構(gòu)件間的集成測試。針對嵌入式軟件的時間需求,定義了時間變量、置零行為、以及典型時間約束,支持運(yùn)行時序的定量描述。ISA模型為構(gòu)件和時序測試提供了設(shè)計信息和領(lǐng)域知識。在嵌入式構(gòu)件測試研究中,提出基于符號執(zhí)行的構(gòu)件測試生成方法。在嵌入... 

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

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

【文章目錄】：
摘要
abstract
第1章 引言
    1.1 研究背景及意義
    1.2 嵌入式軟件測試研究現(xiàn)狀
    1.3 論文的主要研究工作
    1.4 論文的組織結(jié)構(gòu)
第2章 嵌入式軟件的接口語義自動機(jī)模型
    2.1 本章引論
    2.2 嵌入式軟件組合建模技術(shù)研究現(xiàn)狀
    2.3 基于接口語義自動機(jī)的行為特性建模
        2.3.1 接口自動機(jī)理論
        2.3.2 行為語義擴(kuò)展
        2.3.3 接口語義自動機(jī)
    2.4 嵌入式軟件組合理論
        2.4.1 構(gòu)件可組合性
        2.4.2 組合機(jī)制
        2.4.3 ISA模型的可組合性與組合操作
    2.5 接口語義自動機(jī)實例
    2.6 本章小結(jié)
第3章 基于符號執(zhí)行的嵌入式構(gòu)件測試
    3.1 本章引論
    3.2 相關(guān)技術(shù)研究現(xiàn)狀
    3.3 基于符號執(zhí)行的構(gòu)件測試生成
        3.3.1 模型覆蓋準(zhǔn)則
        3.3.2 啟發(fā)式測試路徑生成算法
        3.3.3 基于相關(guān)性分析的數(shù)據(jù)約束求解
    3.4 功能異常測試方法
        3.4.1 基于約束變異的測試
        3.4.2 基于插樁與反例的異常測試
    3.5 基于組合路徑的集成測試
        3.5.1 構(gòu)件間組合路徑分析
        3.5.2 基于組合路徑的集成測試
    3.6 實驗與評估
        3.6.1 應(yīng)用案例
        3.6.2 實驗設(shè)計
        3.6.3 構(gòu)件測試結(jié)果分析
        3.6.4 集成測試結(jié)果分析
    3.7 本章小結(jié)
第4章 基于時間約束相關(guān)性分析的時序測試生成
    4.1 本章引論
    4.2 時間約束測試技術(shù)研究現(xiàn)狀
    4.3 時序特性分析與建模
        4.3.1 時序語義描述
        4.3.2 時間約束相關(guān)性分析
    4.4 時間約束一致性檢測
    4.5 典型時序缺陷分析
    4.6 基于相關(guān)性分析的分區(qū)測試方法
        4.6.1 相關(guān)時間約束識別
        4.6.2 基于時間約束的測試分區(qū)
        4.6.3 分區(qū)測試數(shù)據(jù)生成
    4.7 實驗與評估
        4.7.1 應(yīng)用案例
        4.7.2 實驗設(shè)計
        4.7.3 實驗結(jié)果分析
    4.8 本章小結(jié)
第5章 執(zhí)行序列的異常時序檢測
    5.1 本章引論
    5.2 時序特性檢測技術(shù)研究現(xiàn)狀
    5.3 執(zhí)行片段提取
    5.4 基于接口自動機(jī)的時序缺陷檢測
        5.4.1 執(zhí)行片段匹配
        5.4.2 時序缺陷檢測
    5.5 實驗與評估
        5.5.1 實驗設(shè)計
        5.5.2 實驗結(jié)果分析
    5.6 本章小結(jié)
第6章 總結(jié)與展望
    6.1 論文的主要貢獻(xiàn)
    6.2 研究工作展望
參考文獻(xiàn)
致謝
個人簡歷、在學(xué)期間發(fā)表的學(xué)術(shù)論文與研究成果



本文編號：3666493