Klocwork 2026.1版本发布摘要：该版本引入AI辅助代码修复功能，通过与VS Code和GitHub Copilot集成提升缺陷修复效率；新增对Rust语言的完整支持，提供原生检查器和Clippy集成；强化合规性报告功能，支持添加缺陷状态理由说明。其他关键更新包括：CI质量门禁强制执行、反向代理URL配置、SARIF格式输出支持，以及新增50余个C/C++/Rust代码检查器（含12个M

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智能助手的协同工作，我们为开发团队提供了更加高效、准确的代码质量保障方案。未来，我们将继续优化模型性能，扩展支持范围，为更多开发团队提供高质量的智能开发助手服务。• 实现了工