嵌入式實時操作係統測試理論和方法 pdf epub mobi txt 電子書 下載 2024

圖書介紹


嵌入式實時操作係統測試理論和方法

簡體網頁||繁體網頁
張明傑,雷迅,楊雲 等 著



點擊這裡下載
    

想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-14


類似圖書 點擊查看全場最低價

齣版社: 航空工業齣版社
ISBN:9787516504994
版次:1
商品編碼:11533251
包裝:平裝
開本:16開
齣版時間:2014-07-01
用紙:膠版紙
頁數:239
字數:410000
正文語種:中文

嵌入式實時操作係統測試理論和方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

相關圖書



嵌入式實時操作係統測試理論和方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

嵌入式實時操作係統測試理論和方法 pdf epub mobi txt 電子書 下載



具體描述

內容簡介

  嵌入式實時操作係統在通信、醫療、核電站控製等領域的廣泛應用,使人們越來越關注嵌入式實時操作係統的安全性。目前,係統介紹高安全嵌入式實時操作係統測試理論和方法的文獻還比較少,《嵌入式實時操作係統測試理論和方法》介紹瞭關於高安全嵌入式實時操作係統的測試理論和方法。
  《嵌入式實時操作係統測試理論和方法》以理論為指導,提齣瞭操作係統測試需要解決的問題,證明瞭基於有限狀態機測試策略的正確性,使用動態代碼走查方法提高代碼走查的效率和效果,使用地址監控方法解決臨界保護正確性測試問題。每種測試方法都以理論為指導,測試充分性得到有效保證。
  《嵌入式實時操作係統測試理論和方法》適閤於從事嵌入式操作係統設計和測試的科研人員參考和使用。

內頁插圖

目錄

第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部分 嵌入式實時操作係統測試方法的具體實現
參考文獻

前言/序言


嵌入式實時操作係統測試理論和方法 下載 mobi epub pdf txt 電子書

嵌入式實時操作係統測試理論和方法 pdf epub mobi txt 電子書 下載
想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

嵌入式實時操作係統測試理論和方法 pdf epub mobi txt 電子書 下載


分享鏈接


去京東購買 去京東購買
去淘寶購買 去淘寶購買
去噹噹購買 去噹噹購買
去拼多多購買 去拼多多購買


嵌入式實時操作係統測試理論和方法 bar code 下載
扫码下載





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.coffeedeals.club All Rights Reserved. 靜流書站 版權所有