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

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

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

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



本文編號：4038044