图书介绍
嵌入式实时操作系统测试理论和方法PDF|Epub|txt|kindle电子书版本网盘下载
- 张明杰，雷迅，杨云，王林，宋恒，李强，张军著 著
- 出版社： 北京：航空工业出版社
- ISBN：9787516504994
- 出版时间：2014
- 标注页数：240页
- 文件大小：35MB
- 文件页数：250页
- 主题词：实时操作系统－系统测试－研究
PDF下载
下载说明
嵌入式实时操作系统测试理论和方法PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1部分 嵌入式实时操作系统的基本原理3
第1章 嵌入式实时操作系统概述3
1.1 操作系统概述3
1.1.1 操作系统作用3
1.1.2 操作系统发展简史5
1.2 嵌入式实时操作系统6
1.2.1 嵌入式实时操作系统的特点6
1.2.2 嵌入式实时操作系统实例7
1.3 本章小结8
第2章 RTEMS嵌入式实时操作系统9
2.1 RTEMS概述9
2.2 RTEMS超级内核11
2.2.1 对象11
2.2.2 任务队列12
2.3 RTEMS功能组件13
2.3.1 任务组件13
2.3.2 中断组件14
2.3.3 时钟组件15
2.3.4 定时器组件16
2.3.5 进程间通信组件17
2.3.6 存储管理组件18
2.4 调度策略19
2.4.1 调度策略控制21
2.4.2 任务状态转换21
2.5 本章小结22
第2部分 嵌入式实时操作系统测试的理论和方法25
第3章 问题和策略25
3.1 软件测试概述25
3.1.1 软件测试过程25
3.1.2 软件测试类型26
3.2 操作系统测试特殊性26
3.2.1 三角形判定问题描述27
3.2.2 三角形判定程序实现27
3.2.3 三角形判定程序测试29
3.2.4 操作系统测试的特殊性30
3.3 操作系统测试问题描述30
3.3.1 ψprg的特点30
3.3.2 ψprg的分类31
3.3.3 问题描述31
3.3.4 基于独立系统调用的测试方法的不足31
3.4 基于资源管理视点的测试策略32
3.4.1 资源的表示方法32
3.4.2 资源表示的本质33
3.4.3 问题重新描述33
3.4.4 基路径测试36
3.5 信号量测试案例37
3.5.1 常规测试法38
3.5.2 基于有限状态机的测试法39
3.5.3 正确性证明41
3.6 其他考虑43
3.7 本章小结43
第4章 动态代码走查方法44
4.1 代码走查定义44
4.2 基于软件动态执行的代码走查方法DCW44
4.2.1 软件移植45
4.2.2 代码走查46
4.3 RTEMS超级内核代码走查47
4.3.1 Score移植47
4.3.2 Score代码走查57
4.4 本章小结64
第5章 临界保护正确性测试65
5.1 问题描述65
5.2 基于地址监控的临界保护正确性测试66
5.2.1 RTEMS临界保护特点66
5.2.2 地址监控的临界区保护正确性测试66
5.2.3 正确性证明69
5.2.4 SVAM方法优化69
5.2.5 Bochs实现SVAM70
5.2.6 实际操作73
5.3 本章小结75
第6章 基于有限状态机的API测试76
6.1 方法概述76
6.2 RTEMS有限状态机76
6.2.1 固定大小存储管理有限状态机77
6.2.2 可变大小存储管理有限状态机79
6.2.3 事件通信有限状态机86
6.2.4 消息队列有限状态机88
6.2.5 信号量有限状态机90
6.2.6 异步信号有限状态机95
6.2.7 BARRIER通信有限状态机97
6.2.8 任务管理有限状态机99
6.3 状态树102
6.3.1 分区状态树102
6.3.2 堆状态树103
6.3.3 事件状态树106
6.3.4 消息队列状态树106
6.3.5 信号量状态树108
6.3.6 异步信号状态树110
6.3.7 BARRIER状态树111
6.3.8 任务管理状态树112
6.4 测试用例设计113
6.5 本章小结116
第3部分 嵌入式实时操作系统测试方法的具体实现119
第7章 构建测试环境119
7.1 安装VMware虚拟机119
7.2 安装Linux操作系统124
7.3 安装RTEMS交叉编译环境130
7.4 编译RTEMS操作系统131
7.5 本章小结132
第8章 测试程序设计133
8.1 测试程序架构133
8.2 RMMT详细设计134
8.2.1 分区创建测试134
8.2.2 分区删除测试136
8.2.3 获取分区ID测试137
8.2.4 分区申请缓冲测试139
8.2.5 分区释放缓冲测试140
8.2.6 状态转换测试141
8.2.7 程序文件结构和编译指令143
8.3 分区测试运行效果144
8.4 本章小结150
第9章 测试结果分析151
9.1 测试结果统计151
9.2 典型问题分析156
9.2.1 自动释放BARRIER任务问题156
9.2.2 任务在休眠状态下挂起问题156
9.2.3 双口地址映射错误问题157
9.2.4 堆扩展后及时分配问题159
9.2.5 优先级变化后堆及时分配问题160
9.3 复杂度的抢占式资源队列调度161
9.3.1 问题提出161
9.3.2 抢占式资源调度162
9.3.3 具体实现163
9.4 本章小结172
第10章 有限状态机测试程序源代码173
1O.1 堆存储有限状态机测试173
10.2 信号量有限状态机测试221
参考文献240