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

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

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

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



本文編號(hào)：3841490