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

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

　　符寧多年來從事計算機(jī)科學(xué)軟件及理論的研究，積累了良好的計算機(jī)專業(yè)理論功底和實(shí)踐經(jīng)驗(yàn)。主持航天科學(xué)技術(shù)基金1 項(xiàng)，陜西省重點(diǎn)研發(fā)計劃1 項(xiàng)、中央高校基本科研業(yè)務(wù)費(fèi)項(xiàng)目1 項(xiàng)。