本书以开放网络环境下复杂软件的可信性需求为背景, 系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。