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

　　以通信、存儲(chǔ)和計(jì)算為核心的信息基礎(chǔ)設(shè)施已經(jīng)滲透到政治、經(jīng)濟(jì)、軍事、文化以及社會(huì)生活的各個(gè)層面，成為當(dāng)代生產(chǎn)力發(fā)展和人類文明進(jìn)步的強(qiáng)大動(dòng)力。軟件是信息基礎(chǔ)設(shè)施的靈魂，隨著人們對(duì)功能需求的不斷增加，軟件系統(tǒng)變得日趨龐大和難以駕駛，缺陷和漏洞難以避免，系統(tǒng)越來(lái)越脆弱，很多時(shí)候不以人們期望的方式工作，經(jīng)常發(fā)生各種故障和失效，直接或間接地給用戶帶來(lái)?yè)p失。在開(kāi)放動(dòng)態(tài)網(wǎng)絡(luò)環(huán)境中，如何保證復(fù)雜軟件系統(tǒng)的可信性是近年來(lái)學(xué)術(shù)界和工業(yè)界非常關(guān)注的問(wèn)題。本書(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)用。論著以國(guó)家關(guān)鍵應(yīng)用領(lǐng)域中復(fù)雜軟件系統(tǒng)的可信性主題為主攻目標(biāo)，分析、研究和解決相關(guān)科學(xué)問(wèn)題，旨在為提高國(guó)家重大工程中的軟件可信度提供科學(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)用價(jià)值。本書(shū)面向軟件工程、軟件可信性方向的研究人員，軟件工程方向的高年級(jí)研究生，和工業(yè)界對(duì)軟件產(chǎn)品高可靠性有要求的技術(shù)人員。

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