數(shù)據(jù)驅(qū)動、堅持為客戶提供有價值的服務和內(nèi)容
本書的主要內(nèi)容包括:第1章介紹嵌入式系統(tǒng)及軟件的基本概念;第2章介紹嵌入式軟件工程及質(zhì)量與可靠性的相關知識;第3章系統(tǒng)地介紹基于形式化方法的嵌入式軟件系統(tǒng)測試理論框架及技術;第4章討論實時嵌入式軟件自動化測試描述方法,主要從實時嵌入式軟件測試描述語言的設計及運行機制等方面進行闡述;第5章著重討論智能終端應用(嵌入式)軟件系統(tǒng)測試技術,從Android系統(tǒng)基礎開始,對測試用例生成、回歸測試及壓力測試等方面做了重點講解;第6章重點討論嵌入式軟件系統(tǒng)測試環(huán)境構建技術,提出實時嵌入式軟件仿真測試虛擬機規(guī)范的