这是一本全面介绍MISRA C:2004编程规范的书。本书从C语言的缺陷和不安全性出发,引出MISRA C:2004的宗旨和指导思想,然后分门别类地介绍该标准的具体内容,对主要规则进行详细解读,并通过实例分析帮助读者加深对规则的理解。 本书站在应用的角度对MISRA C:2004中的规则进行逻辑分类,形成了细节决定成败、你表达清楚了吗、千万不要失控、安全正确的指向、打造安全的编译环境等主要章节,然后介绍了新一代MISRA C:2012 (即MISRA C3)标准带来的改变,最后介绍了著名的支持MISRA标准的静态测试软件Helix QA Framework (简称QAF)的操作和使用方法。 本书可作为高职院校嵌入式应用技术、汽车智能技术、物联网应用技术、软件工程、软件测试及信息技术类专业的教材,也可作为从事以上相关工作的工程师、制定企业软件开发标准的技术人员的参考书。