發(fā)布時(shí)間：2025-03-30 02:30

　　隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展,嵌入式軟件在人們的生活中存在的更加廣泛,逐漸滲透于國(guó)民經(jīng)濟(jì)發(fā)展的各個(gè)領(lǐng)域。保證嵌入式軟件的可靠性十分重要。在嵌入式軟件的測(cè)試過(guò)程中,嵌入式軟件的時(shí)序特性不可忽略。嵌入式軟件的時(shí)序特性表現(xiàn)在參數(shù)輸入的次序以及參數(shù)注入時(shí)刻。本文對(duì)嵌入式軟件參數(shù)輸入時(shí)刻的時(shí)序特性進(jìn)行研究。當(dāng)前對(duì)嵌入式軟件的測(cè)試主要集中在覆蓋軟件運(yùn)行的狀態(tài),對(duì)于嵌入式軟件參數(shù)的輸入時(shí)刻的測(cè)試用例的生成算法研究較少。在軟件測(cè)試領(lǐng)域,組合測(cè)試對(duì)于生成具有高覆蓋率的測(cè)試用例方面有廣泛的應(yīng)用。本文在組合測(cè)試的基礎(chǔ)上,對(duì)參數(shù)的輸入時(shí)刻之間的組合進(jìn)行覆蓋。首先分析了嵌入式軟件的輸入時(shí)間空間,將等價(jià)類(lèi)劃分和邊界值分析的方法相結(jié)合,完成了對(duì)參數(shù)輸入時(shí)刻的選取。接著對(duì)參數(shù)的輸入時(shí)刻中可能存在的約束進(jìn)行了分析,輸入時(shí)刻約束包括輸入時(shí)刻的獨(dú)立事件約束和相關(guān)時(shí)間約束,并且利用鐘控計(jì)算樹(shù)邏輯(Clocked Computation Tree Logic,CCTL)方法,對(duì)時(shí)刻約束進(jìn)行了描述。最后分別利用粒子群算法和遺傳算法,對(duì)參數(shù)的輸入時(shí)刻之間存在的組合進(jìn)行了覆蓋,并且可以滿足時(shí)刻之間存在的約束。在參數(shù)的取值組合覆蓋的基礎(chǔ)上,...

【文章頁(yè)數(shù)】：68 頁(yè)

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題背景及研究目的和意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
        1.2.1 嵌入式軟件時(shí)序測(cè)試研究現(xiàn)狀
        1.2.2 組合測(cè)試用例生成研究現(xiàn)狀
        1.2.3 國(guó)內(nèi)外研究現(xiàn)狀分析
    1.3 總體研究要求
    1.4 主要研究?jī)?nèi)容
第2章 參數(shù)的輸入時(shí)刻組合測(cè)試用例生成方法
    2.1 引言
    2.2 參數(shù)的輸入時(shí)刻的選取
    2.3 時(shí)刻約束的描述及處理
    2.4 時(shí)刻組合覆蓋數(shù)組生成算法
    2.5 仿真實(shí)驗(yàn)與結(jié)果分析
    2.6 本章小結(jié)
第3章 參數(shù)的取值與時(shí)刻聯(lián)合覆蓋測(cè)試用例生成算法
    3.1 引言
    3.2 參數(shù)的取值與時(shí)刻聯(lián)合表示方法
    3.3 時(shí)刻與取值約束的描述和處理
    3.4 取值與時(shí)刻聯(lián)合覆蓋數(shù)組生成算法
    3.5 仿真實(shí)驗(yàn)與結(jié)果分析
    3.6 本章小結(jié)
第4章 測(cè)試用例生成工具設(shè)計(jì)與開(kāi)發(fā)
    4.1 需求分析
    4.2 靜態(tài)模型
    4.3 動(dòng)態(tài)模型
    4.4 界面設(shè)計(jì)
    4.5 本章小結(jié)
第5章 測(cè)試與驗(yàn)證
    5.1 引言
    5.2 測(cè)試平臺(tái)構(gòu)建
    5.3 測(cè)試用例設(shè)計(jì)
    5.4 測(cè)試結(jié)果分析
    5.5 測(cè)試結(jié)論
    5.6 本章小結(jié)
結(jié)論
參考文獻(xiàn)
致謝



本文編號(hào)：4038044