-
![嵌入式软件测试的10条秘诀]()
-
![汽车软件的模糊测试]()
汽车软件的模糊测试
01ISO/SAE 21434与模糊测试随着AI（Artificial Intelligence，人工智能）、移动通讯、大数据及物联网等新技术、新基础设施建设的高速发展，汽车，尤其是新能源汽车已不再是简单的交通工具，而是逐渐向智能终端转变，安全问题也随之凸显。2021年8月31日，汽车信息安全领域首个国际标准ISO/SAE 21434（道路车辆-网络安全工程）正式发布，众多OEM厂商（Origin
2025-07-15 digiproto
-
![嵌入式软件调试的发展历程]()
嵌入式软件调试的发展历程
从20世纪70年代单片机的出现发展至今，随着高性能的计算平台和多核系统的引入，更复杂的处理器架构被应用于高度复杂的程序中，嵌入式软件调试的需求也随之增加。
2025-06-23 digiproto
-
![概念：四种基于模型的嵌入式软件开发、测试与验证方法]()
概念：四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境，开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证，并进行最终的产品部署。
2025-06-09 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
![故障注入的方法与工具]()
故障注入的方法与工具
测试软件可靠性的诸多方法中，较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具，人为地将故障注入系统并采集系统反应行为信息，从而进行可靠性分析。
2025-06-04 digiproto
-
![“数字孪生”：为什么要仿真嵌入式系统？]()
“数字孪生”：为什么要仿真嵌入式系统？
众所周知，嵌入式系统通常是形式多样的、面向特定应用的软硬件综合体，无论是软件还是硬件都必须被高效率地设计，量体裁衣、去除冗余，具备低功耗、小体积、高集成度等特点，且通常有着高实时性、高可靠性的要求。
2025-04-22 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
