電子海圖系統軟件可靠性測試技術研究.pdf

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

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

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

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