嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
殷永峰 姜博编著
264人在读
17.9万字总字数
¥47.4定价
殷永峰 姜博编著
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
看到两个评价了“不行”，但是没讲原因，还是好奇读了一下，才明白什么叫“掉书袋”什么叫“二无是处”。看似高深，实则啰哩啰嗦不讲重点。 给不信邪的朋友一点建议，先看附录4，看看都是个什么玩意。
作为formal methods入门还是可以的，但是没有关于软件建模的内容，感觉应该聊klee和nusmv吧最少
全篇都是无用的理论知识，没有落地方案