Unser Partner Konzept-IS bietet ein Plugin zur Integration von Astrées RuleChecker direkt in die Eclipse-Entwicklungsumgebung an.
Features
- Vollständig integrierte Berichte zu allen Regelverstößen
- Schnelle Navigation zu den betroffenen Stellen im Code
- Konfiguration über die Workspace-Einstellungen oder die Projekt-Einstellungen
- Einfaches Ablegen der Astrée-Einstellungen in einer Konfigurationsdatei
- Batch-Mode zur kontinuierlichen Integration
- Unkomplizierte Updates direkt über die Eclipse-Website
Weitere Informationen
- PDF-Flyer (861 kB)
