嵌入式實(shí)時操作系統(tǒng)測試?yán)碚摵头椒?/h1>

第1章 嵌入式實(shí)時操作系統(tǒng)概述
1.1 操作系統(tǒng)概述
1.1.1 操作系統(tǒng)作用
1.1.2 操作系統(tǒng)發(fā)展簡史
1.2 嵌入式實(shí)時操作系統(tǒng)
1.2.1 嵌入式實(shí)時操作系統(tǒng)的特點(diǎn)
1.2.2 嵌入式實(shí)時操作系統(tǒng)實(shí)例
1.3 本章小結(jié)
第2章 RTEMS嵌入式實(shí)時操作系統(tǒng)
2.1 RTEMS概述
2.2 RTEMS超級內(nèi)核
2.2.1 對象
2.2.2 任務(wù)隊列
2.3 RTEMS功能組件
2.3.1 任務(wù)組件
2.3.2 中斷組件
2.3.3 時鐘組件
2.3.4 定時器組件
2.3.5 進(jìn)程間通信組件
2.3.6 存儲管理組件
2.4 調(diào)度策略
2.4.1 調(diào)度策略控制
2.4.2 任務(wù)狀態(tài)轉(zhuǎn)換
2.5 本章小結(jié)
第2部分 嵌入式實(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 p，。的分類
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 信號量測試案例
3.5.1 常規(guī)測試法
3.5.2 基于有限狀態(tài)機(jī)的測試法
3.5.3 正確性證明
3.6 其他考慮
3.7 本章小結(jié)
第4章 動態(tài)代碼走查方法
4.1 代碼走查定義
4.2 基于軟件動態(tài)執(zhí)行的代碼走查方法DCW
4.2.1 軟件移植
4.2.2 代碼走查
4.3 RTEMS超級內(nèi)核代碼走查
4.3.1 Score移植
4.3.2 Score代碼走查
4.4 本章小結(jié)
第5章 臨界保護(hù)正確性測試
5.1 問題描述
5.2 基于地址監(jiān)控的臨界保護(hù)正確性測試
5.2.1 RTEMS臨界保護(hù)特點(diǎn)
5.2.2 地址監(jiān)控的臨界區(qū)保護(hù)正確性測試
5.2.3 正確性證明
5.2.4 SVAM方法優(yōu)化
5.2.5 Bochs實(shí)現(xiàn)SVAM
……
第3部分 嵌入式實(shí)時操作系統(tǒng)測試方法的具體實(shí)現(xiàn)
參考文獻(xiàn)