TargetLink
RuleChecker bietet Unterstützung für TargetLink, den Seriencode-Generator von dSPACE.
TargetLink erzeugt automatisch Seriencode für grafisch spezifizierte Modelle direkt aus MathWorks’ MATLAB/Simulink/Stateflow. Dadurch wird die Entwicklungszeit drastisch reduziert und die Qualität des Seriencodes deutlich verbessert.
Der automatisierte Austausch zwischen TargetLink und RuleChecker ermöglicht eine nahtlose Integration von Regelüberprüfungen in Ihre Entwicklungsumgebung. Für jede TargetLink-Rootfunktion können Alarme über mögliche Regelverletzungen unmittelbar in TargetLink eingesehen werden. Fehler und Bugs können bereits in einem frühen Entwicklungsstadium erkannt und spätere Integrationsprobleme vermieden werden.
Dank der statischen Analyse benötigen Sie keinen Hardwareprototypen, auf dem Sie das System erst laufen lassen.
- Die Ergebnisse sind schnell verfügbar, keine Hardware ist vonnöten.
- Die Analysen können automatisiert laufen, z. B. nach jeder Modelländerung.
Die TargetLink-Integration wird von RuleChecker unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können RuleChecker 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.
ARM Keil µVision
Das Installationspaket für RuleChecker beinhaltet auch ein Plugin für ARM Keil µVision.
Eine Kurzanleitung zur Installation und Benutzung finden Sie auf unserem YouTube-Kanal.
Eclipse
Wir bieten ein Plugin, mit dem Sie RuleChecker-Analysen auf Ihren C- und C++-Projekten in Eclipse laufen lassen können.
Die Analyseergebnisse werden direkt in Eclipse angezeigt. Für jeden Fehler wird ein Eclipse-Marker erzeugt und zur entsprechenden Stelle in der Quelldatei verlinkt. Bei Bedarf kann zur näheren Untersuchung eines Fehlers der RuleChecker-Klient direkt aus Eclipse heraus geöffnet werden.
Jenkins
Wir stellen auch ein Plugin zur automatischen Integration von RuleChecker in Jenkins kostenlos zur Verfügung.
- Vollautomatische Überprüfung Ihrer Jenkins-Builds auf die Einhaltung von MISRA- und sonstigen Regeln
- Ausführliche Analyseberichte direkt in Ihrem Jenkins-Workspace
- Direktzugriff auf die Analyse-Ergebnisse über das Jenkins-Webinterface
- Builds können automatisch fehlschlagen, wenn die Analyse-Ergebnisse Ihren persönlichen Vorgaben nicht entsprechen
- Für jeden Build wird eine eigene Analyse-Revision abgelegt, damit Sie den Entwicklungsprozeß leicht überwachen und dokumentieren können
Das Plugin kann von jenkins.io oder GitHub kostenlos heruntergeladen werden.