針對基于任務(wù)的艦船裝備軟件進行測試時,缺乏任務(wù)需求的系統(tǒng)化分析與描述手段、難以從任務(wù)執(zhí)行層面有效生成測試用例、不支持跨平臺測試的自動化執(zhí)行等問題,對艦船裝備軟件任務(wù)分析與建模、基于任務(wù)模型的艦船裝備軟件測試用例生成及艦船裝備軟件測試自動化執(zhí)行等三方面關(guān)鍵技術(shù)進行了研究,研制了配套的軟件測試工具,形成了一整套基于任務(wù)的艦船裝備軟件測試技術(shù),以滿足基于任務(wù)的艦船裝備軟件測試的需要;在此基礎(chǔ)上,開展了基于任務(wù)的艦船裝備軟件測試技術(shù)實例應(yīng)用,驗證了該技術(shù)的工程適用性和配套工具的有效性,并形成了典型應(yīng)用實例,為該技術(shù)的推廣提供支撐。

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

【文章目錄】：
0 引言
1 任務(wù)分析與建模技術(shù)
    1.1 艦船裝備軟件任務(wù)特征分析
    1.2 艦船裝備軟件任務(wù)建模
2 基于任務(wù)模型的測試用例生成技術(shù)
    2.1 測試路徑生成
        2.1.1 針對外部組件狀態(tài)節(jié)點的約簡策略
        2.1.2 針對異常處理狀態(tài)節(jié)點的約簡策略
    2.2 故障模式分析
    2.3 測試數(shù)據(jù)生成
        2.3.1 常量池法
        2.3.2 隨機生成法
        2.3.3 符號執(zhí)行法
        2.3.4 啟發(fā)式生成法
    2.4 測試預(yù)言生成
        2.4.1 測試預(yù)言的分類
        2.4.2 測試預(yù)言的生成
            2.4.2. 1 基于后置條件的測試預(yù)言生成方法
            2.4.2. 2 基于蛻變關(guān)系的測試預(yù)言生成方法
            2.4.2. 3 基于容錯機制的測試預(yù)言生成方法
            2.4.2. 4 通用型測試預(yù)言生成方法
3 測試自動化執(zhí)行技術(shù)
    3.1 測試腳本生成技術(shù)
    3.2 測試自動化執(zhí)行技術(shù)
4 基于任務(wù)的艦船裝備軟件測試工具研制
5 實例應(yīng)用
6 結(jié)束語



本文編號：3793508