《和平万岁--第二次世界大战图文典藏本：决战阿拉曼》 - 耿雪峰编著 - Meg Book Store - 香港.大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台( 0 )　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書

『簡體書』和平万岁--第二次世界大战图文典藏本：决战阿拉曼

書城自編碼： 2459394
分類：簡體書→大陸圖書→政治/軍事→軍事
作者：耿雪峰编著
國際書號(ISBN)： 9787518302246
出版社：石油工业出版社
出版日期： 2014-08-01
版次： 1 印次： 1
頁數/字數： 288/325000
書度/開本： 16开釘裝：平装

售價：HK$ 93.6

我要買件

** 我創建的書架 **
未登入.

新書推薦：

半导体纳米器件：物理、技术和应用

《半导体纳米器件：物理、技术和应用》
售價：HK$ 177.0

创客精选项目设计与制作第2版刘笑笑颜志勇严国陶

《创客精选项目设计与制作第2版刘笑笑颜志勇严国陶》
售價：HK$ 61.6

佛山华家班粤菜传承华家班59位大厨 102道粤菜图文并茂菜式制作视频粤菜故事技法佛山传统文化广东科技

《佛山华家班粤菜传承华家班59位大厨 102道粤菜图文并茂菜式制作视频粤菜故事技法佛山传统文化广东科技》
售價：HK$ 221.8

武人琴音（十周年纪念版逝去的武林系列收官之作形意拳一门三代：尚云祥、韩伯言、韩瑜的人生故事凸显百年武人命运）

《武人琴音（十周年纪念版逝去的武林系列收官之作形意拳一门三代：尚云祥、韩伯言、韩瑜的人生故事凸显百年武人命运）》
售價：HK$ 43.7

剑桥斯堪的纳维亚戏剧史（剑桥世界戏剧史译丛）

《剑桥斯堪的纳维亚戏剧史（剑桥世界戏剧史译丛）》
售價：HK$ 154.6

禅心与箭术：过松弛而有力的生活（乔布斯精神导师、世界禅者——铃木大拙荐）

《禅心与箭术：过松弛而有力的生活（乔布斯精神导师、世界禅者——铃木大拙荐）》
售價：HK$ 66.1

先进电磁屏蔽材料——基础、性能与应用

《先进电磁屏蔽材料——基础、性能与应用》
售價：HK$ 221.8

王氏之死（新版，史景迁成名作）

《王氏之死（新版，史景迁成名作）》
售價：HK$ 54.9

建議一齊購買：

+

HK$ 59.7
《战场决胜者003：线式战术时代》

+

HK$ 93.6
《和平万岁--第二次世界大战图文典藏本：闪击苏联》

+

HK$ 93.6
《和平万岁--第二次世界大战图文典藏本：诺曼底大登陆》

+

HK$ 93.6
《和平万岁--第二次世界大战图文典藏本：狼腾大西洋》

+

HK$ 93.6
《和平万岁--第二次世界大战图文典藏本：阿登反击战》

+

HK$ 93.6
《中途岛大海战（和平万岁--第二次世界大战图文典藏本）（英国》

內容簡介：

嵌入式实时操作系统在通信、医疗、核电站控制等领域的广泛应用，使人们越来越关注嵌入式实时操作系统的安全性。目前，系统介绍高安全嵌入式实时操作系统测试理论和方法的文献还比较少，《嵌入式实时操作系统测试理论和方法》介绍了关于高安全嵌入式实时操作系统的测试理论和方法。
《嵌入式实时操作系统测试理论和方法》以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。
《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。

目錄：

第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部分嵌入式实时操作系统测试方法的具体实现
参考文献

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户

megBook.com.hk

Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.