《嵌入式软件系统测试》内容简介

本书试图跨越传统的入门级、基础级系统测试技术，为从事嵌入式软件系统测试的一线从业人员提供从形式化测试理论，到自动化测试描述方法，再到自动化仿真测试环境构建的系统化解决方案，最后通过对典型的复杂嵌入式软件系统测试工程实例的讲解，进一步验证本书所涉及的理论、技术和方法的有效性。
本书的主要内容包括：第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软件（展平）测试场景树列表
参考文献