本篇我们介绍分支覆盖，从测试技术对代码的测试程度上来说，在复杂代码中，分支覆盖比语句覆盖效果要好。
本文系统介绍了应用程序编程接口（API）的概念及其在软件开发中的作用与重要性，重点分享自动化API测试的发展历程与测试对象。
本文将深入到代码层面，讲解单元测试中的一项重要工作-软件代码测试。
本文主要探讨了形式化方法在航空领域中的工业应用。
随着汽车行业对于数据通信的需求不断增加，SOME/IP作为支持汽车以太网进程和设备间通信的一种通信协议应运而生。
本文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
汽车信息安全事件频发使得汽车行业安全态势愈发紧张。本文则选取典型的智能网联汽车网络安全攻击实例展开详细介绍。
本篇将展开讨论降低民机机载操作系统适航风险的具体方法。
在越来越多的国产机载系统研制中，操作系统软件的选择对后续开展研制以及适航举证活动带来很大的影响
VSOC需要处理庞大而复杂的数据，包括车辆状态、传感器数据、驾驶行为等，要能够快速、准确地处理这些数据，并提取有价值的信息
已完成
数据加载中
