決戰阿拉曼

《決戰阿拉曼》是2014年石油工業出版社出版書籍，作者是耿雪峰。

基本介紹

• 中文名：決戰阿拉曼
• 作者：耿雪峰
• 類別：社科綜合
• 出版社：石油工業出版社
• 出版時間：2014年08月26日
• 頁數：305 頁
• 開本：16 開
• ISBN：9787518302246

內容簡介

嵌入式實時作業系統在通信、醫療、核電站控制等領域的廣泛套用，使人們越來越關注嵌入式實時作業系統的安全性。目前，系統介紹高安全嵌入式實時作業系統測試理論和方法的文獻還比較少，《嵌入式實時作業系統測試理論和方法》介紹了關於高安全嵌入式實時作業系統的測試理論和方法。rn《嵌入式實時作業系統測試理論和方法》以理論為指導，提出了作業系統測試需要解決的問題，證明了基於有限狀態機測試策略的正確性，使用動態代碼走查方法提高代碼走查的效率和效果，使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導，測試充分性得到有效保證。rn《嵌入式實時作業系統測試理論和方法》適合於從事嵌入式作業系統設計和測試的科研人員參考和使用。