Wir stellen Ihnen ein Plugin zur automatischen Integration von Astrée in Jenkins kostenlos zur Verfügung.
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
