嵌入式软件系统测试：基于形式化方法的自动化测试解决方案

本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。

这是一本系统阐述嵌入式软件系统测试的专著，深入探讨了嵌入式系统的基本概念、特点、组成和应用领域，嵌入式软件的分类、操作系统以及软件工程化管理。书中还详细讨论了基于形式化方法的嵌入式软件系统测试理论框架及技术，包括形式化测试技术、实时嵌入式软件自动化测试描述方法、智能终端应用软件系统测试技术，以及实时嵌入式软件系统测试环境构建技术。 书中首先介绍了嵌入式系统的专用性与嵌入性，以及嵌入式软件工程过程与质量特性，强调了嵌入式软件在开发、验证及维护中的特殊性和重要性。接着，书中详细介绍了Android操作系统概述，虚拟机技术简介，以及智能终端应用软件系统测试技术，这些内容对于理解嵌入式软件系统测试技术的基础和关键要素具有重要意义。 书中还深入探讨了实时扩展有限状态机模型在测试中的应用，自动化测试描述语言的设计，以及有限状态机(FSM)的基本概念和特点，这些内容对于实现嵌入式软件系统测试的自动化和高效性至关重要。此外，书中还详细阐述了UML与软件测试的关系与运用，以及测试描述执行过程，这些内容对于提高嵌入式软件系统测试的自动化程度和效率具有重要意义。 书中还介绍了RT-ESTDL对实时嵌入