Polyspace

Software testen und Codequalität bewerten

Haben Sie noch Fragen? Vertrieb kontaktieren.

Polyspace bei Softwaretests und Codeanalyse

Polyspace-Produkte bieten eine einheitliche Lösung zum Verwalten, Messen und Überwachen Ihrer Softwarequalität im gesamten Entwicklungszyklus.

Erstellen Sie umfassende Verifikationen für besonders kritische Codeanweisungen in C, C++ und Ada.
Identifizieren Sie Hunderte von Schwachstellen in C/C++ Code.
Überprüfen Sie Programmierregeln, einschließlich MISRA C™ 2012, AUTOSAR C++14 und CERT^® C/C++.
Verfassen und verwalten Sie Testfälle, führen Sie sie aus und messen Sie die Codeabdeckung auf dem Host und der Zielhardware.
Analysieren Sie die Implementierung der Softwarearchitektur.

Polyspace unterstützt sichere, zuverlässige und leistungsstarke Software

Polyspace-Produkte umfassen Funktionen zum Testen und Verifizieren von Code, so dass Software-Entwicklungsteams diese Qualitätsanforderungen in einer einzigen Umgebung erfüllen können.

Stellen Sie die Softwarezuverlässigkeit durch die Bewertung der Codequalität sicher.
Erhöhen Sie die Softwaresicherheit durch die Ermittlung kritischer Schwachstellen.
Verbessern Sie die funktionale Richtigkeit von Software durch das Erfüllen von anforderungsbasierten Tests.
Entwickeln Sie performante Software durch das Profiling der Ausführung und das Ermitteln suboptimalen Codes.
Unterstützung für Sicherheitsstandards wie DO-178C, IEC 61508, ISO 26262, ISO/SAE 21434.

Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace

„Mit Polyspace können wir die Softwaresicherheit und -qualität gewährleisten, indem wir kritische Laufzeitfehler noch vor jeder Codezusammenführung (Merge) identifizieren und beheben.“
Johannes Foufas, Volvo Cars

Polyspace eignet sich für jeden Entwicklungsprozess

Polyspace-Produkte können in Softwarefabriken, von IDE- bis hin zu CI-Pipelines (kontinuierliche Integration), in der Cloud oder lokal und in viele Entwicklungstools wie Jira oder GitHub integriert werden, um Qualitätsprobleme effizient zu bewältigen.

Überprüfen Sie die Codequalität in der IDE.
Setzen Sie mit der xUnit-Test-API auf Test Driven Development (TDD).
Testen und verifizieren Sie automatisch generierte und von Menschen programmierte Software.
Automatisieren Sie die Testausführung und Codezusicherung in CI-Pipelines.
Wenden Sie in der gesamten Lieferkette standardmäßige Software-Qualitätskriterien an.

Polyspace ermöglicht effiziente Software-Entwicklungsteams

Polyspace-Produkte helfen Softwareentwicklern durch umfassende Dokumentation, Empfehlungen zu Abhilfemaßnahmen sowie Zusammenarbeit bei der Softwarequalität dabei, ihre Programmier- und Testkompetenz zu verbessern.

Verbessern Sie die Programmierkenntnisse von Softwareentwicklern, indem sie aus Programmierfehlern in ihrer IDE lernen.
Statten Sie Qualitätstechniker mit einer einheitlichen Plattform aus, auf der sie die Codequalität messen und Testanforderungen erfüllen können.
Ermöglichen Sie es Softwarearchitekten, die Codeimplementierung des architektonischen Entwurfs zu verifizieren.
Unterstützen Sie DevOps-Entwickler beim Integrieren von Software-Qualitätstools in ihre Softwarefabrik.
Bieten Sie der Software-Entwicklungsleitung eine einheitliche Sicht auf die Qualität von Projekten.

Streamlining Compliance to ASPICE, ISO 26262, and ISO/SAE 21434 with Polyspace Static Code Analysis

„Mit Polyspace konnten wir unsere Qualitätsziele erfüllen und dabei effizienter werden bzw. bleiben.“
David Tuset, Ficosa International

Polyspace unterstützt Embedded-Projekte in den verschiedensten Branchen

Automobilindustrie

Sorgen Sie für einheitliche Softwarequalität aller Fahrzeugkomponenten in der gesamten Automobil-Lieferkette. Verifizieren Sie die Qualität der Embedded Software hinsichtlich aller Domänen, einschließlich Fahrwerk, passive oder aktive Sicherheit, Antriebsstrang und EV/BMS.

HL Klemove verbessert Code-Qualität für fortgeschrittene Fahrerassistenzsysteme mit Polyspace Bug Finder

Luftfahrt-, Raumfahrt- und Rüstungsindustrie

Bewerten Sie die Verlässlichkeit der Embedded Software in Satelliten, Flugzeugen, Hubschraubern und anderen Verteidigungssystemen, die für den Erfolg eines Auftrags unerlässlich sind.

Leonardo beschleunigt Entwicklung und Compliance-Nachweis der Radar-Navigationssoftware nach DO-178C

Medizinprodukte

Bestätigen Sie die Qualität von Embedded Software in Infusionspumpen, implantierten Therapiesystemen, Robotikplattformen und anderen lebenswichtigen Medizinprodukten. Erfüllen Sie IEC 62304-Bescheinigungen bis zu Geräten der Klasse III.

Miracor beseitigt Laufzeitfehler und reduziert Testzeit für die Software von Medizinprodukten der Klasse III

Halbleiter und Kommunikation

Verifizieren Sie unternehmenskritische Systeme, die fehlerresistent sind und die Angriffsfläche mit hochwertiger Software minimieren.

Miele weist Abwesenheit von Laufzeitfehlern in der Regelsoftware für die gesamte Produktlinie nach

Weitere Anwenderberichte ansehen

Polyspace-Produktfamilie

Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.