軟件可靠性測試充分性的研究.pdf

1、目前，隨著計(jì)算機(jī)的普及以及各種軟件在各行各業(yè)中的廣泛應(yīng)用，尤其是在航空航天和銀行中的應(yīng)用，使軟件的可靠性和軟件開發(fā)的總成本問題成為人們?nèi)找骊P(guān)注的焦點(diǎn)。而這兩方面的問題又與軟件可靠性測試和軟件的發(fā)布時(shí)間緊密相關(guān)。因此，研究軟件的可靠性測試有著重要的實(shí)際意義。
　　 根據(jù)軟件的可靠性測試的概念，成功的可靠性測試必須解決以下問題：軟件測試用例生成、軟件測試環(huán)境的實(shí)現(xiàn)，特別是軟件的仿真測試環(huán)境的實(shí)現(xiàn)、什么時(shí)候停止測試以及軟件可靠性評(píng)估。

2、本文針對軟件可靠性測試，圍繞軟件可靠性測試的基本概念和理論，遺傳算法生成測試用例和軟件可靠性測試數(shù)據(jù)充分性等相關(guān)問題開展了研究。
　　 1. 系統(tǒng)地研究了軟件可靠性測試的定義和概念，問題研究意義，背景和研究現(xiàn)狀。并且對軟件的測試用例以及軟件可靠性測試的充分性等問題展開了研究。
　　 2. 詳細(xì)研究了當(dāng)前產(chǎn)生測試用例的方法，包括基于Z語言描述的規(guī)格、基于模型等。在此研究基礎(chǔ)上運(yùn)用遺傳算法的理論，改進(jìn)了一種基于遺傳算法產(chǎn)生測