MathWorks und Lauterbach haben die vollständige Integration der TRACE32-Debug- und Trace-Werkzeuge in die Codeverifikations- und Testumgebung Polyspace angekündigt. Durch die Kombination beider Lösungen lassen sich Testergebnisse konsistent über alle Entwicklungsphasen hinweg reproduzieren. Software kann bereits in frühen Entwicklungsstadien verifiziert und anschließend mit identischem Workflow auf der Zielhardware validiert werden. Das reduziert den Aufwand beim Übergang von virtuellen Testumgebungen zur realen Hardware und erhöht die Aussagekraft der Testergebnisse.
Nach Angaben der Unternehmen profitieren insbesondere Entwickler sicherheitskritischer Embedded-Systeme von der durchgängigen Entwicklungsumgebung. Die TRACE32-Integration steht ab sofort mit Polyspace Release 2026a zur Verfügung. (oe)
