Parasoft ist ein Anbieter von Software-Prüftechnik. Diese Technologie wird für die Validierung und Überprüfung verschiedener (sowohl system- als auch eingebetteter) Software-Artefakte in Branchen wie Automobil-, Luft- und Raumfahrt, Finanzen, Telekommunikation und medizinischer Geräte verwendet. Diese wird in modernen Softwareentwicklungsprozessen eingesetzt, also Organisationen, die agile Prozesse mit hohem Automatisierungsgrad (kontinuierliche Integration und Bereitstellung) einsetzen und die Softwarequalität überwachen. Die wichtigsten Funktionalitäten des Parasoft-Lösungs-Portfolios sind: statische Analyse, Unit-Tests (Generierung), Risikoanalysen, Sicherheitsanalysen, Regressionstests, Penetrationstests, Last- & Performance-Tests sowie Service-Virtualisierung.Parasoft setzt einen systematischen Entwicklungs- und Testprozess ein und verwendet unter anderem maschinelles Lernen, um Code automatisiert zu analysieren und Schwachstellen zu lokalisieren.
