Konzept Informationssysteme GmbH
Konzept Informationssysteme GmbH
Ihr Partner für Hightech-Entwicklungen

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 Astrée in die IDE integriert. KERCI bietet ein schnelles und einfach zu verwendendes Interface, um einen Astrée-Lauf zu starten und zeigt Alarme und Fehler direkt in Eclipse als "Problem Marker" an.

Funktionsweise und integrierte Astrée-Funktionen

KERCI integriert eine Startoption für den Astrée-Lauf in das Rechts-Click-Kontextmenü des Eclipse Project Explorers. Um einen Lauf zu starten wird eine temporäre Astrée-Projektdatei auf Basis eines vorgegebenen Astrée-Projektfiles (.dax) erstellt, erweitert um Selektionen und Include-Pfade aus Eclipse. Astrée-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 Astrée-Konfiguration für KERCI verwendet werden.

KERCI ist für den Einsatz mit Astrée Checks entworfen, die während Astrées "Parse"- und "Source"-Phasen geprüft werden. Es ist nicht als Ersatz für die Astrée-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

Wenn Sie Interesse an KERCI oder weitere Fragen haben, dann zögern Sie nicht, uns zu kontaktieren:

 




•••