Perforce QAC 2025.4版本带来多项重要更新：推出精简CI/CD安装包，新增VS Code AI辅助代码修复功能，增强C++17语言支持（包括类模板参数推导），扩展Windows API动态内存分析。Validate平台完成品牌重塑并改进安全性，同时优化编译器支持与IDE插件。产品正式更名为Perforce QAC，许可证管理改为年度版本制。注意部分命令将在2026.1版本移除，建议

该版本还增强了构建系统集成的能力，改进了对Bazel和Android 15的C/C++分析支持，以及使用 Gradle 为混合 Kotlin 和 Java 项目提供更好的构建捕获。从 Klocwork 2025.4 开始，将不再提供或支持 Visual Studio 2015 的 IDE 插件，以配合 Microsoft 对 Visual Studio 2015 的扩展支持的终止。性能提升是通过增

汽车芯片和集成电路（IC）是高级驾驶员辅助系统（advanced driver assistance systems-ADAS）和联网自动驾驶汽车（connected autonomous vehicles-CAV）的基础。尽管IC已经变的非常可靠和耐用，但依然会发生故障。例如物理现象（如电迁移）可以引起开路和短路，从而对IC造成永久损害。宇宙辐射中的阿尔法粒子会撞击集成电路并破坏存储器的内容。最

架构分析与设计语言（AADL）是专为应用软件及执行平台架构模型设计的语言，兼具文本与图形化的双重特性。○ AADL ARINC653附录(AS-5506/1A Annex A)○ AADL错误模型v2.0(AS-5506/1A Annex E)○ AADL行为附录v2.0(AS-5506/3 Annex D)• 支持旧版AADL模型转换至v2.2（属性关联存在部分限制）• AADL运行时环境仿真（

然而，传统方式存在明显痛点：代码分析结果需要人工解读、测试用例设计耗时耗力、工具使用复杂、报告撰写繁琐。本项目成功将大模型技术应用于代码质量分析和单元测试领域，实现了从"人工操作"到"智能自动化"的转变。通过QAC和TESSY智能助手的协同工作，我们为开发团队提供了更加高效、准确的代码质量保障方案。未来，我们将继续优化模型性能，扩展支持范围，为更多开发团队提供高质量的智能开发助手服务。• 实现了工

支持汽车、航空航天及工业以太网协议，包括 802.1Q TSN、802.1Qav/AVB 信用整形器、802.1Qbv 时间感知整形器、802.1Qcr 异步流量整形器、802.1Qbu 帧抢占、802.1CB 帧复制、802.1Qci 筛选、802.1AS-2020 时钟同步、10BASE-T1S、SOME/TP（TP）、DDS、DoIP 和 AVTP。RTaW-Pegase 支持汽车、航空航天

架构分析与设计语言（AADL）是专为应用软件及执行平台架构模型设计的语言，兼具文本与图形化的双重特性。○ AADL ARINC653附录(AS-5506/1A Annex A)○ AADL错误模型v2.0(AS-5506/1A Annex E)○ AADL行为附录v2.0(AS-5506/3 Annex D)• 支持旧版AADL模型转换至v2.2（属性关联存在部分限制）• AADL运行时环境仿真（

随着目前大型复杂武器系统的研制和国家重点预研项目任务越来越多，开发与测试工作越来越重。作为智能化装备的核心，嵌入式软件的比重明显加大，开展自动化的嵌入式软件测试工作，已成为提升装备系统研发质量与研发效率的重要工作。目前，装备嵌入式软件的自动化测试，更多的还是依赖代码级别的白盒测试工具；黑盒动态测试还主要是根据不同的装备需求，研发配套的工装系统，测试效率和测试深度都有很大缺陷。主要表现在以下几点：.

然而，传统方式存在明显痛点：代码分析结果需要人工解读、测试用例设计耗时耗力、工具使用复杂、报告撰写繁琐。本项目成功将大模型技术应用于代码质量分析和单元测试领域，实现了从"人工操作"到"智能自动化"的转变。通过QAC和TESSY智能助手的协同工作，我们为开发团队提供了更加高效、准确的代码质量保障方案。未来，我们将继续优化模型性能，扩展支持范围，为更多开发团队提供高质量的智能开发助手服务。• 实现了工

随着航空电子技术发展，总线技术已经成为航空电子系统最重要的组成部分。由于航空及航天电子系统的构造变的更加复杂，整个系统的数字化信息量急剧增加，所以传统的RS232、ARINC429、CAN等总线已经不能满足现在新型航空和航天电子系统的需求。1394总线技术是目前较为先进的航空电子总线技术之一，它是在IEEE-1394b协议的基础上进行了修改和约束，提出了AS5643协议。该协议通过数据传输、总线同