《決戰阿拉曼》是2014年石油工業出版社出版書籍，作者是耿雪峰。
基本介紹
- 書名：決戰阿拉曼
- 作者：耿雪峰
- ISBN：9787518302246
- 頁數：305
- 出版社：石油工業出版社
- 出版時間：2014-08-26
- 開本：16開
- 版次：1
書籍信息,內容簡介,
書籍信息
叢書名
版次1
印張19
條碼號9787518302246
裝幀平
出版社石油工業出版社
印刷時間2014-08-26
所屬分類社科綜合
頁數305
字數325
開本16開
CIP 數據（2014）第148691號
內容簡介
嵌入式實時作業系統在通信、醫療、核電站控制等領域的廣泛套用，使人們越來越關注嵌入式實時作業系統的安全性。目前，系統介紹高安全嵌入式實時作業系統測試理論和方法的文獻還比較少，《嵌入式實時作業系統測試理論和方法》介紹了關於高安全嵌入式實時作業系統的測試理論和方法。rn《嵌入式實時作業系統測試理論和方法》以理論為指導，提出了作業系統測試需要解決的問題，證明了基於有限狀態機測試策略的正確性，使用動態代碼走查方法提高代碼走查的效率和效果，使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導，測試充分性得到有效保證。rn《嵌入式實時作業系統測試理論和方法》適合於從事嵌入式作業系統設計和測試的科研人員參考和使用。
