KERCI

Konzept Enhanced RuleChecker
Integration (KERCI) für Eclipse

KERCI ist ein Plugin für die Eclipse (CDT) IDE, das Kodier-Regel-Prüfungen mit AbsInt A3C RuleChecker in die IDE integriert. KERCI bietet ein schnelles und einfach zu verwendendes Interface, um einen RuleChecker-Lauf zu starten und zeigt Alarme und Fehler direkt in Eclipse als "Problem Marker" an.

Funktionsweise und integrierte RuleChecker-Funktionen

KERCI integriert eine Startoption für den RuleChecker-Lauf in das Rechts-Click-Kontextmenü des Eclipse Project Explorers. Um einen Lauf zu starten wird eine temporäre A3C-Projektdatei auf Basis eines vorgegebenen A3C-Projektfiles (.dax) erstellt, erweitert um Selektionen und Include-Pfade aus Eclipse. RuleChecker-Alarm- und Fehlermeldungen werden nach Abschluß des Laufs in Eclipse "Problem Marker" umgewandelt und somit direkt im Editor angezeigt.

Dank dieses flexiblen Ansatzes kann jede statische RuleChecker-Konfiguration für KERCI verwendet werden.

KERCI ist für den Einsatz mit RuleChecker Checks entworfen, die während der "Parse"- und "Source"-Phasen geprüft werden. Es ist nicht als Ersatz für die A3C-GUI bei einer vollständigen Laufzeitfehleranalyse geeignet.

Anforderungen an Eclipse-Projekte

KERCI benötigt konfigurierte Eclipse-Projekte. Im Besonderen muss ein Eclipse-Projekt folgenden Anforderungen genügen:

  • Projekt in C/C++

  • Include-Pfade sind gesetzt

Ihr Schritt zu einer integrierten
Tool-Kette

  • Zeitsparende und einfache Integration der Astrée-Kodierregel-Prüfungen und Messungen in eine der weltweit führenden auf C/C++ basierenden IDE‘s

  • Einfache Integration von Astrée-Prüfungen für Eclipse-Projekte in kontinuierliche Integrations-Server per KERCI-Stapelverarbeitung

  • Anzeige von Regelverletzungen für jeden Alarm in der Eclipse IDE-Umgebung

  • Effiziente Alarmbehandlung durch direkte Navigation zu Problemstellen

  • Konfiguration über Eclipse-Workspace-Voreinstellungen oder Projekteigenschaften

  • Weiterverteilung von Astrée-Einstellungen über separat definierbare Konfgurationsdatei

  • Einfache Installation und Aktualisierung über Eclipse-Update-Site

Systemanforderungen

Software Version
Betriebssystem Windows 7 (64 bit)
Java Runtime Environment (JRE) 1.7 oder höher
AbsInt Astrée 16.04 oder höher
Eclipse 4.3 (Kepler) oder höher
Eclipse Plugin "CDT" Version 8.2

SIE BENÖTIGEN HILFE ODER HABEN
FRAGEN ZU KERCI?


kerci@konzept-is.de

Nur einen Moment..
Wird geladen.