本書以開放網絡環(huán)境下復雜軟件的可信性需求為背景, 系統(tǒng)的研究和論述復雜軟件系統(tǒng)的可信性分析與驗證的關鍵性理論和技術問題。重點論述了復雜軟件系統(tǒng)及其組合可信性質評價方法、軟件系統(tǒng)過程建模與驗證、軟件系統(tǒng)過程可信性質建模與分析、組合軟件多維可信可信性保障方法等問題。并結合航空電子軟件系統(tǒng)探討了相關方法的實際應用。