点击选择搜索分类
首页 - 高三- 正文
☆☆☆☆☆
||
张明杰,雷迅,杨云 等 著
出版社: 航空工业出版社 ISBN:9787516504994 版次:1 商品编码:11533251 包装:平装 开本:16开 出版时间:2014-07-01 用纸:胶版纸 页数:239 字数:410000 正文语种:中文
《嵌入式实时操作系统测试理论和方法》以理论为指导,提出了操作系统测试需要解决的问题,证明了基于有限状态机测试策略的正确性,使用动态代码走查方法提高代码走查的效率和效果,使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导,测试充分性得到有效保证。
《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。
第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
嵌入式实时操作系统测试理论和方法-so88
嵌入式实时操作系统测试理论和方法 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
张明杰,雷迅,杨云 等 著
出版社: 航空工业出版社 ISBN:9787516504994 版次:1 商品编码:11533251 包装:平装 开本:16开 出版时间:2014-07-01 用纸:胶版纸 页数:239 字数:410000 正文语种:中文
内容简介
嵌入式实时操作系统在通信、医疗、核电站控制等领域的广泛应用,使人们越来越关注嵌入式实时操作系统的安全性。目前,系统介绍高安全嵌入式实时操作系统测试理论和方法的文献还比较少,《嵌入式实时操作系统测试理论和方法》介绍了关于高安全嵌入式实时操作系统的测试理论和方法。《嵌入式实时操作系统测试理论和方法》以理论为指导,提出了操作系统测试需要解决的问题,证明了基于有限状态机测试策略的正确性,使用动态代码走查方法提高代码走查的效率和效果,使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导,测试充分性得到有效保证。
《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。
内页插图
目录
第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
电子书下载地址:
相关电子书推荐:
- 文件名
- 你不可不知的50个物理知识 9787115224217
- 小蝴蝶小披风
- 向量优化问题的适定性研究及相关分析 出版社:西南财经大学出版社
- 心血管疾病预防与康复临床路径丛书·营养管理
- 推动丛书物理系列:宇宙的结构 【美】布莱恩R.格林
- 京东自营 正版认证 销售单位全科医学概论 人卫版 第四4版 祝墡珠 人民卫生出版社 本科临床/十二
- 高中数理化概念公式定理手册 第八次修订 基础知识手册 中学教辅 高中学教辅读物资料 高中数理化 概念
- 猎人(卷23)
- 走近科学 生物世界丛书:奇妙的昆虫世界 《奇妙的昆虫世界》编写组
- 爆笑校园全集31-40全套 爆笑漫画系列 7-10 11-14岁 漫画课外阅读书籍
- 月亮:从神话诗歌到奇幻科学的人类探索史:a brief history 978755960
- 游戏王·卷28:通向未来的光!
- 人体的奥秘
- 美国骨矿研究学会骨矿盐疾病与代谢性骨病学(第8版)
- 正版 史前海洋统治者深度解密(上)-海龙专家 9787506044615 赵闯等 东方出版