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