作品总结
《嵌入式软件验证与调试》
本书全面介绍了嵌入式软件的验证和调试技术，这些技术经常用于安全关键应用（例如汽车），在这些应用中，故障是不可接受的。由于复杂系统的验证需要包括硬件和嵌入式软件模块的验证，本书重点介绍具有硬件依赖关系的嵌入式软件的验证和调试方法。
本书覆盖范围包括嵌入式软件的整个设计、验证和调试流程，以及调试、动态、静态和混合验证的所有关键方法。
本书讨论了当前的工业嵌入式软件验证流程，以及新兴趋势，重点是形式化和混合式验证和调试方法。
客服咨询
400 093 7005
周一至周日：09:00AM-21:00PM
微信扫码关注
小程序扫码注册
0条评论