"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security, reliability, and compliance while reducing cost and effort.
Parasoft C/C++test provides static analysis, unit testing, code coverage, and requirements traceability for C and C++ applications. It integrates with Eclipse and Visual Studio, supports CI/CD automation, and is TÜV‑certified for safety‑ and security‑critical systems.
Parasoft C/C++test CT is a scalable, compliance‑ready solution for C and C++ teams. It integrates into CI/CD workflows, supports open‑source unit testing frameworks, containers, VS Code, Bazel build systems, eliminates IDE dependencies, and is TÜV‑certified for safety‑ and security‑critical development."
Learn more
Virtuoso QA is an enterprise agentic test automation platform setting the standard of proof for software releases. As AI accelerates how software is built, Virtuoso QA helps organisations release with confidence through governed, agentic automation for functional, regression and end-to-end testing across any browser-based application, from Dynamics 365, Salesforce and SAP to Guidewire and custom-built systems. Virtuoso QA turns requirements, designs, live applications or existing suites into executable journeys. Through Touchstone, its agentic layer, brings in 30+ specialised agents to do the work, grounded in your sources and standards. The Analyst turns documentation into source-cited test requirements, the Architect designs the journeys that prove them, and Autopilot builds each one. Your team reviews and approves each stage, so nothing enters the suite on trust. Tests run on a deterministic engine within existing CI/CD pipelines, and self-healing fixes are proposed as reviewable diffs, keeping test suites current without manual rework.
Every release is backed by evidence of what was tested, what changed and who approved it. That is why organisations in financial services, insurance, healthcare and the public sector trust Virtuoso QA where releases carry consequences.
Learn more
HUnit
HUnit is a unit testing framework for Haskell, inspired by the JUnit tool for Java. It's easy to use HUnit, assuming you are familiar with Haskell, though not necessarily with JUnit. A test-centered methodology for software development is most effective when tests are easy to create, change, and execute. The JUnit tool pioneered support for test-first development in Java. HUnit is an adaptation of JUnit to Haskell, a general-purpose, purely functional programming language. With HUnit, as with JUnit, you can easily create tests, name them, group them into suites, and execute them, with the framework checking the results automatically. Test specification in HUnit is even more concise and flexible than in JUnit, thanks to the nature of the Haskell language. HUnit currently includes only a text-based test controller, but the framework is designed for easy extension. Run the tests as a group.
Learn more
