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

第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.1 RTEMS概述
2.2 RTEMS超級(jí)內(nèi)核
2.2.1 對(duì)象
2.2.2 任務(wù)隊(duì)列
2.3 RTEMS功能組件
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)測(cè)試的理論和方法
第3章 問題和策略
3.1 軟件測(cè)試概述
3.1.1 軟件測(cè)試過程
3.1.2 軟件測(cè)試類型
3.2 操作系統(tǒng)測(cè)試特殊性
3.2.1 三角形判定問題描述
3.2.2 三角形判定程序?qū)崿F(xiàn)
3.2.3 三角形判定程序測(cè)試
3.2.4 操作系統(tǒng)測(cè)試的特殊性
3.3 操作系統(tǒng)測(cè)試問題描述
3.3.1 prg的特點(diǎn)
3.3.2 p，。的分類
3.3.3 問題描述
3.3.4 基于獨(dú)立系統(tǒng)調(diào)用的測(cè)試方法的不足
3.4 基于資源管理視點(diǎn)的測(cè)試策略
3.4.1 資源的表示方法
3.4.2 資源表示的本質(zhì)
3.4.3 問題重新描述
3.4.4 基路徑測(cè)試
3.5 信號(hào)量測(cè)試案例
3.5.1 常規(guī)測(cè)試法
3.5.2 基于有限狀態(tài)機(jī)的測(cè)試法
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.3 RTEMS超級(jí)內(nèi)核代碼走查
4.3.1 Score移植
4.3.2 Score代碼走查
4.4 本章小結(jié)
第5章 臨界保護(hù)正確性測(cè)試
5.1 問題描述
5.2 基于地址監(jiān)控的臨界保護(hù)正確性測(cè)試
5.2.1 RTEMS臨界保護(hù)特點(diǎn)
5.2.2 地址監(jiān)控的臨界區(qū)保護(hù)正確性測(cè)試
5.2.3 正確性證明
5.2.4 SVAM方法優(yōu)化
5.2.5 Bochs實(shí)現(xiàn)SVAM
……
第3部分 嵌入式實(shí)時(shí)操作系統(tǒng)測(cè)試方法的具體實(shí)現(xiàn)
參考文獻(xiàn)