內容簡介
軟件可信性度量評估與增強規範是目前計算機科學與軟件工程的一個重要研究領域,其研究成果對可信軟件開發等方向有重大的理論價值和實際意義。《軟件可信性度量評估與增強規範》融入了作者及其研究團隊近十年來承擔完成國家重要研發任務的研究與應用成果,深入繫統地論述了軟件可信性層次化度量模型構建、分級評估體繫設計以及增強規範制定等新研究成果。《軟件可信性度量評估與增強規範》共分為7章,包括:軟件可信性概論、軟件可信性層次化模型、基於屬性的軟件可信性度量模型、面向源代碼的軟件可信性度量模型與規範、軟件可信性量化分級評估方法、軟件可信性增強方法、基於出廠報告的軟件可信性度量評估與增強規範。