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éelauf 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:

  • c/c++ Projekt
  • Include-Pfade sind gesetzt

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

 




•••