嵌入式軟件系統測試：基於形式化方法的自動化測試解決方案
殷永峯 姜博編著
264人在讀
17.9萬字總字數
¥47.4定價
殷永峯 姜博編著
本書的主要內容包括：第1章介紹嵌入式系統及軟件的基本概念；第2章介紹嵌入式軟件工程及質量與可靠性的相關知識；第3章系統地介紹基於形式化方法的嵌入式軟件系統測試理論框架及技術；第4章討論實時嵌入式軟件自動化測試描述方法，主要從實時嵌入式軟件測試描述語言的設計及運行機制等方面進行闡述；第5章着重討論智能終端應用（嵌入式）軟件系統測試技術，從Android系統基礎開始，對測試用例生成、迴歸測試及壓力測試等方面做了重點講解；第6章重點討論嵌入式軟件系統測試環境構建技術，提出實時嵌入式軟件仿真測試虛擬機規範的設計思路，同時對實時嵌入式軟件仿真測試環境的體系結構設計以及測試執行引擎的設計、實現及效率等進行了探討；第7章給出典型航電系統嵌入式軟件測試實例。本書既可爲從事軍用/民用領域嵌入式系統開發、驗證及維護的專業技術人員提供參考，也可作爲高等院校計算機、軟件工程、嵌入式系統及相關專業本科生和研究生的參考讀物。
看到兩個評價了“不行”，但是沒講原因，還是好奇讀了一下，才明白什麼叫“掉書袋”什麼叫“二無是處”。看似高深，實則囉哩囉嗦不講重點。 給不信邪的朋友一點建議，先看附錄4，看看都是個什麼玩意。
作爲formal methods入門還是可以的，但是沒有關於軟件建模的內容，感覺應該聊klee和nusmv吧最少
全篇都是無用的理論知識，沒有落地方案