《航天型號嵌入式軟件驗證技術(shù)與實踐》分別從航天型號嵌入式軟件概述、軟件開發(fā)通用要求、軟件測試要求、軟件測試技術(shù)、軟件驗證實踐與經(jīng)驗、軟件驗證展望等角度描述航天型號嵌入式軟件的驗證現(xiàn)狀。
　　在《航天型號嵌入式軟件驗證技術(shù)與實踐》撰寫過程中，參考了大量的相關(guān)資料，并結(jié)合多年的實踐經(jīng)驗，力求內(nèi)容具有實用性、針對性和可操作性。全書論述了航天嵌入式軟件的驗證過程和理論，并緊密結(jié)合實踐，為了幫助讀者更好地了解工程實踐，書中詳細(xì)列舉了大量的豐富示例，給予讀者一定的啟發(fā)和幫助。