in der neuen Edition MISRA CHECK 4 ASCET.

MISRA CHECK 4 ASCET ist eine automatische Review Lösung für ETAS ASCET. Damit Sie Zeit für die wichtigen Dinge im Leben zurückgewinnen. Mit Hilfe eines individuell auf Ihren Entwicklungsprozess angepassten Anforderungskatalogs, prüfen Sie mit einem Klick.

Automatische Reviews

MISRA CHECK 4 ASCET deckt Inkonsistenzen  jeglicher Art schnell auf und kann diese darüber hinaus bewerten und korrigieren. Die Lösung ist per Klick in ASCET integrierbar, erstellt automatisch Prüfprotokolle und ermöglicht den sofortigen Zugriff auf Fehlerstellen, z.B.:

• Maximale Konformität des generierten Codes mit MISRA-C gewährleisten
• Überprüfen der Code-Generator-Optionen 
• Konventionsprüfung für einheitliches Layout und Design
• Namenskonventionen (Semantik-Check gegen Glossar)
• Codierungsregeln (Datentypen, Wertebereiche, Initialisierungen)
• Strukturregeln für Architekturen und Verhaltensmodelle
• Best Practice Analysen zur Aufdeckung von Anomalien
• Durchgängige Traceability von gefunden Fehlern zum Model 

Hier klicken, Testversion runterladen und 30 Tage umsonst testen.