電子海圖系統(tǒng)軟件可靠性測試技術(shù)研究.pdf

1、電子海圖系統(tǒng)是二十世紀(jì)航海、導(dǎo)航領(lǐng)域出現(xiàn)的一項(xiàng)新技術(shù)，它可以及時(shí)的提供各類海上信息，有效地保證海運(yùn)船舶的安全。隨著電子海圖系統(tǒng)在海上交通、海港規(guī)劃、海上污染清理、船舶調(diào)度、海上搜救、航路導(dǎo)航、海洋漁業(yè)及海上指揮等領(lǐng)域的應(yīng)用日益增多，對(duì)電子海圖系統(tǒng)軟件可靠性的要求也越來越高。
　　 軟件可靠性測試是保證軟件可靠性過程中至關(guān)重要的一步，是提高軟件可靠性最有效的方法，本課題以電子海圖系統(tǒng)為研究對(duì)象，對(duì)軟件可靠性測試過程中的關(guān)鍵技術(shù)進(jìn)行

2、研究完善，主要研究內(nèi)容如下：
　　 (1)研究軟件可靠性測試相關(guān)理論，重點(diǎn)研究軟件可靠性度量方法，可靠性測試過程，可靠性測試特點(diǎn)，分析可靠性測試用例建模方法，確定適合本課題的可靠性測試用例生成模型，設(shè)計(jì)電子海圖系統(tǒng)軟件可靠性測試的框架。
　　 (2)研究軟件的剖面構(gòu)造技術(shù)，分析傳統(tǒng)的操作剖面的局限性，針對(duì)局限性對(duì)操作剖面進(jìn)行擴(kuò)展，進(jìn)而提出操作序列剖面的概念及構(gòu)造方法，完成電子海圖系統(tǒng)的操作序列構(gòu)造。
　　 (3)

3、研究軟件可靠性增長測試技術(shù)，重點(diǎn)研究可靠性增長測試方法的選擇策略，可靠性增長測試用例生成，可靠性增長測試充分性判斷。完善基于可靠度的測試度量方法，并綜合對(duì)比基于P-測度、基于E-測度、基于可靠性三種軟件測試度量方法，提出電子海圖系統(tǒng)可靠性增長測試方法的選擇策略，完成電子海圖系統(tǒng)軟件可靠性增長測試，記錄并分析測試結(jié)果。
　　 (4)研究軟件可靠性驗(yàn)證測試，給出基于先驗(yàn)貝葉斯的可靠性驗(yàn)證測試模型，重點(diǎn)研究如何確定貝葉斯模型中先驗(yàn)分布

4、。綜合考慮不同的先驗(yàn)信息，采用線性混合的方法對(duì)先驗(yàn)分布的確定方法進(jìn)行改進(jìn)，并仿真驗(yàn)證改進(jìn)方法的有效性。
　　 (5)依據(jù)可靠性增長測試階段的先驗(yàn)信息，確定電子海圖系統(tǒng)失效率的先驗(yàn)分布，通過先驗(yàn)貝葉斯模型確定在給定可靠性指標(biāo)下，電子海圖系統(tǒng)所需的最少可靠性驗(yàn)證測試量，與傳統(tǒng)的統(tǒng)計(jì)方法和無先驗(yàn)信息的貝葉斯方法進(jìn)行對(duì)比，驗(yàn)證基于先驗(yàn)貝葉斯的可靠性驗(yàn)證模型可以有效的降低測試量，并依照先驗(yàn)貝葉斯的驗(yàn)證模型對(duì)電子海圖系統(tǒng)進(jìn)行可靠性驗(yàn)證測試。