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