基于搜索的测试生成将测试生成问题建模为最优化问题，其核心思想是针对期望达到的测试目标，以相关目标(成本)函数为指引，使用搜索算法在输入域中寻找最优解作为测试用例。
该系列文章主要对智能网联汽车的网络安全攻击及其防御技术进行全面的概述。一方面总结以往研究的发现和结论，并从学术研究和产业发展的角度，指出当前研究所面临的挑战和发展趋势。我们希望我们的工作可以让汽车设计...
随机测试是一种使用随机、相互独立的程序输入来对计算机程序进行测试的黑盒软件测试（在完全忽略程序内部实现细节的情况下进行测试）技术。在处理完随机且独立的程序输入后，程序输出的结果将会和软件规格说明（so...
CAN总线是目前汽车使用最广泛的总线之一，对汽车CAN总线网络安全威胁进行渗透测试、挖掘潜在漏洞至关重要。
本篇讲述UDS中的读和写服务，读写服务几乎是工程师日常使用最为频繁的服务，特别是读服务。
形式化建模将形式化方法应用于建模过程中，它以无歧义的形式化规格说明语言为基础，使用精确定义的形式语言进行系统功能的描述，利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型，从而完成...
机载计算机在现代飞机各组成部分中占有举足轻重的位置，是现代航空电子系统的基础和核心，其研制、生产和应用水平已成为衡量飞机先进性的重要标志。
本篇将会对UDS中最常用的服务进行详细介绍，首先对会话控制请求服务$10和安全接入请求服务$27进行介绍。
民航飞机的安全通过以下四种关键措施得以保证：一）严密的功能定义；二）精确的架构设计；三）严格的过程控制；四）严苛的验证。
本章节将从诊断服务测试展开细说测试相关知识，主要分享上层的相关应用测试。
已完成
数据加载中
