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

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

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

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



本文編號(hào)：3666493