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