包邮 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案|8078291
图书信息
书名：包邮 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案|8078291作者：殷永峰 姜博
出版社：机械工业出版社
图书简介
《包邮 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》总结了多年的嵌入式软件系统测试的工程实践经验，提供完整的自动化测试解决方案。本书开门见山，首先从嵌入式系统的构成、分类和特点入手，引出了嵌入式软件工程及管理方法。接着，讨论了嵌入式软件系统测试理论及测试环境构建等技术，最后结合航电系统嵌入式软件测试实例，全面而深入地介绍了如何实现自动化测试。本书内容通俗易懂，配合丰富的案例，深入浅出地阐述了形式化方法的自动化测试解决方案。推荐给从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员和高等院校计算机、软件工程、嵌入式系统等专业的学生参考。
推荐理由
《包邮 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》是一本适合从事嵌入式系统开发与验证的技术人员和相关专业学生阅读的指南。本书内容详尽，包含了嵌入式软件工程及管理方法、测试环境构建、形式化方法的自动化测试解决方案等方面的知识。该书借助丰富的案例，深入浅出地介绍了这些知识的应用，并提供了完整的自动化测试解决方案。如果你想了解如何更好地理解嵌入式软件系统测试理论，本书将是你的不二之选！