Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 538834)
Консорциум Контекстум Информационная технология сбора цифрового контента
Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта.

Теория и метод тестирования встроенной операционной системы реального времени (464,86 руб.)

0   0
АвторыYu Peihong
ИздательствоAviation Industry Press
Страниц250
ID717958
АннотацияКнига состоит из трех частей. В первой части в основном вводится основной принцип встроенных операционных систем реального времени и в качестве примера берется RTEMS с открытым исходным кодом, чтобы представить концепции и принципы связанных операционных систем, чтобы читатели могли по-настоящему почувствовать структуру ядра и принципы проектирования встроенных операционных систем реального времени. Вторая часть в основном знакомит с теориями и методами тестирования встроенных операционных систем в реальном времени, фокусируясь на основных проблемах тестирования встроенных операционных систем в реальном времени, таких как прохождение кода, критическая защита, межпроцессная связь, управление памятью и планирование процессов, а также предлагает методы тестирования для вышеуказанных проблем. Третья часть в основном посвящена внедрению методов тестирования высокозащищенных встраиваемых операционных систем реального времени.
ISBN978-7-5165-0499-4
Теория и метод тестирования встроенной операционной системы реального времени [Электронный ресурс] / Peihong Yu .— : Aviation Industry Press, 2014 .— 250 с. — ISBN 978-7-5165-0499-4 .— Режим доступа: https://rucont.ru/efd/717958

Предпросмотр (выдержки из произведения)

