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.