完整构建自动化测试解决方案，涵盖形式化测试理论、测试描述方法、测试环境构建技术，提供实用方法和工具

殷永峰，高工，博士。北京航空航天大学软件学院硕士生导师，航空工业软件可靠性管理与测评中心主任。担任中央项目评审专家、多个军兵种软件技术专家、航空工业集团软件质量专家组成员。长期从事装备软件工程、软件可靠性与性、嵌入式软件验证以及网络技术等方面的研究及工程实践工作。已主括预研、技术基础、实验室基金、航空基金、航天科工基金等项目20余项，发表学术论文60余篇，获省部级、各2项、航空工业个人1项，出版专著3本。主持完成多个型号的软件测评工作，获得机关和工业部门的高度评价。

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