更新时间:2026年3月15日
Axivion套件

Axivion套件

Axivion Suite是Qt Group旗下的静态代码分析和架构验证工具集,可自动检测代码中的潜在问题,确保软件架构的一致性和安全性。支持MISRA、CERT等编码规范,适用于汽车、医疗等安全关键行业。

软件厂商: Qt集团
系统支持:Windows/Linux/macOS
授权方式:商业授权

Axivion Suite是Qt Group旗下的静态代码分析和架构验证工具集,专为解决软件侵蚀问题而设计。软件开发是一个不断累积的过程,新的依赖关系总是被引入到软件的各个部分中,导致代码库越来越臃肿,越来越难以理解、修改和维护。Axivion Suite通过静态代码分析、架构验证和依赖关系管理,有效应对软件架构侵蚀问题。

Axivion Suite的核心功能包括静态代码分析、架构验证、依赖关系分析、代码克隆检测、死代码检测等。静态代码分析功能可以自动检测代码中的潜在问题,包括编码规范违规、潜在缺陷、安全漏洞等。架构验证功能可以确保代码符合预期的架构设计,防止架构偏离。依赖关系分析功能可以帮助开发者理解和修复架构中的违规行为,防止复杂性和依赖关系的增加。

Axivion Suite支持多种编码规范和行业标准,包括MISRA C/C++、CERT C/C++、AUTOSAR C++14、CWE等。开发者可以根据项目需求选择合适的编码规范进行检查。Axivion Suite还支持企业自定义规则,开发者可以定义符合企业内部规范的检查规则。

Axivion Suite特别适用于安全关键行业,如汽车、医疗、航空航天等。在汽车行业,Axivion Suite支持ISO 26262功能安全标准,可以帮助开发者开发符合安全要求的软件。在医疗行业,Axivion Suite支持IEC 62304医疗器械软件标准。Axivion Suite还支持英伟达CUDA C++编码指南,可以帮助开发者开发符合安全要求的GPU加速应用程序。

相关资讯

暂无相关资讯

Qt集团 其他软件

Squish
SquishSquish是Qt Group旗下的跨平台GUI自动化测试工具,支持Qt、Web、Java、iOS等多种技术栈。提供录制回放、脚本编写、数据驱动测试等功能,支持Python、JavaScript等多种脚本语言,适用于敏捷开发和持续集成环境。
Coco
CocoCoco是Qt Group旗下的代码覆盖率分析工具,帮助开发者评估测试完整性。支持C、C++、C#等多种编程语言,提供语句覆盖、分支覆盖、条件覆盖等多种覆盖率指标,适用于功能安全认证和软件质量保证。
Qt框架
Qt框架Qt Framework是全球领先的跨平台C++应用程序开发框架,支持桌面、移动端和嵌入式平台开发。通过单一代码库即可创建跨平台软件,被全球150多万开发者使用,广泛应用于汽车、工业自动化、医疗设备等领域。
Qt微控制器版
Qt微控制器版Qt for MCUs是专为微控制器设计的轻量级UI框架,允许在资源受限的嵌入式设备上创建丰富的图形用户界面。支持QML语言开发,提供硬件加速优化,适用于智能家居、工业控制、医疗设备等领域。
Qt Creator
Qt CreatorQt Creator是Qt官方推出的跨平台集成开发环境,专为Qt应用程序开发者设计。集成了代码编辑、调试、项目管理等功能,支持C++、QML等多种语言开发,提供可视化UI设计工具,显著提升开发效率。
测试中心
测试中心Test Center是Qt Group旗下的测试结果管理和分析平台,帮助团队集中管理测试结果、跟踪测试进度、分析测试趋势。支持与Squish、Coco等Qt工具集成,提供可视化报告和仪表盘,适用于敏捷开发和持续集成环境。

软件推荐

TIA Portal(博途)
TIA Portal(博途)TIA Portal(博途)是西门子推出的全集成自动化工程平台,整合STEP7和WinCC,支持S7-1200/1500/1800等全系列PLC。软件提供统一的软件开发环境,涵盖PLC编程、HMI设计、驱动调试等功能,是工业自动化工程师的必备工具。
杉数求解器COPT
杉数求解器COPT杉数求解器COPT是杉数自主研发的针对大规模优化问题的高效数学规划求解器套件,是目前同时具备线性规划、混合整数规划、二阶锥规划、半定规划、凸二次规划等多种问题求解能力的综合性能数学规划求解器,多项指标达到世界先进水平。
S7-PLCSIM
S7-PLCSIMS7-PLCSIM是西门子推出的PLC仿真软件,可在无硬件环境下模拟PLC运行。软件支持在计算机上仿真S7-300/400/1200/1500等系列PLC,帮助工程师进行程序调试和验证。
金蝶AI苍穹
金蝶AI苍穹金蝶AI苍穹是新一代企业级AI平台,以AI+云+数据原生深度融合为核心,构建数据原生、AI原生、云原生三原生一体的技术架构,提供智能体与SaaS应用全场景落地能力。
MATLAB
MATLABMATLAB是美国MathWorks公司开发的一款商业数学软件,用于算法开发、数据分析、可视化和数值计算,广泛应用于工程计算、控制设计、信号处理、图像处理、金融建模等领域,是工程师和科学家的核心计算工具。
Unity
UnityUnity是Unity Technologies推出的实时3D开发平台,提供从个人版到企业版的完整解决方案,支持游戏开发、电影制作、建筑可视化、工业仿真等多个领域,适用于不同规模的开发者和企业。

产品咨询

需要购买咨询或技术支持,请填写以下信息,软件服务商将尽快于您联系。

验证码:? + ? = ?
提交即表示您同意我们的隐私政策