MathWorks erweitert seine Polyspace-Produktfamilie durch zwei neue Codeverifizierungs-Tools: Polyspace Code Prover und Polyspace Bug Finder. Die Tools sind Bestandteil des neuen Release 2013b. Sie bieten End-to-End Software-Verifizierungsfunktionen auch für den Einsatz in frühen Entwicklungsphasen und decken die Suche nach statischen Fehlern, das Prüfen von Codierungsregeln, das Erzeugen von Code-Metriken sowie den Beweis der Abwesenheit von Laufzeitfehlern ab. Dank dieser Funktionen kann die Robustheit von Embedded Software gewährleistet werden, die unter den höchsten Qualitäts- und Sicherheitsanforderungen eingesetzt wird.
Polyspace Code Prover ist ein auf formalen Methoden basierendes Verifizierungstool mit dem die Korrektheit bestimmter Code-Eigenschaften überprüft wird. Ingenieure, die mit der Verifikation ihres Codes beauftragt sind, können mit Polyspace Code Prover nachweisbar ermitteln, ob und wo mögliche Laufzeitfehler auftreten werden. Die Überprüfung wird durch farbkodierte, beweisgestützte Ergebnisse erleichtert, was einen effizienten Entwicklungsprozess von hochqualitativer Software ermöglicht. Darüber hinaus nutzt Polyspace Code Prover die MATLAB-Plattform, wodurch Anwender Zugriff auf leistungsstarke MATLAB-Funktionen erhalten, wie ein robustes Scheduling an Computer-Cluster, Skripte für die Automatisierung, Darstellung von Ergebnissen sowie Berichterstellung für die Zertifizierung. Polyspace Code Prover enthält nun Funktionen, die zuvor in Polyspace Client for C/C++ und Polyspace Server for C/C++ verfügbar waren.
Polyspace Bug Finder identifiziert Laufzeitfehler und weitere Fehlerquellen in Embedded Software. Mithilfe statischer Analysen werden in Polyspace Bug Finder der Kontrollfluss und der Datenfluss funktionsübergreifend analysiert. Das Tool kann eine Vielzahl verschiedener Probleme auffinden wie numerische Fehler, Speicherfehler und sonstige Programmierfehler. Anders als bei der herkömmlichen manuellen Überprüfung können Ingenieure nun fehlerhaften Code mit Polyspace Bug Finder schnell identifizieren, bewerten und korrigieren, woduch der Entwicklungsprozess beschleunigt wird. Zudem überprüft das Tool die Einhaltung von Codierungsstandards wie MISRA und JSF++ sowie anwenderspezifischen Regeln und stellt Metriken für die Qualität und Komplexität des Codes bereit. Wie schon Polyspace Code Prover greift auch Polyspace Bug Finder für Scheduling, Skripte und Ergebnisdarstellung auf die MATLAB-Plattform zurück. Beide Produkte verfügen über Simulink-Integration für den Einsatz mit automatisch generiertem Code.
"Da die Polyspace-Produktfamilie eine umfassende Lösung zur Codeverifizierung darstellt, können Ingenieure schnell mehr Vertrauen in Qualität und Sicherheit von Embedded Software durch den gesamten Entwicklungsprozess aufbauen", sagt Paul Barnard, Marketing Director für Design Automation bei MathWorks. "Dank statischer Analysen und auf formalen Methoden basierenden Verifizierungstechniken bieten Polyspace Bug Finder und Polyspace Code Prover Ingenieuren die Möglichkeit, Fehler bereits in frühen Entwicklungsphasen zu finden und nachzuweisen, dass ihre Software sicher und für die Auslieferung bereit ist."
Polyspace Code Prover und Polyspace Bug Finder sind ab sofort erhältlich.
Polyspace Code Prover ist ein auf formalen Methoden basierendes Verifizierungstool mit dem die Korrektheit bestimmter Code-Eigenschaften überprüft wird. Ingenieure, die mit der Verifikation ihres Codes beauftragt sind, können mit Polyspace Code Prover nachweisbar ermitteln, ob und wo mögliche Laufzeitfehler auftreten werden. Die Überprüfung wird durch farbkodierte, beweisgestützte Ergebnisse erleichtert, was einen effizienten Entwicklungsprozess von hochqualitativer Software ermöglicht. Darüber hinaus nutzt Polyspace Code Prover die MATLAB-Plattform, wodurch Anwender Zugriff auf leistungsstarke MATLAB-Funktionen erhalten, wie ein robustes Scheduling an Computer-Cluster, Skripte für die Automatisierung, Darstellung von Ergebnissen sowie Berichterstellung für die Zertifizierung. Polyspace Code Prover enthält nun Funktionen, die zuvor in Polyspace Client for C/C++ und Polyspace Server for C/C++ verfügbar waren.
Polyspace Bug Finder identifiziert Laufzeitfehler und weitere Fehlerquellen in Embedded Software. Mithilfe statischer Analysen werden in Polyspace Bug Finder der Kontrollfluss und der Datenfluss funktionsübergreifend analysiert. Das Tool kann eine Vielzahl verschiedener Probleme auffinden wie numerische Fehler, Speicherfehler und sonstige Programmierfehler. Anders als bei der herkömmlichen manuellen Überprüfung können Ingenieure nun fehlerhaften Code mit Polyspace Bug Finder schnell identifizieren, bewerten und korrigieren, woduch der Entwicklungsprozess beschleunigt wird. Zudem überprüft das Tool die Einhaltung von Codierungsstandards wie MISRA und JSF++ sowie anwenderspezifischen Regeln und stellt Metriken für die Qualität und Komplexität des Codes bereit. Wie schon Polyspace Code Prover greift auch Polyspace Bug Finder für Scheduling, Skripte und Ergebnisdarstellung auf die MATLAB-Plattform zurück. Beide Produkte verfügen über Simulink-Integration für den Einsatz mit automatisch generiertem Code.
"Da die Polyspace-Produktfamilie eine umfassende Lösung zur Codeverifizierung darstellt, können Ingenieure schnell mehr Vertrauen in Qualität und Sicherheit von Embedded Software durch den gesamten Entwicklungsprozess aufbauen", sagt Paul Barnard, Marketing Director für Design Automation bei MathWorks. "Dank statischer Analysen und auf formalen Methoden basierenden Verifizierungstechniken bieten Polyspace Bug Finder und Polyspace Code Prover Ingenieuren die Möglichkeit, Fehler bereits in frühen Entwicklungsphasen zu finden und nachzuweisen, dass ihre Software sicher und für die Auslieferung bereit ist."
Polyspace Code Prover und Polyspace Bug Finder sind ab sofort erhältlich.
