本系列文章从汽车电子架构和网络历史开始，逐步往汽车电子零部件的嵌入式软件，零部件的通用基础功能各网络诊断服务等方面内容，从粗到细、由宽泛到具体，逐步展开。
从狭义的角度说，软件测试是软件开发中的一个流程，即通过把程序实际运行起来并试图找出其中可能存在的错误。
说到汽车网络安全工程，就一定会关联到一份标准，即《ISO/SAE 21434：2021 - 道路车辆网络安全工程》（Road Vehicles - Cybersecurity Engineering）...
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
当前在汽车领域，关于安全，我们时常可以听到这几个词：功能安全，预期功能安全，信息安全，网络安全等。那这些概念到底是什么意思？他们之间的区别又是什么呢？
形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化方法的要求。
HTTP是万维网（World Wide Web）的核心协议之一，已经成为网页传输的基础协议。
MQTT协议作为一种轻量级、灵活的消息传输协议，因其简单易用的特点被广泛应用于物联网设备之间的通信。
已完成
数据加载中
