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