更新时间:2026年4月7日
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等多种脚本语言,适用于敏捷开发和持续集成环境。
Qt框架
Qt框架Qt Framework是全球领先的跨平台C++应用程序开发框架,支持桌面、移动端和嵌入式平台开发。通过单一代码库即可创建跨平台软件,被全球150多万开发者使用,广泛应用于汽车、工业自动化、医疗设备等领域。
Qt设计工作室
Qt设计工作室Qt Design Studio是Qt Group推出的跨平台用户界面设计工具,专为设计师和开发者协同工作而设计。支持从Figma导入设计,自动生成QML代码,可在目标设备上实时预览和测试,适用于嵌入式设备和桌面应用开发。
Coco
CocoCoco是Qt Group旗下的代码覆盖率分析工具,帮助开发者评估测试完整性。支持C、C++、C#等多种编程语言,提供语句覆盖、分支覆盖、条件覆盖等多种覆盖率指标,适用于功能安全认证和软件质量保证。
测试中心
测试中心Test Center是Qt Group旗下的测试结果管理和分析平台,帮助团队集中管理测试结果、跟踪测试进度、分析测试趋势。支持与Squish、Coco等Qt工具集成,提供可视化报告和仪表盘,适用于敏捷开发和持续集成环境。
Qt微控制器版
Qt微控制器版Qt for MCUs是专为微控制器设计的轻量级UI框架,允许在资源受限的嵌入式设备上创建丰富的图形用户界面。支持QML语言开发,提供硬件加速优化,适用于智能家居、工业控制、医疗设备等领域。

软件推荐

Polarion
PolarionPolarion是西门子推出的ALM(应用生命周期管理)平台,提供需求管理、测试管理、缺陷跟踪、版本控制等功能。软件支持敏捷开发和瀑布模型,广泛应用于汽车、航空航天、医疗设备等行业。
PTC Codebeamer
PTC CodebeamerCodebeamer是PTC公司旗下的应用生命周期管理(ALM)软件,于2022年通过收购Intland Software获得。软件提供需求管理、软件开发管理、测试管理等功能,支持云部署和本地部署,广泛应用于汽车、航空航天、医疗器械等安全关键行业。
S7-PLCSIM
S7-PLCSIMS7-PLCSIM是西门子推出的PLC仿真软件,可在无硬件环境下模拟PLC运行。软件支持在计算机上仿真S7-300/400/1200/1500等系列PLC,帮助工程师进行程序调试和验证。
SIPM/BCF
SIPM/BCFSIPM/BCF是思普软件开发的协同商务框架平台,于2004年全球首个实现MDA技术的商业化平台,彻底解决了标准软件与个性化应用之间的矛盾,只要通过建立业务模型就能实现业务的IT化。
PathWave BenchVue软件
PathWave BenchVue软件PathWave BenchVue软件是是德科技推出的仪器控制和自动化测试平台,支持数百种是德科技仪器。软件提供直观的图形化界面,工程师可以轻松控制仪器、记录数据、创建自动化测试序列,实现快速测量和数据分析。
TIA Portal(博途)
TIA Portal(博途)TIA Portal(博途)是西门子推出的全集成自动化工程平台,整合STEP7和WinCC,支持S7-1200/1500/1800等全系列PLC。软件提供统一的软件开发环境,涵盖PLC编程、HMI设计、驱动调试等功能,是工业自动化工程师的必备工具。

产品咨询

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

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