- 博客(219)
- 收藏
- 关注
RSS订阅原创 软件开发中，如何发现并发系统中的隐藏错误？
从使用流程上看，Spin 并不神秘。它通常从一个具体的工程疑问开始：这个协议会不会死锁？两个参与者会不会同时占用资源？请求之后是否一定能得到响应？某个消息有没有可能在错误状态下被处理？第一步是抽象系统行为。开发者需要从真实系统中提取关键参与者、关键状态和关键交互方式。例如，一个客户端、一个服务端、一个消息通道、一个资源状态、几类请求和响应事件。与当前问题无关的业务字段、日志格式、UI 行为、数据库实现细节，通常会被省略。第二步是用 Promela 写出模型。
2026-06-25 16:34:02
300
原创 探秘程序的“预言术”：抽象解释与符号执行
一个简单的整数变量就有无限多种可能取值，再叠加上条件分支、循环结构以及复杂的函数调用，程序的执行路径数量会迅速膨胀到天文数字级别。抽象解释采取了一种反直觉但极其有效的策略：主动丢弃一部分不重要的信息，将无穷无尽的具体状态压缩到一个有限且可管理的抽象空间中。在传统的具体执行中，我们给程序输入一个确定的数值，例如x=5，程序输出y=6。例如，对于变量x，我们采用更粗粒度的抽象描述：它可能处于区间[3,7]，或者满足符号性质x>0，又或者属于“偶数”这一类别属性。这个结果虽然不是精确值，但它具有重要的。
2026-05-20 16:54:53
366
原创 汽车数字钥匙安全风险及渗透实践解析
根据奇安信等安全厂商2025年报告的漏洞数据，数字钥匙相关的安全漏洞主要包括失效的访问控制、过度数据暴露、身份认证失效、数字钥匙管理失效等多种类型，可导致未授权定位车辆位置、未授权解锁和启动车辆、敏感信息泄露等严重危害。更令人警惕的是，中继攻击设备在非法渠道中很容易买到，价格从几百到几千元不等，门槛极低。汽车数字钥匙，简单来说是将传统的物理车钥匙功能集成到智能手机、智能手表等移动设备中，通过NFC（近场通信）、蓝牙低功耗（BLE）或UWB（超宽带）等无线通信技术，实现车辆的解锁、锁定和启动。
2026-04-23 13:45:11
620
原创 图形化建模在嵌入式高可信软件开发中的应用
本文将深入探讨SmartRocket Modeler的核心功能之一——图形化建模，详细阐述它如何将复杂、抽象的系统需求，转化为直观、精确、无二义性的可视化模型，从而为构建高可靠性的嵌入式软件奠定坚实的基础。通过提供丰富而精确的建模元素、灵活的设计方式以及强大的模型管理能力，SmartRocket Modeler帮助工程师将错综复杂的嵌入式软件需求，转化为清晰、无二义性、可验证、可执行的模型。这个模型不仅是设计的蓝图，更是后续仿真、验证和代码自动生成的唯一、精确的源头，从根本上解决了传统开发模式的痛点。
2026-04-09 17:27:54
371
原创 嵌入式软件安全解决之道-堆栈分析篇
嵌入式开发中，堆栈溢出是导致系统崩溃的"幽灵Bug"。文章分析了堆栈溢出的危害性，指出传统调试方法难以定位这类问题。重点介绍了现代自动化堆栈分析工具的工作原理：通过静态分析构建调用关系图，结合动态测量获取函数栈帧大小，利用符号执行剔除虚假路径，最终通过实机验证确定最大堆栈消耗。这种"静态建模+动态验证"的方法能精准预测堆栈使用情况，有效预防堆栈溢出问题，提升嵌入式系统可靠性。
2026-04-09 17:24:18
371
原创 智能网联汽车对外通信安全概述
在 V2X 通信场景下，安全测试的核心关注点通常集中在消息机制本身。通过以上海控安 SmartRocket TestSec 为代表的统一测试体系，覆盖 V2X、蜂窝通信、GNSS、Wi-Fi 与蓝牙等关键通信方式，可以更系统地识别对外通信中的潜在风险，为智能网联汽车的安全设计、测试验证和持续演进提供工程化、可落地的技术支撑。因此，行业中逐渐形成了一种更为可行的思路：以通信机制为主线，将 V2X、蜂窝通信、GNSS、Wi-Fi 与蓝牙等测试能力进行统一整合，在同一测试体系内完成协同验证与关联分析。
2026-01-23 15:28:25
539
原创 Android生态中的SDK安全问题解析
2016年的一起案例中，一家广告SDK利用静默下载功能安装特殊插件，在用户点击推送的文章或新闻后自动下载公众号二维码图片，并利用手机辅助功能模拟用户操作，使用户微信自动识别下载的二维码图片，以关注特定的公众号。随着SDK应用规模的持续扩大，SDK本身的安全问题也逐渐得到重视。面对SDK泛滥带来的安全挑战，唯有通过开发者、厂商、研究社区与监管机构的协同努力，建立更严格的审核机制，推行隐私优先的设计理念，强化动态的监测响应能力，才能共同构筑一个既充满创新活力，又值得用户托付的Android生态。
2026-01-23 15:00:58
544
原创 面向复杂系统的嵌入式软件高可信建模与验证方法
Modeler提供的构件库包含数学构件、比较构件、数组/结构体构件、逻辑构件、位构件、时态构件、分支构件、条件块构件、状态机构件和高阶构件等，支持数据流和状态机建模，全面对标SCADE Suite建模算子。嵌入式控制软件是嵌入式系统的重要组成部分，在航空航天、轨道交通、核能电力、汽车电子等安全攸关领域的重要性尤为突出，一旦出现故障，其造成的损失无法接受。为应对这一挑战，上海控安研发了。在实际运行中，由于技术或成本的限制，一般是通过控制系统获得任意两次输入的时间间隔大于系统的响应时间的方式来实现同步假设的。
2026-01-23 14:22:46
617
原创 读懂集成测试，打造坚不可摧的软件基石
只有将所有这些合格的零件组装起来，进行真正的驾驶测试，才能发现发动机与传动系统的匹配、刹车与电路的协同等问题。为此，上海控安的嵌入式软件自动化测试平台SmartRocket TestGrid（以下简称TG）就是一个在嵌入式领域非常专业的智能化测试平台，它能高效地进行自动化集成测试，自动生成测试用例、执行并收集覆盖率，尤其适用于对安全性要求极高的汽车、航天等领域。测试人员可通过集成方案界面，选择不同的集成测试策略，例如自上而下或者自下而上，也可以选择需要测试的代码层级，可手动将某些不关心的函数进行打桩操作。
2026-01-23 13:30:58
580
原创 蓝牙协议栈架构概述
控制器子系统包含了物理层（PHY），链路层（LL），链路层链路管理协议（LMP），链路层控制协议（LLCP），物理层（PHY）收发无线电波，完成数模转换，链路层（LL）构建链路、管理调频与数据流，链路管理协议（LMP）和链路层控制协议（LLCP）分别基于经典和低功耗模式，精细化控制链路安全、功耗与行为。控制器子系统是蓝牙协议栈的硬件底层核心，直接负责射频信号的收发与最基础的链路控制，包括了射频信号的调制解调、跳频、链路管理以及数据包的空中收发，其设计直接决定了设备的无线通信性能、功耗及抗干扰能力。
2026-01-23 11:34:53
753
原创 上海控安：汽车API安全-风险与防护策略解析
在数据存储方面，应采用适当的加密和标记化技术，避免明文存储敏感信息。本文将系统介绍汽车API的基本概念与应用价值，深入剖析其面临的安全威胁，并提供切实可行的防护策略，帮助开发者、车企和用户共同构建更安全的车联网环境。只有通过技术创新、标准协作、人才培养和用户教育的多管齐下，才能构建真正安全可靠的汽车API生态，释放车联网的全部潜力，同时保障用户隐私和道路交通安全。与传统IT系统相比，汽车API的安全风险具有广泛的影响范围和严重的潜在后果，一旦被恶意利用，可能从单纯的数字空间威胁演变为物理世界的安全隐患。
2025-08-28 14:13:32
1370
原创 上海控安：基于模型的测试用例生成
它以具体的模型描述系统的结构、行为和约束条件，通过对设计模型的构建、分析和遍历，利用符号执行方法与SMT求解器（Satisfiability Modulo Theories Solver）自动生成测试用例，覆盖系统的关键功能和潜在故障点。通过对输入的Lustre语言模型进行分析，生成相应的抽象语法树。Modeler的输入为需求模型，通过工程师的建模或导入生成方法得到其设计模型，其设计模型能够通过图形化或者代码字符串的方式进行展示，如下图所示为Modeler官方示例项目Roll Control的图形化界面。
2025-08-28 14:11:40
1001
原创 上海控安：WiFi网络安全攻击
而AP在未收到MSG4的情况下，会进行MSG3的重发，那在受害者发送MSG4和攻击者转发重发的MSG3这段时间内，可以得到一定数量的旧的初始向量（IV）。在受害者收到新的MSG3时，由于此时已经根据前一个MSG3加载了密钥的相关信息，受害者回复的MSG4是加密的。在这个情况下攻击者将之前未加密的MSG4和加密的MSG4同时转发，会导致AP拒绝已加密的MSG4，然后根据旧的MSG4装载了旧的PTK，导致受害者不得不重用原来的初始向量，相当于同一加密密钥在会话加密时使用了相同IV，存在安全漏洞。
2025-08-28 14:07:37
1829
1
原创 上海控安：GB 44495-2024《汽车整车信息安全技术要求》标准解读和测试方案
主要的测试工具包括SmartRocket TestSec自动化智能模糊渗透测试系统，可针对车载总线及车联网协议的自动化智能黑盒模糊渗透测试工具，主要负责汽车通信层面的安全测试，提供各种通信协议的模糊和渗透测试功能，通过自动化、系统化、智能化的模糊渗透测试方法，能够有效发现并修复智能网联汽车通信系统中潜在的安全缺陷，提高智能网联汽车安全性。如图，以测试能力为核心，从“硬件、车外通信、车载网络、软件、数据、升级”六大维度系统化布局，全面支撑智能网联汽车信息安全能力的合规建设和验证，符合法规落地与产业实际需求。
2025-08-28 14:03:29
2074
原创 耦合之殇，软件设计中的隐疾
链接器可以选择解析对文件A中的函数定义的所有调用（情况1），也可以对文件A中对其包含的定义的调用、文件B中对其包含的定义的引用和文件C中的调用中的任何一个进行解析（情况2）。图12中的信息将函数调用关系以表格的形式进行了展示，该表中另外对实际调用过程中传递的参数进行映射，该表不仅展示了调用关系（控制耦合），更进一步包含了调用的参数及其类型（数据耦合），便于用户根据表格和需求进行比对。在生产中，通过记录生产流程中的各个环节及其耦合关系，可以快速追溯质量问题的根源，从而采取有效的改进措施。
2025-04-03 11:01:58
1299
原创 从“被动检测”到“主动预防”，上海控安TestGrid推出动态缺陷检测功能模块
SmartRocket TestGrid嵌入式软件自动化测试平台是专为C/C++设计的静动态代码分析工具，本次新增动态缺陷检测功能模块采用形式化验证技术提前识别除零、移位、空指针解引用、数组越界、数据溢出、未赋值使用、共享变量冲突、不可达代码等运行时错误缺陷，支持MISRA等国际编码规范进行代码合规质量度量，提供精准错误定位和修复建议，显著缩短修复周期，降低风险成本。工具基于形式化验证理论，将代码抽象为数学模型进行符号执行分析，用符号模拟变量状态变化，遍历所有分支路径生成决策树，筛选违规节点定位缺陷。
2025-03-04 14:41:00
1186
原创 鉴源实验室·代码缺陷检查中的数据流分析技术
数据流分析通过追踪变量状态在程序执行路径中的传播过程，为精准识别空指针引用、资源泄漏等隐蔽缺陷提供了系统性解决方案
2025-02-19 14:21:30
868
原创 鉴源实验室·智能网联汽车协议数据传输安全分析与防护
在信息交互过程中，如何防止数据被窃取或篡改、如何确保信息传输的真实性和完整性，成为亟待解决的问题
2025-02-19 14:16:43
1503
原创 鉴源实验室·如何通过雷达攻击自动驾驶汽车-针对点云识别模型的对抗性攻击的科普
01引 言随着自动驾驶技术的迅速发展，雷达和激光雷达等传感器在自动驾驶汽车中的作用愈发重要。它们能够生成3D点云数据，帮助车辆实时感知周围环境并做出安全决策。然而，尽管这些传感器对驾驶环境的检测非常精确，它们也面临一种新兴的威胁——对抗性攻击。对抗性攻击是一种通过微小但精心设计的扰动，旨在欺骗机器学习模型的攻击方式。对于自动驾驶系统而言，这意味着通过对传感器输入的数据进行极小的修改，攻击者可以导致自动驾驶汽车对其周围环境作出错误的判断。例如，在点云识别模型中，攻击者可以通过扰动点云中的数据，使得
2024-11-05 15:42:38
1256
原创 鉴源实验室·加密技术在汽车系统中的应用
PKI主要功能是绑定证书持有者的身份和相关的密钥对（通过为公钥及相关的用户身份信息签发数字证书），为用户提供方便的证书申请、证书作废、证书获取、证书状态查询的途径，并利用数字证书及相关的各种服务（证书发布，黑名单发布，时间戳服务等）实现通信中各实体的身份认证、完整性、抗抵赖性和保密性。一般情况下，不会直接对数据本身直接计算数字签名，数字签名属于非对称加密，数据量大的时候计算数字签名将会比较耗时，所以一般做法是先将原数据进行 Hash 运算，得到的 Hash 值就叫做摘要。密钥管理是加密技术的核心难题之一。
2024-11-05 15:35:39
1740
原创 鉴源实验室·测试设计方法-正交实验法
然后换1个因子变化，固定其余测试因子，已测试实验确定最优取值的取最优值，接下来实验为A1B2C1、A1B3C1，因为A1B1C1在上轮中已完成测试，所以此轮不重复，假设得出B3的结果组合是最好的，那固定下轮实验的有2个因子，即A1B3。同样的当输入条件多，且相互之间有逻辑关联，加上多个中间过程状态的选择，最终可能生成的测试用例数量多的惊人，如上一篇举例中我们输入条件1个，中间状态2个，输出结果3种，共设计了12条测试用例。温度在15摄氏度至25摄氏度之间时，空调不启动，风扇不启动，空调压缩机不启动。
2024-11-05 15:23:07
1711
原创 鉴源实验室·测试设计方法-因果图
如输入条件C1车内温度大于等于25摄氏度为真时，C2、C3不能成立，中间状态的发动起状态和空调按钮状态两个条件的组合对结果的影响为或的关系，结合输入条件C1，我们分析得知，在C1为真时，如果发动机启动为真，空调按钮为假，则结果输出风扇关闭，压缩机关闭；测试中原始的输入触发条件为不同情况下的温度，加上中间节点发动机的启动状态和空调按钮状态，综合判断得出的不同输出结果为风扇和压缩机的组合状态情况。条件间的包含关系，用“I”标识，表示多个条件C1、C2等中，必定至少有一条成立，没有全部条件都不成立的情况。
2024-11-05 15:12:16
812
原创 强制性国标！上海控安参编《汽车整车信息安全技术要求》正式发布
实现车端攻击事件的检测及上报。标准涵盖信息安全管理体系建设、车辆信息安全要求、安全技术要求、测试验证方法等内容，对汽车整车信息安全和数据安全能力提出更符合我国发展现状的严格要求，同时也为车企开展网络安全及信息安全建设提供有效指导。该标准是我国针对智能网联汽车信息安全制定的强制性国家标准，基于当前汽车行业发展现状和管理需求自主制定，旨在提升智能网联汽车信息安全能力，保障汽车网络安全、个人隐私与数据安全。，包含两款标准化的测试工具，能够针对整车、零部件、APP等对象，开展渗透测试、合规测试及符合性测试。
2024-09-05 17:11:37
2306
原创 鉴源实验室·ISO 26262中测试用例的得出方法-边界值分析
在一些项目中，或者公司测试质量规范中会根据实际情况对边界值测试设计选取做要求，除了上述的基本设计选取，在每个边界上的取值数量和步进有要求，如次例中通常会额外要求选取边界值、次边界值、中间值、次中间值，连续取值的步进为整数1。我们依然以上一篇中代码的逻辑来展示边界值的选取设计，示例中逻辑如下：根据获得的传感器温度，在车内温度超过25摄氏度时打开空调，此时风扇启动吹冷风，空调压缩机启动，风扇中档风，返回“空调制冷启动”；边界值设计有效的边界值对应选取为26、14，无效等价类边界值设计为15、25。
2024-07-30 15:57:46
923
原创 鉴源实验室·ISO 26262中测试用例的得出方法-等价类的生成和分析
2. 代码测试用例设计时无效等价类取值的设计，取值通常跟有效等价类值是数据类型相同，但范围限定在无效范围内，即测试的形参是整数型，不管有效等价类或是无效等价类均是整数型，不存在有效等价类是整数型，无效等价类是浮点数型。使用等价类划分方法时，应同时包括有效等价类和无效等价类，有效等价类是设计中合理，正确或有效用的输入集，无效等价类是设计中不合理，不正确或失效的输入集。（6）在确知已划分的等价类中，各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步地划分为更小的等价类。
2024-07-30 15:34:41
1097
原创 鉴源论坛·轨交软件安全性设计及实现
第一篇对轨交信号系统从铁路系统分类和组成、城市轨交系统分类和组成、城市轨交系统功能、城市轨交系统发展方面做了介绍，第二篇从信号基础出发讲述了信号机、转辙机、轨道电路等设置原则和含义，第三篇从轨交系统的安全性设计的必要性、控制设计、需求分析以及实现等方面进行分析，第四篇重点从联锁系统的原理方面进行阐述。唯一、单一目的，包括名称和位定义，功能和作用，使用范围（有效），生存周期（初始状态、运行中的变化条件、状态和时刻、最终状态），使用情况（该标志的模块名和使用方式）。在完成必要的检测功能的前提下，检测点尽量少。
2024-07-30 14:06:43
936
原创 鉴源实验室·HTTP协议网络安全攻击
同时，也是一种客户端-服务端（client-server）协议，也就是说，请求是由接收方—通常是浏览器发起的，客户端与服务端之间通过交换一个个独立的消息（而非数据流）进行通信。这种类型的攻击更多是面向连接层面，以基于线程的Web服务器为目标，通过慢速请求来捆绑每个服务器线程，从而消耗服务器的线程&连接资源。当用受害者被引诱点击一个恶意链接，提交一个伪造的表单，恶意代码便会和正常返回数据一起作为响应发送到受害者的浏览器，从而骗过了浏览器，使之误以为恶意脚本来自于可信的服务器，以至于让恶意脚本得以执行。
2024-07-30 13:40:59
1250
原创 鉴源实验室·基于MQTT协议的模糊测试研究
由于不正确处理非UTF-8编码字符的客户端ID或主题名称而导致的漏洞CVE-2020-13932，攻击者利用了Apache ActiveMQ Artemis 2.5.0到2.13.0（MQTT服务器）中的一个漏洞，在服务器接受包含非UTF-8编码字符的客户端ID和主题名称的MQTT数据包。类似地还有与数据类型相关的漏洞，由于变量的不正确初始化，如在CVE-2019-5917中，通过利用Microsoft Azure的MQTT客户端服务中的未指定的向量，进行了拒绝服务攻击。报文的固定报头保留位必须全为0。
2024-06-28 13:55:32
1343
原创 鉴源论坛·观通丨轨交软件测试技术详述
注：边界测试的数据选择主要针对测试过程中的输入数据，选择输入数据的要求一般选择在数据有效范围的边界和端点，如输入数据a的类型为整型，取值范围为(0,100),(300,500)，则最少选择的边界数据为12个，即每个端点处至少选择3个边界数据；对于嵌入式软件一般不进行安装性测试，安装性测试针对的主要是以安装包的形式提交产品库的要求时进行测试，主要测试的内容包括测试过程的符合性、安装过程的符合性以及卸载后是否存在遗留等。对于接口的测试，应根据接口的具体情况分别对待，如硬件接口，应对硬件接口的每个指标进行测试，
2024-05-14 16:26:59
887
原创 鉴源实验室丨汽车入侵检测系统介绍及测试
在渗透测试阶段，让测试人员进行人工测试是困难的，首先渗透测试对测试人员的网络安全知识有着一定的门槛，其次渗透测试过程涉及的攻击数据生成、测试结果判断等步骤十分繁琐复杂。【4】中总结了一部分数据包生成工具，如图5，但是这些工具几乎没有汽车方面的支持，例如缺少SOME/IP，UDS，DoIP协议的测试功能，因此不能满足车载入侵检测系统的测试需求。在检测识别到车内的异常攻击行为后，通过生成安全日志，并将安全日志上传到汽车安全运营平台（VSOC），是一种有效的攻击行为追溯，监控智能网联汽车安全状态手段。
2024-05-07 14:13:54
1477
原创 鉴源实验室丨智能网联汽车协议模糊测试技术概述
模糊测试通过向系统输入随机、异常或者无效的数据来发现协议栈在处理非预期输入时可能出现的崩溃和安全漏洞，测试重点是协议栈实施的正确性以及协议本身的漏洞，相对渗透测试更为全面；这主要是因为智能网联汽车在通信过程中使用了复杂的协议栈，不仅包括以太网类型的协议（例如SOME/IP协议）还包括现场总线类型的协议（例如CAN总线协议），这些协议在数据格式、传输速率、通信内容等方面具有较大差异，对模糊测试工具的设计提出了较大挑战。生成的测试数据可能更具有代表性，因为它们是根据系统的特征和预期的输入格式精心设计和生成的。
2024-04-17 13:29:06
1368
原创 鉴源实验室丨汽车数据安全标准现状研究
随着法律法规的制定，汽车数据安全相关标准逐步完善。《智能网联汽车 数据通用要求》（征求意见稿）依照《汽车数据安全管理若干规定（试行）》的相关定义和要求，从个人信息和重要数据两方面，给出了汽车全生命周期数据处理活动的安全保障措施指导，是国内首个安全处理措施较为详细的标准，能够较好地指导汽车数据处理者进行数据安全保障。近年来，随着智能化和网联化发展，汽车产生的数据和暴露的接口逐渐增多，数据安全事件频发，如2019年，某汽车制造商的供应链遭到黑客攻击，导致大量汽车数据泄露，包括车辆配置信息、车主个人信息等。
2024-03-13 13:25:34
921
原创 鉴源论坛 · 观模丨形式化工程方法之需求建模(上)
基于模型开发的软件大部分的都是从需求的获取以及分析着手，但是因为对系统的预期功能在软件开发初期往往都不够明确，并且每个参与者的知识背景也不尽相同，因此采用易于人交流和理解的自然语言完成初期的需求文档的设计能够更加便于需求分析人员与领域工程人员的交流，其文档可读性也会比用符号表示的形式化文档有明显的优势。根据具体的领域特征，研制一种具有针对性的形式化描述模板，此模板本质是对用户输入自然语言进行一定的规整化，形成特定的形式化需求呈现形式，方便工程人员在不需要学习形式化知识的前提下就可以使用形式化描述需求。
2024-02-19 13:27:17
1209
原创 鉴源实验室 | Web应用程序常见漏洞浅析
在如今的数字化时代，Web应用程序已经渗透到我们生活的每个角落。从购物平台、社交媒体到企业级系统，无论是用户还是组织，都依赖于这些应用程序来满足各自的业务需求。然而，随着Web应用程序的蓬勃发展，与之而来的网络攻击也日益复杂、防不胜防。这些攻击不仅对用户的隐私和数据构成威胁，还可能对企业造成金融损失、声誉受损等严重危害。因此，理解和防范Web应用程序的常见漏洞变得尤为重要。
2024-01-26 11:18:20
1121
原创 鉴源实验室｜自动驾驶仿真测试技术分析
基于高精度地图及三维重建技术来构建场景，首先需要采集点云、全景图、测绘矢量等非结构化的测绘数据，并将测绘数据结构化，构建厘米级的高精度地图，其中包含路面、道路标线、交通标识等信息，之后以此为基础，使用三维建模软件建立基础设施与周边环境的可视化数字模型。目前，专业的车辆动力学仿真软件，有 CarSim、Prescan、车辆动力学模型包含了车体、悬架系统、转向系统、制动系统、动力系统、 传动系统等多个部分的模型，通过将车辆动力学模型实例参数化之后，就可以实现对仿真车辆模型的转向、加速、制动等行为的模拟和控制。
2024-01-19 15:04:46
1570
原创 实训案例｜上海控安SmartRocket TestGrid（教育版）支持新工科实训课程方案
满足教学适用的细粒度测试操作指导、自动化用例生成与编辑以及检测规则的灵活配置等需求，可以面向实际场景开展软件功能安全测试教学，完善工业软件嵌入式开发教学中的测试能力培训环节。SmartRocket TestGrid嵌入式软件自动化测试平台（教育版）支持实训课程测试阶段的静态分析、单元测试、集成测试和目标机测试等测试任务。基于树莓派的智能小车系统测试功能模块包括：静态分析、单元测试、集成测试和目标机测试。✔ 完成智能小车的循迹、避障等功能的代码实现与测试。适用于嵌入式软件开发教学中的自动化测试能力培训。
2024-01-19 13:12:44
859
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人