单元测试是整个软件开发过程中的一个重要环节 ,执行一个完备的单元测试方案能够提高整个开发过程的时间效率,确保软件的实际功能与详细设计说明的一致性，使软件开发的效率和软件产品的质量得到最好的保障 。什么是单元测试？单元测试（unit testing），是指对软件中的最小可测试单元进行检查和验证。通常而言，一个单元可能是单个程序、类、对象、方法等。为什么要做单元测试？软件中存在的错误发现得越早，修改和

本文提出了一种新的基于边缘计算的方法来重建丢失的全球定位系统信号。基本思想是在边缘节点收集信息，并使用它们来交叉验证从卫星接收的全球定位系统信号。

对于现今的自动驾驶汽车来说，由于传感器的增加和感知网络等软件的存在，使得自动驾驶汽车在信息安全上相较于其它汽车更为脆弱。自动驾驶汽车信息安全的脆弱性来源于两个方面：传感器的脆弱性和神经网络的脆弱性。

SmartRocket TestGrid嵌入式软件自动化测试平台是专为C/C++设计的静动态代码分析工具，本次新增动态缺陷检测功能模块采用形式化验证技术提前识别除零、移位、空指针解引用、数组越界、数据溢出、未赋值使用、共享变量冲突、不可达代码等运行时错误缺陷，支持MISRA等国际编码规范进行代码合规质量度量，提供精准错误定位和修复建议，显著缩短修复周期，降低风险成本。工具基于形式化验证理论，将代码

作者 |郭建上海控安可信软件创新研究院特聘专家版块 |鉴源论坛 · 观模

该工具支持嵌入式软件模型的设计与开发，能够从系统需求出发，为用户提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试、模型在环测试、C代码自动生成等丰富便捷的功能。从而为高安全性应用系统的软件开发人员提供一套完整的基于模型的开发解决方案，以此降低开发成本、缩短开发周期、减少开发风险。相较于传统的编码开发流程，Modeler基于模型的可视化建模开发，可以覆盖嵌入式开发的整个流程，从

本文提出了一种新的基于边缘计算的方法来重建丢失的全球定位系统信号。基本思想是在边缘节点收集信息，并使用它们来交叉验证从卫星接收的全球定位系统信号。

A Comprehensive Study of Autonomous Vehicle Bugs本文来自实验室金若辰、黄安妍、许伟豪、杨园的研究成果和学习笔记自动驾驶汽车（AVs）正成为我们日常生活中不可或缺的一部分。大约50家公司正在积极开发自动驾驶汽车，包括谷歌、福特和英特尔等大公司。一些自动驾驶汽车已经在公共道路上运行，最近有记录显示至少有一人不幸死亡。因此，了解自动驾驶系统中的错误对于确保

汽车技术精品著作系列-全面系统的基于ISO26262的汽车开发方法和应用指南

GPS-SDR-SIM 项目是麻省理工学院许可下发布的开源 GPS 基带信号生成器项目。本期继续介绍该项目如何实现，想看上期请点链接https://mp.weixin.qq.com/s?__biz=MzI1MTkwODMxMQ==&mid=2247484756&idx=1&sn=ea2bfabf83f4dd26f12d5f068aac0e22&chksm=e9ea9