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, Datenwettläufe und die Einhaltung von MISRA-Regeln
- Ausführliche Analyseberichte direkt in Ihrem Jenkins-Workspace
- Direktzugriff auf die Analyseergebnisse über das Jenkins-Webinterface
- Sie können Builds automatisch fehlschlagen lassen, wenn die Analyseergebnisse 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
