面向界面的图形化测试是一种常用的软件测试方法，旨在验证用户界面是否符合业务规范和用户需求，以及验证应....
![的头像]()
上海控安 发表于 04-21 11:03
•580次阅读
本篇主要介绍TCP协议的概念、主要功能、主要特点、报文格式以及相应的工作方式
![的头像]()
上海控安 发表于 04-07 11:40
•558次阅读
符号执行作为一个经典的程序分析技术，在 21 世纪受到了研究者的广泛重视，并为软件测试提供了一个在白....
![的头像]()
上海控安 发表于 04-07 11:36
•480次阅读
近年来，汽车网络安全攻击事件频发，而汽车智能化和网联化所带来的安全隐患也与日俱增，研究人员除了考虑如....
![的头像]()
上海控安 发表于 03-24 11:36
•1498次阅读
形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模....
![的头像]()
上海控安 发表于 03-24 11:01
•1184次阅读
随着车辆蓝牙技术的发展和应用越来越广泛，车辆蓝牙安全问题也在不断引起关注。未来，随着人工智能和物联网....
![的头像]()
上海控安 发表于 03-10 10:26
•730次阅读
模型检查已被应用于各种系统，包括硬件电路、通信协议、操作系统和软件程序。它已被用于在部署之前检测系统....
![的头像]()
上海控安 发表于 03-10 09:49
•577次阅读
传统的自动驾驶测试方法包括在实际道路上进行封闭场地和公共道路测试，但这些方法都存在很大的安全风险和高....
![的头像]()
上海控安 发表于 02-24 13:45
•1612次阅读
工具鉴定正是DO-178C第十二章第二节所描述的内容。为了区别工具鉴定与机载软件的适航要求，RTCA....
![的头像]()
上海控安 发表于 02-24 13:34
•572次阅读
本篇我们开始介绍与车载TBOX相关的性能测试如何开展，区别与传统互联网产品的性能测试，ECU的软件性....
![的头像]()
上海控安 发表于 02-10 10:47
•822次阅读
本文将分析和解释民用飞机机载软件体系下的语境和对过程的基本要求出发点。
![的头像]()
上海控安 发表于 02-10 10:34
•1200次阅读
近年来，汽车的网络安全问题逐渐被重视，在汽车产品的全生命周期中，需要进行网络安全风险管理，其主要活动....
![的头像]()
上海控安 发表于 02-01 15:45
•1928次阅读
随着城市轨道交通网的逐步扩大，信号系统在保证行车安全前提下，于提高运输效率、以及改善和行车有关的技术....
![的头像]()
上海控安 发表于 02-01 15:21
•894次阅读
操作系统内核是软件系统的核心，操作系统内核可靠性直接影响着整个软件系统的运行。然而操作系统的验证仍面....
![的头像]()
上海控安 发表于 02-01 15:14
•1367次阅读
当下汽车工业正在经历过去几十年未曾经历的快速变更，伴随着电动化、智能化、网联化等趋势，未来汽车必将实....
![的头像]()
上海控安 发表于 02-01 15:07
•1844次阅读
在过去的几十年中，CAN总线是最广泛被应用的车载网络现场总线。但随着汽车电子产品的功能逐渐丰富，以及....
![的头像]()
上海控安 发表于 02-01 11:07
•610次阅读
作者 |刘艳青 上海控安安全测评中心安全测评部测试经理 版块 |鉴源论坛 · 观通 01联锁系统的硬....
![的头像]()
上海控安 发表于 02-01 10:46
•4378次阅读
整车所有电子零配件均工作在一定电源状态下，没有供电的话零部件将无法工作。关于零部件在何种状态下应对进....
![的头像]()
上海控安 发表于 01-30 17:54
•726次阅读
由于无法穷举被测软件完整的输入空间，各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的....
![的头像]()
上海控安 发表于 01-30 17:47
•1141次阅读
本系列文章从汽车电子架构和网络历史开始，逐步往汽车电子零部件的嵌入式软件，零部件的通用基础功能各网络....
![的头像]()
上海控安 发表于 01-30 17:23
•1057次阅读
从狭义的角度说，软件测试是软件开发中的一个流程，即通过把程序实际运行起来并试图找出其中可能存在的错误....
![的头像]()
上海控安 发表于 01-30 17:07
•562次阅读
本文将重点对ISO/SAE 21434标准中，汽车全生命周期网络安全风险管理的各阶段中活动展开介绍，....
![的头像]()
上海控安 发表于 01-30 16:58
•614次阅读
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和....
![的头像]()
上海控安 发表于 01-30 16:42
•730次阅读
目前机器学习是研究车辆网络入侵检测技术的热门方向，通过引入机器学习算法来识别车载总线上的网络报文，可....
![的头像]()
上海控安 发表于 01-17 10:49
•799次阅读
本文将从轨交系统的安全性设计的必要性、控制设计、需求分析以及实现等方面进行阐述。
1. 安全性....
![的头像]()
上海控安 发表于 01-16 16:55
•497次阅读
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communic....
![的头像]()
上海控安 发表于 01-04 16:12
•795次阅读
本篇文章中，我们将对汽车网络安全风险的应对策略，特别是车载入侵检测与防御系统展开详细的介绍。
![的头像]()
上海控安 发表于 12-30 13:46
•3735次阅读
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communic....
![的头像]()
上海控安 发表于 12-30 13:23
•2258次阅读
从本章节开始我们聚焦到具体的ECU测试上来（以车载TBOX为例），因为相比车辆其他电子零部件，车机系....
![的头像]()
上海控安 发表于 12-16 14:14
•1157次阅读
作为车载操作系统，实时性对于AUTOSAR OS的重要性不言而喻，如何保证操作系统中的计算单元在截止....
![的头像]()
上海控安 发表于 12-16 14:01
•1101次阅读
嵌入式实时操作系统的形式化验证
工商网监