本篇将介绍TCP协议的概念、主要功能、主要特点 报文格式以及相应的工作方式等。
符号执行（symbolic execution）是一种经典的程序分析技术，使用抽象的符号值（symbolic value）而不是精确的具体值（concrete value）作为程序输入，以此将程序变量...
本篇将从攻击者的角度来分析历史的攻击事件以及攻击手段
形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模型，用以引导后续的代码编写和相关测试分析。
本篇对车辆蓝牙安全重要性及其相关技术进行介绍。
模型检查是一个活跃的研究和开发领域，研究人员正在不断努力，以提高其拓展性、准确性和可用性。
自动驾驶仿真测试逐渐成为了自动驾驶汽车开发过程中必不可少的一部分，对于提高自动驾驶汽车的安全性、可靠性、精度和性能等方面都有着重要的意义。
为了规避工具的应用给民机机载软件带来的风险，适航审定过程中通常采取将机载软件的要求延伸到相关工具中的方法，这一方法也可以称之为“鉴定”。工具鉴定正是DO-178C第十二章第二节所描述的内容。
本篇开始介绍车载TBOX相关的性能测试如何开展，区别与传统互联网产品的性能测试，ECU的软件性能测试有很大的不同，在文中也会介绍两者之间的区别。
本文分析和解释民用飞机机载软件体系下的语境和对过程的基本要求出发点。
已完成
数据加载中
