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

本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为实现自动化测试提供有效的解决方案。本书既适合从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员阅读，也适合高等院校计算机、软件工程、嵌入式系统等专业的学生参考。

随着计算机技术的不断发展，人类已经进入了数字化时代，嵌入式软件在高科技研究与应用领域，特别是航空、航天、医疗、交通和现代武器装备研制等关键领域已得到广泛应用。鉴于嵌入式软件的重要性和特殊性，它的故障往往会导致严重的后果，因此，嵌入式软件的质量和可靠性问题越来越受到重视，而有效的嵌入式软件系统测试是保证软件质量的重要手段。
本书试图跨越传统的入门级、基础级系统测试技术，为从事嵌入式软件系统测试的一线从业人员提供从形式化测试理论，到自动化测试描述方法，再到自动化仿真测试环境构建的系统化解决方案，最后通过对典型的复杂嵌入式软件系统测试工程实例的讲解，进一步验证本书所涉及的理论、技术和方法的有效性。
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。
本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
本书主要由殷永峰编写并负责统稿，殷永峰编写了第2、3、4、6、7章，姜博编写了第1、5章。此外，北京航空航天大学的研究生宿庆冉、王雪峰和刘家康在文字整理及附录准备等方面做了大量工作，在此谨表示诚挚的感谢。
特别感谢北航可靠性与系统工程学院刘斌教授、军事科学院王峰研究员、国家互联网应急中心李政研究员在百忙之中审阅了本书，并提出了大量宝贵的意见和建议。感谢中国航空工业集团公司计算机软件北航可靠性管理与测评中心的同事，得益于诸多同人多年来在工程技术方面的积累和帮助，本书才能与读者见面。
从方法学的角度来看，面向嵌入式软件系统测试的理论与技术正处于不断发展的过程中，本书也难免存在不当及谬误之处，恳请读者批评指正，以帮助我们不断改进和完善。

殷永峰
2020年10月