Architecture Verification
Enforces your intended software architecture and blocks unwanted dependencies, so the structure holds as the codebase grows.
Explore
Static Code Analysis
Finds coding-standard violations, security weaknesses, and quality issues across C, C++, C#, CUDA, and Rust. TÜV-certified.
Explore
Code Coverage
Measures exactly what your tests execute, down to MC/DC, with TÜV-certified tooling and native C++, QML support, and more.
Explore
Automated GUI Testing
Automated GUI testing and visual verification by computer vision, across more than twenty UI frameworks, from desktop and web to embedded and MCU targets.
ExploreTest Center
Brings every automated and manual result together, links them to requirements, and turns testing into audit-ready evidence.
Explore
Software Quality is Built Into Every Stage, not Added at the End
When defects are introduced at every stage of development, quality cannot wait for a single check before release. These tools work at each point where problems begin, so issues are found early, when they are cheapest to fix.
Architecture That Holds as the Codebase Grows
Axivion Architecture Verification enforces your intended structure and blocks unwanted dependencies at every build, so the design cannot silently drift as the code changes.
- Architecture checks, recovery, and archaeology to model and enforce structure
- Freedom-from-interference for mixed-criticality systems
- Cycle detection, dead-code, and clone management keep large codebases clean
- Axivion MCP feeds architecture data to your AI agent to catch violations as code changes
Code That Meets Your Coding Standard
Axivion Static Code Analysis finds coding-standard violations, security weaknesses, and quality issues across C, C++, C#, CUDA, and Rust, in a single project.
- MISRA, AUTOSAR C++14, CERT, and CWE at 100% of automatically testable rules
- C, C++, C#, CUDA, and Rust analysed together, with issues caught at the interfaces
- SGS-TÜV Saar certified to ISO 26262 (ASIL D), IEC 61508 (SIL 4), IEC 62304 (Class C)
- Axivion MCP feeds rule sets and findings to your AI agent for guided fixes
Prove Exactly What Your Tests Reach
Coco measures exactly what your tests execute, down to MC/DC, with TÜV-certified tooling and native coverage for both C++ and QML.
- MC/DC, branch, statement, and function coverage from one instrumentation pass
- Native C, C++, C#, SystemC, Tcl, QML, and Python, including Qt Quick Ultralite on MCUs
- Qualification Kits for ISO 26262, DO-178C, IEC 62304, and EN 50128, no framework lock-in
- Coco MCP Server lets an AI agent query coverage, write tests for the exact gaps, and re-measure (Preview, Coco 7.5.0+)
Confirm the Interface Works, Where the User Sees it
Squish automates GUI testing for Qt and non-Qt applications across desktop, mobile, web, embedded, and MCU, covering more than twenty UI frameworks.
- Qt Widgets and QML, Java Swing/SWT, .NET WinForms/WPF, web, iOS, and Android
- Squish Vision (beta): visual verification that survives UI redesigns, no object maps
- Windows, Linux, macOS, plus embedded and RTOS targets including QNX and VxWorks
- Squish MCP turns Cursor, Copilot, Windsurf, and Claude Code into autonomous testing agents that explore and drive your app
Every Result in one Place, Traced to a Requirement
Test Center brings every quality result together across tools, builds, branches, and teams, turning continuous testing into certification-ready evidence.
- Aggregates Squish GUI results and JUnit/xUnit unit tests, per build and per branch
- Requirements Traceability Matrix maps results directly to requirements
- Integrates with Jira, Xray, Zephyr, and TestRail, plus Jenkins and Azure DevOps uploads
/QA_icon_time_enhanced-80x80.png){kind=icon}
I'm building with Qt
If you build on Qt, these tools do things no other toolset can
Coco and Squish understand QML and Qt natively, which is where most other tools struggle on Qt Quick applications and QML interfaces:
-
Coco gives real coverage evidence for Qt Quick and Qt Quick Ultralite on MCUs.
-
Squish supports Qt Widgets and Qt Quick directly, from the group that develops Qt itself.
Squish Vision, in beta, validates Qt interfaces by computer vision, so tests survive QML redesigns without object maps. Axivion analyses the C++ that Qt applications are built from and enforces your standards across the whole codebase. No competing toolchain matches native QML coverage and native Qt interface testing together.
I'm building with something else
Tools that work with any framework, language, and hardware
-
Squish covers 20+ UI frameworks.
-
Axivion analyses C, C++, C#, CUDA, and Rust with the major rule sets, no Qt required.
-
Coco works with any test framework and cross-compilers such as GCC, Clang, MSVC, and IAR, down to bare metal.
-
Test Center aggregates results from any CI/CD pipeline and toolchain.
You can add a single tool or the whole suite to your existing stack, with no lock-in.
Axivion, Coco, and Squish are how They Talk to Your Test, Code, and Data
Axivion, Coco, and Squish connect to Claude Code, GitHub Copilot, Cursor, and Windsurf over the open Model Context Protocol, so quality is checked as code is written.
Each server exposes real tool data over MCP:
- Axivion: Serves its rule sets, findings, and architecture data, so the agent triggers analysis and explains violations.
- Coco: Serves runtime coverage from an instrumented build, so the agent writes tests for the exact untested locations and re-measures.
- Squish: Serves the live UI state, so the agent explores and drives the running application.
All inside the editor your team already uses.
Engineered for Your Industry's Edge
Built for industries that cannot tolerate software failure. Every team here already knows its safety standard inside out; what they need is to ship on time, pass audit the first time, and keep software certifiable for as long as it runs.