第1部分嵌入式實(shí)時(shí)操作系統(tǒng)的基本原理 
第1章嵌入式實(shí)時(shí)操作系統(tǒng)概述 
1.1操作系統(tǒng)概述 
1.1.1操作系統(tǒng)作用 
1.1.2操作系統(tǒng)發(fā)展簡史 
1.2嵌入式實(shí)時(shí)操作系統(tǒng) 
1.2.1嵌入式實(shí)時(shí)操作系統(tǒng)的特點(diǎn) 
1.2.2嵌入式實(shí)時(shí)操作系統(tǒng)實(shí)例 
1.3本章小結(jié) 
第2章RTEMS嵌入式實(shí)時(shí)操作系統(tǒng) 
2.1RTEMS概述 
2.2RTEMS超級內(nèi)核 
2.2.1對象 
2.2.2任務(wù)隊(duì)列 
2.3RTEMS功能組件 
2.3.1任務(wù)組件 
2.3.2中斷組件 
2.3.3時(shí)鐘組件 
2.3.4定時(shí)器組件 
2.3.5進(jìn)程間通信組件 
2.3.6存儲(chǔ)管理組件 
2.4調(diào)度策略 
2.4.1調(diào)度策略控制 
2.4.2任務(wù)狀態(tài)轉(zhuǎn)換 
2.5本章小結(jié) 
第2部分嵌入式實(shí)時(shí)操作系統(tǒng)測試的理論和方法 
第3章問題和策略 
3.1軟件測試概述 
3.1.1軟件測試過程 
3.1.2軟件測試類型 
3.2操作系統(tǒng)測試特殊性 
3.2.1三角形判定問題描述 
3.2.2三角形判定程序?qū)崿F(xiàn) 
3.2.3三角形判定程序測試 
3.2.4操作系統(tǒng)測試的特殊性 
3.3操作系統(tǒng)測試問題描述 
3.3.1ψprg的特點(diǎn) 
3.3.2ψprg的分類 
3.3.3問題描述 
3.3.4基于獨(dú)立系統(tǒng)調(diào)用的測試方法的不足 
3.4基于資源管理視點(diǎn)的測試策略 
3.4.1資源的表示方法 
3.4.2資源表示的本質(zhì) 
3.4.3問題重新描述 
3.4.4基路徑測試 
3.5信號(hào)量測試案例 
3.5.1常規(guī)測試法 
3.5.2基于有限狀態(tài)機(jī)的測試法 
3.5.3正確性證明 
3.6其他考慮 
3.7本章小結(jié) 
第4章動(dòng)態(tài)代碼走查方法 
4.1代碼走查定義 
4.2基于軟件動(dòng)態(tài)執(zhí)行的代碼走查方法DCW 
4.2.1軟件移植 
4.2.2代碼走查 
4.3RTEMS超級內(nèi)核代碼走查 
4.3.1Score移植 
4.3.2Score代碼走查 
4.4本章小結(jié) 
第5章臨界保護(hù)正確性測試 
5.1問題描述 
5.2基于地址監(jiān)控的臨界保護(hù)正確性測試 
5.2.1RTEMS臨界保護(hù)特點(diǎn) 
5.2.2地址監(jiān)控的臨界區(qū)保護(hù)正確性測試 
5.2.3正確性證明 
5.2.4SVAM方法優(yōu)化 
5.2.5Bochs實(shí)現(xiàn)SVAM 
5.2.6實(shí)際操作 
5.3本章小結(jié) 
第6章基于有限狀態(tài)機(jī)的API測試 
6.1方法概述 
6.2RTEMS有限狀態(tài)機(jī) 
6.2.1固定大小存儲(chǔ)管理有限狀態(tài)機(jī) 
6.2.2可變大小存儲(chǔ)管理有限狀態(tài)機(jī) 
6.2.3事件通信有限狀態(tài)機(jī) 
6.2.4消息隊(duì)列有限狀態(tài)機(jī) 
6.2.5信號(hào)量有限狀態(tài)機(jī) 
6.2.6異步信號(hào)有限狀態(tài)機(jī) 
6.2.7BARRIER通信有限狀態(tài)機(jī) 
6.2.8任務(wù)管理有限狀態(tài)機(jī) 
6.3狀態(tài)樹 
6.3.1分區(qū)狀態(tài)樹 
6.3.2堆狀態(tài)樹 
6.3.3事件狀態(tài)樹 
6.3.4消息隊(duì)列狀態(tài)樹 
6.3.5信號(hào)量狀態(tài)樹 
6.3.6異步信號(hào)狀態(tài)樹 
6.3.7BARRIER狀態(tài)樹 
6.3.8任務(wù)管理狀態(tài)樹 
6.4測試用例設(shè)計(jì) 
6.5本章小結(jié) 
第3部分嵌入式實(shí)時(shí)操作系統(tǒng)測試方法的具體實(shí)現(xiàn) 
第7章構(gòu)建測試環(huán)境 
7.1安裝VMware虛擬機(jī) 
7.2安裝Linux操作系統(tǒng) 
7.3安裝RTEMS交叉編譯環(huán)境 
7.4編譯RTEMS操作系統(tǒng) 
7.5本章小結(jié) 
第8章測試程序設(shè)計(jì) 
8.1測試程序架構(gòu) 
8.2RMMT詳細(xì)設(shè)計(jì) 
8.2.1分區(qū)創(chuàng)建測試 
8.2.2分區(qū)刪除測試 
8.2.3獲取分區(qū)ID測試 
8.2.4分區(qū)申請緩沖測試 
8.2.5分區(qū)釋放緩沖測試 
8.2.6狀態(tài)轉(zhuǎn)換測試 
8.2.7程序文件結(jié)構(gòu)和編譯指令 
8.3分區(qū)測試運(yùn)行效果 
8.4本章小結(jié) 
第9章測試結(jié)果分析 
9.1測試結(jié)果統(tǒng)計(jì) 
9.2典型問題分析 
9.2.1自動(dòng)釋放BARRIER任務(wù)問題 
9.2.2任務(wù)在休眠狀態(tài)下掛起問題 
9.2.3雙口地址映射錯(cuò)誤問題 
9.2.4堆擴(kuò)展后及時(shí)分配問題 
9.2.5優(yōu)先級變化后堆及時(shí)分配問題 
9.3復(fù)雜度的搶占式資源隊(duì)列調(diào)度 
9.3.1問題提出 
9.3.2搶占式資源調(diào)度 
9.3.3具體實(shí)現(xiàn) 
9.4本章小結(jié) 
第10章有限狀態(tài)機(jī)測試程序源代碼 
10.1堆存儲(chǔ)有限狀態(tài)機(jī)測試 
10.2信號(hào)量有限狀態(tài)機(jī)測試 
參考文獻(xiàn)