Теория_и_метод_тестирования_встроенной_операционной_системы_реального_времени.pdf
内 容 提 要 嵌入式实时操作系统在通信、 医疗、 核电站控制等领域的广泛应用, 使人们越来越关注嵌入式实时操作系统的安全 性。 目前, 系统介绍高安全嵌入式实时操作系统测试理论和方法的文献还比较少, 本书介绍了关于高安全嵌入式实时操 作系统的测试理论和方法。 本书以理论为指导, 提出了操作系统测试需要解决的问题, 证明了基于有限状态机测试策略的正确性, 使用动态代 码走查方法提高代码走查的效率和效果, 使用地址监控方法解决临界保护正确性测试问题。 每种测试方法都以理论为指 导, 测试充分性得到有效保证。 本书适合于从事嵌入式操作系统设计和测试的科研人员参考和使用。      图书在版编目 ( C I P ) 数据   ISBN 978 - 7 - 5165 - 0499 - 4 􀆰   嵌入式实时操作系统测试理论和方法 / 张明杰等著   --北京 ∶ 航空工业出版社, 2014􀆰 7     中国版本图书馆 CIP 数据核字 (2014) 第143378 号 试    Ⅰ. ①嵌…  Ⅱ. ①张…  Ⅲ. ①实时操作系统 系统测 研究  Ⅳ. ①TP316􀆰 2 嵌入式实时操作系统测试理论和方法 Qiɑnrushi Shishi Cɑozuo Xitong Ceshi Lilun he Fɑngfɑ 航空工业出版社出版发行 北京地质印刷厂印刷 2014 年7 月第1 版 发 (北京市朝阳区北苑2 号院  100012) 行部电话: 010 - 84934379  010 - 84936343 开本: 787 Ч 1092  1 / 16 印数: 1—2000 印张: 15􀆰 5 全国各地新华书店经售 2014 年7 月第1 次印刷 字数: 410 千字 定价: 48􀆰 00 元
Стр.3
前  言 嵌入式操作系统应用越来越广泛, 在国民经济、 国防军事、 医疗设备等各方 面发挥着重要作用, 是信息化社会的支撑。 在某些特定领域, 对嵌入式操作系统 的可靠性要求很高。 在医疗设备中 (如 CT 扫描), 如果出现问题可能会对患者 造成严重的伤害; 核电站控制系统出现问题带来更严重的后果; 手机中的嵌入式 操作系统越来越复杂, 虽然系统崩溃不会造成严重后果, 重启往往可以解决问 题, 但是必须承认, 可靠性不高也会影响手机的市场地位。 也就是说, 在很多领 域对嵌入式实时操作系统的可靠性要求越来越高, 在很多情况下可靠性要求甚于 性能要求。 操作系统的可靠性由许多方面构成, 但最重要的是其内核的可靠性, 内核主 要包括进程管理和存储管理等。 有的嵌入式实时操作系统也包括简单的文件系 统, 但不是标准配置, 属于可配置组件, 因此本书主要关注内核的可靠性。 测试是提高嵌入式实时操作系统内核可靠性的重要技术手段, 但是无论是学 术界还是工程界都鲜有关于嵌入式实时操作系统测试理论方面的资料。 笔者曾在 一些知名的计算机学术期刊上检索以期得到一些启发, 结果没有检索到相关学术 研究文献。 虽然 LTP (Linux Test Project) 是对 Linux 操作系统进行测试的国际化 项目, 但是对高可靠嵌入式实时操作系统测试而言帮助甚微。 笔者认为高可靠性 嵌入式实时操作系统测试必须在理论指导下进行, 以保证测试的充分性和可信 性。 有关测试资料的缺乏在笔者看来可能是属于商业机密, 或者是更多的学者更 倾向于构建新的操作系统, 而没有太多兴趣测试操作系统的可靠性。 毕竟构建操 作系统是更具创造性的活动。 于是我们决定坐下来静静地思考一下嵌入式实时操 作系统的测试方法, 经过几年的努力有了这本书中描述的测试方法。 必须说明其 中的测试方法, 如有限状态机方法不是笔者创造而是拿来用于指导操作系统测 试。 本书旨在构建高可靠嵌入式实时操作系统内核测试的框架, 以供感兴趣的读 者进一步探讨。 测试理论告诉我们, 基于需求的测试是最有效的软件测试方法。 然而基于需 求的测试方法往往在现有国内软件工程情况下效果不佳。 操作系统的需求往往以 系统提供的系统调用为纲目进行描述, 单独对系统调用进行测试, 没有考虑系统 调用之间相互影响可能导致的系统缺陷, 往往不能发现系统深层次问题。 操作系 统提供大量系统调用, 而应用程序使用系统调用的方式千变万化, 所以必须采用
Стр.4
嵌入式实时操作系统测试理论和方法 分而治之的策略才能实现对操作系统的高效测试。 本书提出了操作系统测试问题; 动态的代码走查方法, 提高代码走查效率; 基于地址监控的临界资源保护正确性测试方法; 基于有限状态机的操作系统应用 编程接口测试方法。 这些方面基本涵盖了嵌入式实时操作系统内核的关键机制。 虽然这些方法不一定是最有效的方法, 但是从一定意义上讲, 测试的充分性得到 了保证。 限于笔者能力水平和经验有限, 同时由于成书时间仓促, 书中难免存在不足 之处, 希望读者提出中肯的批评和建议。 如果能够吸引更多读者开展嵌入式实时 操作系统的测试研究将是最令人欣慰的事。 ·2·
Стр.5
目  录 第1 部分  嵌入式实时操作系统的基本原理 第1 章  嵌入式实时操作系统概述     1􀆰 1  操作系统概述 ……………………………………………………… ( 3 )       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  本章小结 第3 章  问题和策略     3􀆰 1  软件测试概述 …………………………………………………………………… ( 3 ) ……………………………………………………………… ( 3 ) ………………………………………………………… ( 5 ) …………………………………………………………… ( 6 ) ……………………………………………… ( 6 ) ………………………………………………… ( 7 ) ………………………………………………………………………… ( 8 ) …………………………………………………… ( 9 ) ……………………………………………………………………… ( 9 ) ………………………………………………………………… ( 11 ) ………………………………………………………………………… ( 11 ) …………………………………………………………………… ( 12 ) ………………………………………………………………… ( 13 ) …………………………………………………………………… ( 13 ) …………………………………………………………………… ( 14 ) …………………………………………………………………… ( 15 ) ………………………………………………………………… ( 16 ) …………………………………………………………… ( 17 ) ……………………………………………………………… ( 18 ) ………………………………………………………………………… ( 19 ) ……………………………………………………………… ( 21 ) ……………………………………………………………… ( 21 ) ………………………………………………………………………… ( 22 ) 第2 部分  嵌入式实时操作系统测试的理论和方法       3􀆰 1􀆰 1  软件测试过程 ……………………………………………………………………… ( 25 ) …………………………………………………………………… ( 25 ) ……………………………………………………………… ( 25 )
Стр.6
嵌入式实时操作系统测试理论和方法       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  Ψprg       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􀆰 1  软件移植       4􀆰 2􀆰 2  代码走查 ……………………………………………………………… ( 26 ) …………………………………………………………… ( 26 ) ……………………………………………………… ( 27 ) ……………………………………………………… ( 27 ) ……………………………………………………… ( 29 ) …………………………………………………… ( 30 ) ………………………………………………………… ( 30 ) ………………………………………………………………… ( 30 ) ………………………………………………………………… ( 31 ) …………………………………………………………………… ( 31 ) …………………………………… ( 31 ) ………………………………………………… ( 32 ) …………………………………………………………… ( 32 ) …………………………………………………………… ( 33 ) ……………………………………………………………… ( 33 ) ………………………………………………………………… ( 36 ) ………………………………………………………………… ( 37 ) ………………………………………………………………… ( 38 ) ………………………………………………… ( 39 ) ………………………………………………………………… ( 41 ) ………………………………………………………………………… ( 43 ) ………………………………………………………………………… ( 43 ) ……………………………………………………………… ( 44 ) …………………………………………………………………… ( 44 )     4􀆰 2  基于软件动态执行的代码走查方法 DCW …………………………………… ( 44 ) …………………………………………………………………… ( 45 ) …………………………………………………………………… ( 46 ) ……………………………………………………… ( 47 )     4􀆰 3  RTEMS 超级内核代码走查       4􀆰 3􀆰 1  Score 移植       4􀆰 3􀆰 2  Score 代码走查     4􀆰 4  本章小结 第5 章  临界保护正确性测试     5􀆰 1  问题描述 …………………………………………………………………… ( 47 ) ……………………………………………………………… ( 57 ) ………………………………………………………………………… ( 64 ) …………………………………………………………… ( 65 )     5􀆰 2  基于地址监控的临界保护正确性测试       5􀆰 2􀆰 1  RTEMS 临界保护特点 ………………………………………………………………………… ( 65 ) ………………………………………… ( 66 )       5􀆰 2􀆰 2  地址监控的临界区保护正确性测试       5􀆰 2􀆰 3  正确性证明       5􀆰 2􀆰 4  SVAM 方法优化       5􀆰 2􀆰 5  Bochs 实现 SVAM ……………………………………………………… ( 66 ) ……………………………………… ( 66 ) ………………………………………………………………… ( 69 ) …………………………………………………………… ( 69 ) ( 70 ) ………………………………………………………… ·2·
Стр.7
目  录       5􀆰 2􀆰 6  实际操作     5􀆰 3  本章小结 第6 章  基于有限状态机的 API 测试     6􀆰 1  方法概述     6􀆰 2  RTEMS 有限状态机 …………………………………………………………………… ( 73 ) ………………………………………………………………………… ( 75 ) …………………………………………………… ( 76 )       6􀆰 2􀆰 1  固定大小存储管理有限状态机       6􀆰 2􀆰 2  可变大小存储管理有限状态机       6􀆰 2􀆰 3  事件通信有限状态机       6􀆰 2􀆰 4  消息队列有限状态机       6􀆰 2􀆰 5  信号量有限状态机       6􀆰 2􀆰 6  异步信号有限状态机       6􀆰 2􀆰 7  BARRIER 通信有限状态机       6􀆰 2􀆰 8  任务管理有限状态机     6􀆰 3  状态树 ………………………………………………………………………… ( 76 ) ……………………………………………………………… ( 76 ) …………………………………………… ( 77 ) …………………………………………… ( 79 ) ……………………………………………………… ( 86 ) ……………………………………………………… ( 88 ) ………………………………………………………… ( 90 ) ……………………………………………………… ( 95 ) ………………………………………………… ( 97 ) ……………………………………………………… ( 99 )       6􀆰 3􀆰 1  分区状态树       6􀆰 3􀆰 2  堆状态树       6􀆰 3􀆰 3  事件状态树       6􀆰 3􀆰 4  消息队列状态树       6􀆰 3􀆰 5  信号量状态树       6􀆰 3􀆰 6  异步信号状态树       6􀆰 3􀆰 7  BARRIER 状态树       6􀆰 3􀆰 8  任务管理状态树     6􀆰 4  测试用例设计     6􀆰 5  本章小结 第7 章  构建测试环境 …………………………………………………………………………… (102) ………………………………………………………………… (102) …………………………………………………………………… (103) ………………………………………………………………… (106) …………………………………………………………… (106) ……………………………………………………………… (108) …………………………………………………………… (110) …………………………………………………………… (111) …………………………………………………………… (112) …………………………………………………………………… (113) ………………………………………………………………………… (116) 第3 部分  嵌入式实时操作系统测试方法的具体实现     7􀆰 1  安装 VMware 虚拟机     7􀆰 2  安装 Linux 操作系统 第8 章  测试程序设计     8􀆰 1  测试程序架构     7􀆰 3  安装 RTEMS 交叉编译环境     7􀆰 4  编译 RTEMS 操作系统     7􀆰 5  本章小结     8􀆰 2  RMMT 详细设计       8􀆰 2􀆰 1  分区创建测试       8􀆰 2􀆰 2  分区删除测试       8􀆰 2􀆰 3  获取分区 ID 测试 …………………………………………………………………… (119) …………………………………………………………… (119) …………………………………………………………… (124) …………………………………………………… (130) ………………………………………………………… (131) ………………………………………………………………………… (132) …………………………………………………………………… (133) …………………………………………………………………… (133) ………………………………………………………………… (134) ……………………………………………………………… (134) ……………………………………………………………… (136) (137) ………………………………………………………… ·3·
Стр.8
嵌入式实时操作系统测试理论和方法       8􀆰 2􀆰 4  分区申请缓冲测试       8􀆰 2􀆰 5  分区释放缓冲测试       8􀆰 2􀆰 6  状态转换测试 第9 章  测试结果分析     9􀆰 1  测试结果统计     9􀆰 2  典型问题分析       8􀆰 2􀆰 7  程序文件结构和编译指令     8􀆰 3  分区测试运行效果     8􀆰 4  本章小结 ………………………………………………………… (139) ………………………………………………………… (140) ……………………………………………………………… (141) ………………………………………………… (143)       9􀆰 2􀆰 1  自动释放 BARRIER 任务问题       9􀆰 2􀆰 2  任务在休眠状态下挂起问题       9􀆰 2􀆰 3  双口地址映射错误问题       9􀆰 2􀆰 4  堆扩展后及时分配问题       9􀆰 3􀆰 2  抢占式资源调度       9􀆰 3􀆰 3  具体实现     9􀆰 4  本章小结       9􀆰 2􀆰 5  优先级变化后堆及时分配问题     9􀆰 3  复杂度的抢占式资源队列调度       9􀆰 3􀆰 1  问题提出 第10 章  有限状态机测试程序源代码     10􀆰 1  堆存储有限状态机测试 ……………………………………………………………… (144) ………………………………………………………………………… (150) …………………………………………………………………… (151) …………………………………………………………………… (151) …………………………………………………………………… (156) …………………………………………… (156) ……………………………………………… (156) …………………………………………………… (157) …………………………………………………… (159) …………………………………………… (160) ………………………………………………… (161)     10􀆰 2  信号量有限状态机测试 参考文献 …………………………………………………………………… (161) …………………………………………………………… (162) …………………………………………………………………… (163) ………………………………………………………………………… (172) …………………………………………………… (173) ……………………………………………………… (173) ……………………………………………………… (221) …………………………………………………………………………………… (240) ·4·
Стр.9

Облако ключевых слов *


* - вычисляется автоматически