Integration von Astrée in Ihre Entwicklungsumgebung

Wir stellen Ihnen ein Plugin zur automatischen Integration von Astrée in Jenkins kostenlos zur Verfügung.

Sample Astrée analysis results in Jenkins

Jenkins-Logo

Features

  • Vollautomatische Überprüfung Ihrer Jenkins-Builds auf Laufzeitfehler, Data-Races und die Einhaltung von MISRA-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

Download