發(fā)布時間：2023-08-11 17:54

　　隨著航天技術的不斷發(fā)展,傳統(tǒng)的航天軟件研制模式無論從研發(fā)周期、測試周期角度都越來越無法滿足型號軟件的研制要求。航空領域的成功實踐經驗表明,以SCADE為主體的模型驅動研制模式能夠大大提高軟件的研制效率,降低研制成本。航天領域也開始運用以SCADE為主體的模型驅動研制模式來設計、研發(fā)和測試航天型號嵌入式軟件,以期縮短軟件研制周期,提高軟件研制效率,適應航天型號高密度發(fā)射的現狀。開發(fā)過程中發(fā)現,在新的研制模式下,通過建立軟件的SCADE模型,可以自動生成高安全性的產品級嵌入式C代碼,大大減少了編程和測試工作量。但是由于生成代碼的可讀性差,極大的增加了軟件集成測試時故障定位的難度,使得軟件測試的周期不可控。為了讓這種研制模式能夠更加高效,需要研究一種適用于模型驅動開發(fā)軟件(特指以SCADE工具為主體開發(fā)的軟件)的自動化故障定位方法�；趫�(zhí)行軌跡的故障定位(簡稱ETBFL)技術以其自動化程度高而被廣泛應用,它主要通過對軟件執(zhí)行軌跡的統(tǒng)計分析,賦予程序實體量化的故障懷疑率以輔助故障定位。這類技術沒有考慮程序實體之間的聯系和相互影響,通用性強但在實際工程中的定位效果并不理想。由于開發(fā)環(huán)境的特殊性,...

【文章頁數】：78 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景與意義
    1.2 相關術語及研究范圍界定
    1.3 國內外研究現狀
        1.3.1 模型驅動研制模式
        1.3.2 軟件故障定位技術
    1.4 論文主要工作
    1.5 本文的組織結構
2 基于執(zhí)行軌跡的軟件故障定位技術概述
    2.1 引言
    2.2 技術框架
    2.3 典型算法
        2.3.1 集合運算法
        2.3.2 概率統(tǒng)計法
    2.4 ETBFL應用于模型驅動開發(fā)軟件的必要性分析
    2.5 本章小結
3 模型驅動開發(fā)軟件執(zhí)行軌跡獲取
    3.1 引言
    3.2 常用方法介紹
        3.2.1 插樁法
        3.2.2 AOP法
        3.2.3 常用方法小結
    3.3 模型驅動開發(fā)軟件特點及對執(zhí)行軌跡的獲取要求
    3.4 基于SVP+數據庫的執(zhí)行軌跡獲取方案設計
        3.4.1 環(huán)境及相關技術介紹
        3.4.2 執(zhí)行軌跡獲取方案設計
        3.4.3 數據表設計
        3.4.4 執(zhí)行軌跡獲取具體實現
    3.5 本章小結
4 基于程序依賴的模型驅動開發(fā)軟件故障定位方法設計
    4.1 引言
    4.2 方法框架
        4.2.1 初始懷疑率計算模塊
        4.2.2 受影響度計算模塊
        4.2.3 懷疑率修正模塊
    4.3 初始懷疑率
        4.3.1 統(tǒng)計量說明
        4.3.2 度量方法選擇
    4.4 基于程序依賴關系的懷疑率修正算法
        4.4.1 算法提出
        4.4.2 相關概念
        4.4.3 算法設計
    4.5 本章小結
5 實驗結果與分析
    5.1 引言
    5.2 實驗設計
        5.2.1 實驗對象
        5.2.2 實驗算法
        5.2.3 實驗分組
    5.3 實驗結果與分析
        5.3.1 單故障程序組
        5.3.2 多故障程序組
    5.4 本章小結
第6章 總結與展望
    6.1 總結
    6.2 展望
參考文獻
攻讀碩士學位期間發(fā)表學術論文情況
致謝



本文編號：3841490