嵌入式实时操作系统测试理论和方法

嵌入式实时操作系统测试理论和方法

分享

作者: 张明杰著 , 雷迅著 , 杨云著

出版社: 航空工业出版社

出版时间: 2014-07

版次: 1

ISBN: 9787516504994

定价: 48.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 239页

字数: 410千字

正文语种: 简体中文

分类: 计算机与互联网

3 张插图图片

8人买过

　　嵌入式实时操作系统在通信、医疗、核电站控制等领域的广泛应用，使人们越来越关注嵌入式实时操作系统的安全性。目前，系统介绍高安全嵌入式实时操作系统测试理论和方法的文献还比较少，《嵌入式实时操作系统测试理论和方法》介绍了关于高安全嵌入式实时操作系统的测试理论和方法。
　　《嵌入式实时操作系统测试理论和方法》以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。
　　《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。第1部分嵌入式实时操作系统的基本原理
第1章嵌入式实时操作系统概述
1.1操作系统概述
1.1.1操作系统作用
1.1.2操作系统发展简史
1.2嵌入式实时操作系统
1.2.1嵌入式实时操作系统的特点
1.2.2嵌入式实时操作系统实例
1.3本章小结
第2章RTEMS嵌入式实时操作系统
2.1RTEMS概述
2.2RTEMS超级内核
2.2.1对象
2.2.2任务队列
2.3RTEMS功能组件
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.1prg的特点
3.3.2p，。的分类
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.3RTEMS超级内核代码走查
4.3.1Score移植
4.3.2Score代码走查
4.4本章小结
第5章临界保护正确性测试
5.1问题描述
5.2基于地址监控的临界保护正确性测试
5.2.1RTEMS临界保护特点
5.2.2地址监控的临界区保护正确性测试
5.2.3正确性证明
5.2.4SVAM方法优化
5.2.5Bochs实现SVAM
……
第3部分嵌入式实时操作系统测试方法的具体实现
参考文献
内容简介:
　　嵌入式实时操作系统在通信、医疗、核电站控制等领域的广泛应用，使人们越来越关注嵌入式实时操作系统的安全性。目前，系统介绍高安全嵌入式实时操作系统测试理论和方法的文献还比较少，《嵌入式实时操作系统测试理论和方法》介绍了关于高安全嵌入式实时操作系统的测试理论和方法。
　　《嵌入式实时操作系统测试理论和方法》以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。
　　《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。
目录:
第1部分嵌入式实时操作系统的基本原理
第1章嵌入式实时操作系统概述
1.1操作系统概述
1.1.1操作系统作用
1.1.2操作系统发展简史
1.2嵌入式实时操作系统
1.2.1嵌入式实时操作系统的特点
1.2.2嵌入式实时操作系统实例
1.3本章小结
第2章RTEMS嵌入式实时操作系统
2.1RTEMS概述
2.2RTEMS超级内核
2.2.1对象
2.2.2任务队列
2.3RTEMS功能组件
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.1prg的特点
3.3.2p，。的分类
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.3RTEMS超级内核代码走查
4.3.1Score移植
4.3.2Score代码走查
4.4本章小结
第5章临界保护正确性测试
5.1问题描述
5.2基于地址监控的临界保护正确性测试
5.2.1RTEMS临界保护特点
5.2.2地址监控的临界区保护正确性测试
5.2.3正确性证明
5.2.4SVAM方法优化
5.2.5Bochs实现SVAM
……
第3部分嵌入式实时操作系统测试方法的具体实现
参考文献

查看详情

相关分类

计算机理论编程与开发操作系统大数据与云计算图形图像/多媒体网站设计与网页开发网络与通讯硬件、嵌入式开发办公软件信息安全辅助设计与工程计算软件工程/开发项目管理

3

嵌入式实时操作系统测试理论和方法全新正版极速发货

全新

谢岳书店

广东省广州市

平均发货17小时成功完成率94.77%

￥25.56

券

100减20

立即购买加入购物车不属于本条目
嵌入式实时操作系统测试理论和方法保证正版现货，二十四小时发货，下单前请咨询客服确认库存

全新

简阅书城

北京市房山区

平均发货16小时成功完成率83.33%

￥35.00

券

100减20

立即购买加入购物车不属于本条目
嵌入式实时操作系统测试理论和方法正版现货，品相完整，套书只发一本,多版面书籍只对书名

九品

图书-天下的书店

北京市东城区

平均发货25小时成功完成率89.43%

￥80.99

券

100减20

立即购买加入购物车
3

嵌入式实时操作系统测试理论和方法 9787516504994 全新正版可开票支持7天无理由

全新

倒爷图书专营店

浙江省嘉兴市

平均发货13小时成功完成率94.89%

￥30.26

券

100减20

立即购买加入购物车不属于本条目
3

嵌入式实时操作系统测试理论和方法正版图书，可开发票，请放心购买。

全新

淘书宝店

广东省广州市

平均发货7小时成功完成率93.75%

￥34.39

券

100减20

立即购买加入购物车不属于本条目
3

嵌入式实时操作系统测试理论和方法全新正版极速发货

全新

大智慧小美丽

广东省广州市

平均发货17小时成功完成率93.25%

￥25.56

券

100减20

立即购买加入购物车不属于本条目
3

嵌入式实时操作系统测试理论和方法全新正版极速发货

全新

书香美美

广东省广州市

平均发货16小时成功完成率92.31%

￥25.56

券

100减20

立即购买加入购物车不属于本条目
全新正版嵌入式实时操作系统测试理论和方法张明杰//雷迅//杨云 9787516504994 航空工业本店所售图书，保证正版新书，有个别图片和实书封面不一样，以实书封面为准，最快当天，一般隔天发货。支持7天无理由退换货.开票联系客服

全新

剡溪书局

北京市西城区

平均发货16小时成功完成率92.03%

￥31.50

券

100减20

立即购买加入购物车不属于本条目
嵌入式实时操作系统测试理论和方法普通图书/教材教辅///考研张明杰//雷迅//杨云航空工业 9787516504994 新华书店全新正版书籍图书保证_可开发票_极速发货支持7天无理由

全新

學源图书专营店

浙江省嘉兴市

平均发货9小时成功完成率95.54%

￥31.70

券

100减20

立即购买加入购物车不属于本条目
嵌入式实时操作系统测试理论和方法嵌入式实时操作系统测试理论和方法

2014-07 印刷
印次: 1

全新

上海晨鸣书店

上海市闵行区

平均发货26小时成功完成率90.82%

￥68.00

券

100减20

立即购买加入购物车
3

【全新正版】嵌入式实时操作系统测试理论和方法全新正版图书，支持七天退换，可开具电子发票。

全新

轩天书店

上海市黄浦区

平均发货10小时成功完成率92.16%

￥32.56

券

100减20

立即购买加入购物车不属于本条目
2

嵌入式实时操作系统测试理论和方法

全新

新燕子文化书店

北京市朝阳区

平均发货29小时成功完成率82.52%

￥68.00

券

100减20

立即购买加入购物车不属于本条目
2

嵌入式实时操作系统测试理论和方法

九五品

挚造的书摊

北京市海淀区

平均发货18小时成功完成率98.33%

￥32.00

券

100减20

立即购买加入购物车
嵌入式实时操作系统测试理论和方法

全新

采薇标准书店

北京市通州区

平均发货17小时成功完成率88.73%

￥38.00

券

100减20

立即购买加入购物车