华为FusionCloud桌面云6.0：协议技术白皮书解析——理解原始参考

本篇文档是华为FusionCloud桌面云解决方案6.0中关于桌面协议技术的白皮书，主要关注的是C语言在关键系统如汽车工业中的使用，特别是在遵循MISRA-C-2004标准的情况下的具体规定。MISRA是The Motor Industry Software Reliability Association（汽车工业软件可靠性协会）制定的一套针对C语言在安全相关系统中使用的指导原则，旨在确保软件的可靠性和安全性。 文档首先介绍了C语言在汽车工业中的广泛应用，以及由于其灵活性可能导致的安全性和不一致性问题。C语言的不安全特性，如未定义的行为、实现定义的行为和本地化行为，需要通过MISRA-C的规则来约束，以减少潜在的风险。MISRA-C-2004提供了一套详细的规则，涵盖了语言的基础问题、未指明的问题、适用性、预备知识，以及如何在软件开发过程中遵循这些规则。 白皮书中着重阐述了规则的分类、组织、冗余性、形式和理解原始参考的重要性。原始参考通常来自于ISO 9899标准，特别是Annex G部分，它提供了对规则背后原理的深入理解和可能需要偏离规则情况下的依据。文档详细列出了各项规则，包括环境、语言扩展、文档、字符集、标识符、类型、常量、声明与定义、初始化、数值类型转换、指针类型转换、表达式、控制语句表达式、控制流、switch语句、函数、指针与数组、结构与联合、预处理指令、标准库、运行时错误等，并给出了每个主题的概述和示例。 此外，文档还强调了在使用MISRA-C时的软件工程环境、编程语言选择和编码环境、采用子集策略、合规性声明、持续改进等方面的要求。附录部分则提供了规则的总结、MISRA-C版本之间的规则映射、已废除规则的列表、ISO标准的交互参考以及术语表，以便开发者全面理解和应用MISRA-C标准。 这篇白皮书是理解华为FusionCloud桌面云解决方案6.0中C语言编程实践，特别是遵循MISRA-C-2004标准的重要参考资料，对于保证系统的安全性和可靠性具有重要意义。