Analysewerkzeug für Java-Programme

Zur Embedded World wird die aicas GmbH erstmals ein vollständig neues Analysewerkzeug für die formale Überprüfung von Java-Programmen vorstellen. Veri­Flux bietet eine vollautomatische, statische Code-Analyse sowohl für vollständige Applikationen als auch für frei definierbare Programmteile. Für eine Analyse sind keine Änderungen in der Applikation selbst notwendig. Mögliche Fehlerquellen wie z.B. Laufzeitfehler oder Thread-bezogene Fehler werden grafisch im Code hervorgehoben. Obwohl VeriFlux von vorneherein für sicherheitskritische Anwendungen konzeptioniert wurde, kann auch die Entwicklung von \’normalen\‘ Java-Anwendungen davon profitieren. Eine frühe Fehlerbeseitigung heißt weniger Fehler und Tests und führt zu einer drastischen Reduzierung der Entwicklungskosten. Um sich persönlich von den Neuerungen zu überzeugen, bietet aicas allen Interessenten die Möglichkeit einer kostenlosen Evaluierung. Embedded World 2010: Halle 11, Stand 109