本文对ISO 26262：2018国际标准的第一部分到第五部分的内容做简单的介绍，下一次推文将对其后半部分做介绍。
本篇介绍在车载零配件上比较少见却很实用的测试：通讯模组的AT（Attention）指令测试。
本篇将介绍车载设备FOTA专项测试中的整车FOTA升级过程、零部件交互、测试要点等。
面向界面的图形化测试是一种常用的软件测试方法，旨在验证用户界面是否符合业务规范和用户需求，以及验证应用程序的功能是否正确响应用户操作，以保证应用程序的质量和稳定性。
本篇将介绍TCP协议的概念、主要功能、主要特点 报文格式以及相应的工作方式等。
符号执行（symbolic execution）是一种经典的程序分析技术，使用抽象的符号值（symbolic value）而不是精确的具体值（concrete value）作为程序输入，以此将程序变量...
本篇将从攻击者的角度来分析历史的攻击事件以及攻击手段
形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模型，用以引导后续的代码编写和相关测试分析。
本篇对车辆蓝牙安全重要性及其相关技术进行介绍。
模型检查是一个活跃的研究和开发领域，研究人员正在不断努力，以提高其拓展性、准确性和可用性。
已完成
数据加载中
