《嵌入式實時作業系統測試理論和方法》以理論為指導，提出了作業系統測試需要解決的問題，證明了基於有限狀態機測試策略的正確性，使用動態代碼走查方法提高代碼走查的效率和效果，使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導，測試充分性得到有效保證。《嵌入式實時作業系統測試理論和方法》適合於從事嵌入式作業系統設計和測試的科研人員參考和使用。
基本介紹
- 書名：嵌入式實時作業系統測試理論和方法
- 類型：計算機與網際網路
- 出版日期：2014年7月1日
- 語種：簡體中文
- ISBN：9787516504994
- 作者：張明傑 雷迅
- 出版社：航空工業出版社
- 頁數：239頁
- 開本：16
- 品牌：航空工業出版社
內容簡介,圖書目錄,
內容簡介
《嵌入式實時作業系統測試理論和方法》編輯推薦：嵌入式實時作業系統在通信、醫療、核電站控制等領域的廣泛套用，使人們越來越關注嵌入式實時作業系統的安全性。目前，系統介紹高安全嵌入式實時作業系統測試理論和方法的文獻還比較少，《嵌入式實時作業系統測試理論和方法》介紹了關於高安全嵌人式實時作業系統的測試理論和方法。
圖書目錄
第1部分嵌入式實時作業系統的基本原理
第1章嵌入式實時作業系統概述
1.1作業系統概述
1.1.1作業系統作用
1.1.2作業系統發展簡史
1.2嵌入式實時作業系統
1.2.1嵌入式實時作業系統的特點
1.2.2嵌入式實時作業系統實例
1.3本章小結
第2章RTEMS嵌入式實時作業系統
2.1RTEMS概述
2.2RTEMS超級核心
2.2.1對象
2.2.2任務佇列
2.3RTEMS功能組件
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ψprg的分類
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.3RTEMS超級核心代碼走查
4.3.1Score移植
4.3.2Score代碼走查
4.4本章小結
第5章臨界保護正確性測試
5.1問題描述
5.2基於地址監控的臨界保護正確性測試
5.2.1RTEMS臨界保護特點
5.2.2地址監控的臨界區保護正確性測試
5.2.3正確性證明
5.2.4SVAM方法最佳化
5.2.5Bochs實現SVAM
5.2.6實際操作
5.3本章小結
第6章基於有限狀態機的API測試
6.1方法概述
6.2RTEMS有限狀態機
6.2.1固定大小存儲管理有限狀態機
6.2.2可變大小存儲管理有限狀態機
6.2.3事件通信有限狀態機
6.2.4訊息佇列有限狀態機
6.2.5信號量有限狀態機
6.2.6異步信號有限狀態機
6.2.7BARRIER通信有限狀態機
6.2.8任務管理有限狀態機
6.3狀態樹
6.3.1分區狀態樹
6.3.2堆狀態樹
6.3.3事件狀態樹
6.3.4訊息佇列狀態樹
6.3.5信號量狀態樹
6.3.6異步信號狀態樹
6.3.7BARRIER狀態樹
6.3.8任務管理狀態樹
6.4測試用例設計
6.5本章小結
第3部分嵌入式實時作業系統測試方法的具體實現
第7章構建測試環境
7.1安裝VMware虛擬機
7.2安裝Linux作業系統
7.3安裝RTEMS交叉編譯環境
7.4編譯RTEMS作業系統
7.5本章小結
第8章測試程式設計
8.1測試程式架構
8.2RMMT詳細設計
8.2.1分區創建測試
8.2.2分區刪除測試
8.2.3獲取分區ID測試
8.2.4分區申請緩衝測試
8.2.5分區釋放緩衝測試
8.2.6狀態轉換測試
8.2.7程式檔案結構和編譯指令
8.3分區測試運行效果
8.4本章小結
第9章測試結果分析
9.1測試結果統計
9.2典型問題分析
9.2.1自動釋放BARRIER任務問題
9.2.2任務在休眠狀態下掛起問題
9.2.3雙口地址映射錯誤問題
9.2.4堆擴展後及時分配問題
9.2.5優先權變化後堆及時分配問題
9.3複雜度的搶占式資源佇列調度
9.3.1問題提出
9.3.2搶占式資源調度
9.3.3具體實現
9.4本章小結
第10章有限狀態機測試程式原始碼
10.1堆存儲有限狀態機測試
10.2信號量有限狀態機測試
參考文獻
第1章嵌入式實時作業系統概述
1.1作業系統概述
1.1.1作業系統作用
1.1.2作業系統發展簡史
1.2嵌入式實時作業系統
1.2.1嵌入式實時作業系統的特點
1.2.2嵌入式實時作業系統實例
1.3本章小結
第2章RTEMS嵌入式實時作業系統
2.1RTEMS概述
2.2RTEMS超級核心
2.2.1對象
2.2.2任務佇列
2.3RTEMS功能組件
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ψprg的分類
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.3RTEMS超級核心代碼走查
4.3.1Score移植
4.3.2Score代碼走查
4.4本章小結
第5章臨界保護正確性測試
5.1問題描述
5.2基於地址監控的臨界保護正確性測試
5.2.1RTEMS臨界保護特點
5.2.2地址監控的臨界區保護正確性測試
5.2.3正確性證明
5.2.4SVAM方法最佳化
5.2.5Bochs實現SVAM
5.2.6實際操作
5.3本章小結
第6章基於有限狀態機的API測試
6.1方法概述
6.2RTEMS有限狀態機
6.2.1固定大小存儲管理有限狀態機
6.2.2可變大小存儲管理有限狀態機
6.2.3事件通信有限狀態機
6.2.4訊息佇列有限狀態機
6.2.5信號量有限狀態機
6.2.6異步信號有限狀態機
6.2.7BARRIER通信有限狀態機
6.2.8任務管理有限狀態機
6.3狀態樹
6.3.1分區狀態樹
6.3.2堆狀態樹
6.3.3事件狀態樹
6.3.4訊息佇列狀態樹
6.3.5信號量狀態樹
6.3.6異步信號狀態樹
6.3.7BARRIER狀態樹
6.3.8任務管理狀態樹
6.4測試用例設計
6.5本章小結
第3部分嵌入式實時作業系統測試方法的具體實現
第7章構建測試環境
7.1安裝VMware虛擬機
7.2安裝Linux作業系統
7.3安裝RTEMS交叉編譯環境
7.4編譯RTEMS作業系統
7.5本章小結
第8章測試程式設計
8.1測試程式架構
8.2RMMT詳細設計
8.2.1分區創建測試
8.2.2分區刪除測試
8.2.3獲取分區ID測試
8.2.4分區申請緩衝測試
8.2.5分區釋放緩衝測試
8.2.6狀態轉換測試
8.2.7程式檔案結構和編譯指令
8.3分區測試運行效果
8.4本章小結
第9章測試結果分析
9.1測試結果統計
9.2典型問題分析
9.2.1自動釋放BARRIER任務問題
9.2.2任務在休眠狀態下掛起問題
9.2.3雙口地址映射錯誤問題
9.2.4堆擴展後及時分配問題
9.2.5優先權變化後堆及時分配問題
9.3複雜度的搶占式資源佇列調度
9.3.1問題提出
9.3.2搶占式資源調度
9.3.3具體實現
9.4本章小結
第10章有限狀態機測試程式原始碼
10.1堆存儲有限狀態機測試
10.2信號量有限狀態機測試
參考文獻
