嵌入式系統(tǒng)的復雜性和廣泛應(yīng)用使人們越來越關(guān)注其可靠性。嵌入式軟件測試是保證嵌入式軟件正確性和提高嵌入式軟件可靠性最基本和最有效的手段。嵌入式系統(tǒng)軟件由于其自身的特點,在開發(fā)和測試方面的難度往往大于通用軟件。傳統(tǒng)的結(jié)構(gòu)化測試方法在測試軟件可靠性方面也有一些缺點。故障注入技術(shù)是一種通過注入故障的方法來測評容錯機制、驗證系統(tǒng)應(yīng)對異常能力,從而提高系統(tǒng)可靠性的有效辦法。在通用故障注入框架的基礎(chǔ)上,本文針對故障注入的輸入域和輸出域提出了一種用于嵌入式系統(tǒng)平臺的故障注入方法。該方法結(jié)合嵌入式系統(tǒng)平臺的結(jié)構(gòu)特點和可靠性設(shè)計,由此建立故障模型;并利用嵌入式平臺API,在硬件接口層、OS接口層以及應(yīng)用層實現(xiàn)多層故障注入。在結(jié)果分析部分,通過分析故障/失效概率,各種失效分布和故障來源來分析試驗結(jié)果;結(jié)合故障樹分析方法定性分析系統(tǒng)故障傳播和故障依賴關(guān)系,定量估算被關(guān)注事件的故障概率。最后結(jié)合嵌入式平臺具體應(yīng)用,通過應(yīng)用實例,用實驗的方法驗證所提出方法與實現(xiàn)技術(shù)的正確性與可行性。作為傳統(tǒng)測試方法的一種補充,文中所述的故障注入方法重點觀察被測對象在異常條件和無效參數(shù)下的應(yīng)對情況。結(jié)果也表明,使用這種測試方法提高... 

【文章來源】：浙江大學浙江省 211工程院校 985工程院校 教育部直屬院校

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

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 引言
    1.2 研究背景
    1.3 研究的目的與意義
    1.4 論文的組織
第2章 基于故障注入的測試研究綜述
    2.1 傳統(tǒng)的軟件測試方法
        2.1.1 測試的定義
        2.1.2 幾種基本的測試方法
        2.1.3 嵌入式軟件測試技術(shù)
        2.1.4 傳統(tǒng)測試方法的缺點
    2.2 系統(tǒng)可靠性研究
        2.2.1 系統(tǒng)可靠性定義
        2.2.2 軟件可靠性評估方法
        2.2.3 嵌入式系統(tǒng)的可靠性評估方法
        2.2.4 嵌入式系統(tǒng)可靠性設(shè)計方法
        2.2.5 系統(tǒng)可靠性測試方法
    2.3 故障注入方法和技術(shù)研究
        2.3.1 故障注入原理
        2.3.2 故障模型
        2.3.3 故障注入方法
        2.3.4 故障注入試驗結(jié)果分析
        2.3.5 故障注入技術(shù)的應(yīng)用和研究方向
    2.4 本章小結(jié)
第3章 嵌入式系統(tǒng)平臺注入故障方法
    3.1 故障模型
        3.1.1 容錯機制模型
        3.1.2 嵌入式系統(tǒng)層次模型
        3.1.3 建立故障模型
    3.2 故障注入點
        3.2.1 硬件接口
        3.2.2 OS接口
        3.2.3 識別接口方法
    3.3 注入故障方法
        3.3.1 改變系統(tǒng)內(nèi)部狀態(tài)
        3.3.2 修改API接口
        3.3.3 應(yīng)用層故障
        3.3.4 故障激活
    3.4 本章小結(jié)
第4章 故障注入結(jié)果分析方法
    4.1 失效分析
        4.1.1 系統(tǒng)失效模型
        4.1.2 任務(wù)失效模型
        4.1.3 失效分析方法
    4.2 故障分析
        4.2.1 故障樹分析法
        4.2.2 建樹步驟
        4.2.3 定性評估
        4.2.4 量化計算
    4.3 本章小結(jié)
第5章 基于故障注入的測試實現(xiàn)
    5.1 試驗采用的嵌入式系統(tǒng)平臺
    5.2 故障注入實現(xiàn)過程
    5.3 故障注入試驗結(jié)果分析
        5.3.1 失效類型分布
        5.3.2 故障樹分析實例
        5.3.3 覆蓋率分析
    5.4 本章小結(jié)
第6章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻
致謝
作者簡歷


【參考文獻】：
期刊論文
[1]軟件中的錯誤傳播分析[J]. 李愛國,洪炳鎔,王司,樸松昊.  計算機研究與發(fā)展. 2007(11)
[2]操作系統(tǒng)健壯性測試方法研究[J]. 趙則章,江建慧.  計算機工程與應(yīng)用. 2007(07)
[3]故障樹模塊化分析系統(tǒng)可靠性[J]. 陳光宇,黃錫滋,唐小我.  電子科技大學學報. 2006(06)
[4]綜合故障樹分析方法在容錯計算機系統(tǒng)中的應(yīng)用[J]. 范長征,蔣凡,曾凡平.  計算機仿真. 2006(04)
[5]基于軟件故障注入的容錯性能評測技術(shù)[J]. 譚玲,曲峰,董劍,楊孝宗.  計算機工程與科學. 2005(11)
[6]VLSI可測性設(shè)計研究[J]. 杜俊,趙元富.  微電子學與計算機. 2004(10)
[7]一種用于白盒測試評估的錯誤播種方法[J]. 羅莉琴,宮云戰(zhàn),王海東.  計算機工程與設(shè)計. 2004(09)
[8]嵌入式軟件開發(fā)方法研究及應(yīng)用[J]. 黃賢英,肖朝輝,陳媛.  自動化技術(shù)與應(yīng)用. 2004(03)
[9]利用軟件故障注入提高軟件測試覆蓋率[J]. 溫東新,劉宏偉,楊孝宗,董劍.  同濟大學學報(自然科學版). 2002(10)
[10]安全系統(tǒng)可靠性分析方法[J]. 張釗謙,吳重光.  安全與環(huán)境學報. 2002(02)



本文編號：3206965