类似推荐
编辑推荐
本书提供完整构建自动化测试解决方案，涵盖形式化测试理论、测试描述方法、测试环境构建技术，提供实用方法和工具。
内容简介
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
作者简介
作者殷永峰。
章节目录
版权信息
前言
缩略词汇表
第1章 嵌入式系统及软件
1.1 嵌入式系统概述
1.2 嵌入式软件概述
1.3 本章小结
第2章 嵌入式软件工程与质量特性
2.1 嵌入式软件工程
2.2 嵌入式软件工程化管理
2.3 嵌入式软件的质量特性
2.4 本章小结
第3章 基于形式化方法的嵌入式软件系统测试技术
3.1 软件形式化测试技术概述
3.2 嵌入式软件形式化测试技术
3.3 基于实时扩展UML与RT-EFSM的测试用例生成
3.4 本章小结
第4章 实时嵌入式软件自动化测试描述技术
4.1 测试描述的概念及分类
4.2 实时嵌入式软件测试描述的特性
4.3 实时嵌入式软件测试描述语言的设计
4.4 RT-ESTDL对实时嵌入式软件测试的支持机制
4.5 本章小结
第5章 智能终端应用软件系统测试技术
5.1 智能终端应用软件基础
5.2 智能终端应用软件系统的测试生成技术
5.3 智能终端应用软件系统的回归测试技术
5.4 智能终端应用软件系统的压力测试技术
5.5 本章小结
第6章 实时嵌入式软件系统测试环境构建技术
6.1 现有的实时嵌入式软件系统测试环境分析
6.2 虚拟机技术与实时嵌入式软件测试
6.3 实时嵌入式软件仿真测试虚拟机规范的设计
6.4 基于RT-ESSTVMS的实时嵌入式软件仿真测试环境设计
6.5 实时嵌入式软件测试描述执行引擎的设计与实现
6.6 本章小结
第7章 实时嵌入式软件系统测试实例
7.1 被测系统简介
7.2 I/GNS静态建模
7.3 I/GNS动态建模
7.4 测试序列、测试用例及测试描述生成
7.5 测试执行及结果分析
7.6 本章小结
附录1 数学符号索引
附录2 RT-ESTDL语义及用法
附录3 I/GNS软件接口数据定义
附录4 I/GNS软件（展平）测试场景树列表
参考文献
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案是2021年由机械工业出版社华章分社出版,作者殷永峰。
得书感谢您对《嵌入式软件系统测试：基于形式化方法的自动化测试解决方案》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
