嵌入式軟件系統測試:基于形式化方法的自動化測試解決方案
本書的主要內容包括:第1章介紹嵌入式系統及軟件的基本概念;第2章介紹嵌入式軟件工程及質量與可靠性的相關知識;第3章系統地介紹基于形式化方法的嵌入式軟件系統測試理論框架及技術;第4章討論實時嵌入式軟件自動化測試描述方法,主要從實時嵌入式軟件測試描述語言的設計及運行機制等方面進行闡述;第5章著重討論智能終端應用(嵌入式)軟件系統測試技術,從Android系統基礎開始,對測試用例生成、回歸測試及壓力測試等方面做了重點講解;第6章重點討論嵌入式軟件系統測試環境構建技術,提出實時嵌入式軟件仿真測試虛擬機規范的設計思路,同時對實時嵌入式軟件仿真測試環境的體系結構設計以及測試執行引擎的設計、實現及效率等進行了探討;第7章給出典型航電系統嵌入式軟件測試實例。本書既可為從事軍用/民用領域嵌入式系統開發、驗證及維護的專業技術人員提供參考,也可作為高等院校計算機、軟件工程、嵌入式系統及相關專業本科生和研究生的參考讀物。
·11.9萬字