滿額折
決戰阿拉曼（簡體書）
- 系列名：和平萬歲：第二次世界大戰圖文典藏本
- ISBN13：9787518302246
- 出版社：石油工業出版社
- 作者：耿雪峰
- 裝訂／頁數：平裝／288頁
- 規格：23.5cm*16.8cm (高/寬)
- 版次：1
- 出版日：2014/08/01
相關商品
商品簡介
目次
商品簡介
嵌入式實時操作系統在通信、醫療、核電站控制等領域的廣泛應用，使人們越來越關注嵌入式實時操作系統的安全性。目前，系統介紹高安全嵌入式實時操作系統測試理論和方法的文獻還比較少，《嵌入式實時操作系統測試理論和方法》介紹了關于高安全嵌入式實時操作系統的測試理論和方法。
《嵌入式實時操作系統測試理論和方法》以理論為指導，提出了操作系統測試需要解決的問題，證明了基于有限狀態機測試策略的正確性，使用動態代碼走查方法提高代碼走查的效率和效果，使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導，測試充分性得到有效保證。
《嵌入式實時操作系統測試理論和方法》適合于從事嵌入式操作系統設計和測試的科研人員參考和使用。
《嵌入式實時操作系統測試理論和方法》以理論為指導，提出了操作系統測試需要解決的問題，證明了基于有限狀態機測試策略的正確性，使用動態代碼走查方法提高代碼走查的效率和效果，使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導，測試充分性得到有效保證。
《嵌入式實時操作系統測試理論和方法》適合于從事嵌入式操作系統設計和測試的科研人員參考和使用。
目次
第1部分 嵌入式實時操作系統的基本原理
第1章 嵌入式實時操作系統概述
1.1 操作系統概述
1.1.1 操作系統作用
1.1.2 操作系統發展簡史
1.2 嵌入式實時操作系統
1.2.1 嵌入式實時操作系統的特點
1.2.2 嵌入式實時操作系統實例
1.3 本章小結
第2章 RTEMS嵌入式實時操作系統
2.1 RTEMS概述
2.2 RTEMS超級內核
2.2.1 對象
2.2.2 任務隊列
2.3 RTEMS功能組件 第1部分 嵌入式實時操作系統的基本原理
第1章 嵌入式實時操作系統概述
1.1 操作系統概述
1.1.1 操作系統作用
1.1.2 操作系統發展簡史
1.2 嵌入式實時操作系統
1.2.1 嵌入式實時操作系統的特點
1.2.2 嵌入式實時操作系統實例
1.3 本章小結
第2章 RTEMS嵌入式實時操作系統
2.1 RTEMS概述
2.2 RTEMS超級內核
2.2.1 對象
2.2.2 任務隊列
2.3 RTEMS功能組件
2.3.1 任務組件
2.3.2 中斷組件
2.3.3 時鐘組件
2.3.4 定時器組件
2.3.5 進程間通信組件
2.3.6 存儲管理組件
2.4 調度策略
2.4.1 調度策略控制
2.4.2 任務狀態轉換
2.5 本章小結
第2部分 嵌入式實時操作系統測試的理論和方法
第3章 問題和策略
3.1 軟件測試概述
3.1.1 軟件測試過程
3.1.2 軟件測試類型
3.2 操作系統測試特殊性
3.2.1 三角形判定問題描述
3.2.2 三角形判定程序實現
3.2.3 三角形判定程序測試
3.2.4 操作系統測試的特殊性
3.3 操作系統測試問題描述
3.3.1 prg的特點
3.3.2 p，。的分類
3.3.3 問題描述
3.3.4 基于獨立系統調用的測試方法的不足
3.4 基于資源管理視點的測試策略
3.4.1 資源的表示方法
3.4.2 資源表示的本質
3.4.3 問題重新描述
3.4.4 基路徑測試
3.5 信號量測試案例
3.5.1 常規測試法
3.5.2 基于有限狀態機的測試法
3.5.3 正確性證明
3.6 其他考慮
3.7 本章小結
第4章 動態代碼走查方法
4.1 代碼走查定義
4.2 基于軟件動態執行的代碼走查方法DCW
4.2.1 軟件移植
4.2.2 代碼走查
4.3 RTEMS超級內核代碼走查
4.3.1 Score移植
4.3.2 Score代碼走查
4.4 本章小結
第5章 臨界保護正確性測試
5.1 問題描述
5.2 基于地址監控的臨界保護正確性測試
5.2.1 RTEMS臨界保護特點
5.2.2 地址監控的臨界區保護正確性測試
5.2.3 正確性證明
5.2.4 SVAM方法優化
5.2.5 Bochs實現SVAM
……
第3部分 嵌入式實時操作系統測試方法的具體實現
參考文獻
第1章 嵌入式實時操作系統概述
1.1 操作系統概述
1.1.1 操作系統作用
1.1.2 操作系統發展簡史
1.2 嵌入式實時操作系統
1.2.1 嵌入式實時操作系統的特點
1.2.2 嵌入式實時操作系統實例
1.3 本章小結
第2章 RTEMS嵌入式實時操作系統
2.1 RTEMS概述
2.2 RTEMS超級內核
2.2.1 對象
2.2.2 任務隊列
2.3 RTEMS功能組件 第1部分 嵌入式實時操作系統的基本原理
第1章 嵌入式實時操作系統概述
1.1 操作系統概述
1.1.1 操作系統作用
1.1.2 操作系統發展簡史
1.2 嵌入式實時操作系統
1.2.1 嵌入式實時操作系統的特點
1.2.2 嵌入式實時操作系統實例
1.3 本章小結
第2章 RTEMS嵌入式實時操作系統
2.1 RTEMS概述
2.2 RTEMS超級內核
2.2.1 對象
2.2.2 任務隊列
2.3 RTEMS功能組件
2.3.1 任務組件
2.3.2 中斷組件
2.3.3 時鐘組件
2.3.4 定時器組件
2.3.5 進程間通信組件
2.3.6 存儲管理組件
2.4 調度策略
2.4.1 調度策略控制
2.4.2 任務狀態轉換
2.5 本章小結
第2部分 嵌入式實時操作系統測試的理論和方法
第3章 問題和策略
3.1 軟件測試概述
3.1.1 軟件測試過程
3.1.2 軟件測試類型
3.2 操作系統測試特殊性
3.2.1 三角形判定問題描述
3.2.2 三角形判定程序實現
3.2.3 三角形判定程序測試
3.2.4 操作系統測試的特殊性
3.3 操作系統測試問題描述
3.3.1 prg的特點
3.3.2 p，。的分類
3.3.3 問題描述
3.3.4 基于獨立系統調用的測試方法的不足
3.4 基于資源管理視點的測試策略
3.4.1 資源的表示方法
3.4.2 資源表示的本質
3.4.3 問題重新描述
3.4.4 基路徑測試
3.5 信號量測試案例
3.5.1 常規測試法
3.5.2 基于有限狀態機的測試法
3.5.3 正確性證明
3.6 其他考慮
3.7 本章小結
第4章 動態代碼走查方法
4.1 代碼走查定義
4.2 基于軟件動態執行的代碼走查方法DCW
4.2.1 軟件移植
4.2.2 代碼走查
4.3 RTEMS超級內核代碼走查
4.3.1 Score移植
4.3.2 Score代碼走查
4.4 本章小結
第5章 臨界保護正確性測試
5.1 問題描述
5.2 基于地址監控的臨界保護正確性測試
5.2.1 RTEMS臨界保護特點
5.2.2 地址監控的臨界區保護正確性測試
5.2.3 正確性證明
5.2.4 SVAM方法優化
5.2.5 Bochs實現SVAM
……
第3部分 嵌入式實時操作系統測試方法的具體實現
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。