復雜軟件系統(tǒng)可信性分析與驗證方法

　　以通信、存儲和計算為核心的信息基礎設施已經(jīng)滲透到政治、經(jīng)濟、軍事、文化以及社會生活的各個層面，成為當代生產(chǎn)力發(fā)展和人類文明進步的強大動力。軟件是信息基礎設施的靈魂，隨著人們對功能需求的不斷增加，軟件系統(tǒng)變得日趨龐大和難以駕駛，缺陷和漏洞難以避免，系統(tǒng)越來越脆弱，很多時候不以人們期望的方式工作，經(jīng)常發(fā)生各種故障和失效，直接或間接地給用戶帶來損失。在開放動態(tài)網(wǎng)絡環(huán)境中，如何保證復雜軟件系統(tǒng)的可信性是近年來學術界和工業(yè)界非常關注的問題。本書以開放網(wǎng)絡環(huán)境下復雜軟件的可信性需求為背景，系統(tǒng)的研究和論述復雜軟件系統(tǒng)的可信性分析與驗證的關鍵性理論和技術問題。重點論述了復雜軟件系統(tǒng)及其組合可信性質評價方法、軟件系統(tǒng)過程建模與驗證、軟件系統(tǒng)過程可信性質建模與分析、組合軟件多維可信可信性保障方法等問題。并結合航空電子軟件系統(tǒng)探討了相關方法的實際應用。論著以國家關鍵應用領域中復雜軟件系統(tǒng)的可信性主題為主攻目標，分析、研究和解決相關科學問題，旨在為提高國家重大工程中的軟件可信度提供科學支撐。著述從可信性分析的角度入手系統(tǒng)論述復雜軟件系統(tǒng)的分析與驗證方法；系統(tǒng)的論述了形式化方法在復雜軟件系統(tǒng)中建模、分析與驗證的理論和方法；所論述的理論和方法具有一定的理論創(chuàng)新性；并結合航空電子軟件系統(tǒng)這一典型的復雜軟件系統(tǒng)進行所論述方法的實例分析，具有較高的理論意義和應用價值。本書面向軟件工程、軟件可信性方向的研究人員，軟件工程方向的高年級研究生，和工業(yè)界對軟件產(chǎn)品高可靠性有要求的技術人員。

　　符寧多年來從事計算機科學軟件及理論的研究，積累了良好的計算機專業(yè)理論功底和實踐經(jīng)驗。主持航天科學技術基金1 項，陜西省重點研發(fā)計劃1 項、中央高?；究蒲袠I(yè)務費項目1 項。