logo
Links auf weitere News: Firma    Testwell CMT++/CMTJava    Testwell CTC++    CodeSentry    CodeSonar    Imagix    Events/Seminare    ALLE NEWS




ESE Kongress

Bug-Hunting mit Statischer Codeanalyse: Vortrag auf dem ESE-Kongress gibt Überblick

(Sindelfingen/Deutschland, 5. Dezember 2013)

Der Fachvortrag "Bug-Hunting mit Statischer Codeanlyse" von Professor Dr. Daniel Fischer (Hochschule Offenburg) und Andreas Behr (Verifysoft Technology GmbH) auf dem Embedded Software Engineering-Kongress in Sindelfingen gab den zahlreichen Besuchern einen umfassenden Überblick über die verschiedenen Varianten der statischen Codeanalyse und zeigte, wie die "tickenden Zeitbomben" in der Software effizient aufgedeckt werden können.
Verifysoft war wie auch in den vergangenen Jahren auf dem diesjährigen ESE-Kongress wieder mit einem eigenem Stand vertreten und informierte über Code-Coverage auf kleinen Targets, Vermeidung von Software-Erosion und statische Codeanalyse. Unter allen Besuchern an unserem Messestand wurde ein 2-Tages-Seminar "Testen von Embedded Software" inkl. Hotelübernachtung verlost. > weitere Infos

Mitgründer von GrammaTech zum Mitglied der Academia Europaea gewählt

(Ithaca, New York/USA, 24. Oktober 2013)

Dr. Thomas Reps, Präsident und Mitgründer von GrammaTech, ist zum Mitglied der führenden europäischen Akademie Academia Europaea gewählt worden. "Hiermit wird seine bahnbrechende Forschung über die automatische Programmanalyse und die EDV-Sicherheit geehrt. Die Grundlage dafür ist seine Arbeit an der Wisconsiner Universität und bei GrammaTech", erklärt Professor Dr. Dr. h.c. Reinhard Wilhelm von der Universität des Saarlandes in Saarbrücken, der selbst auch Mitglied der Akademie ist.
Ziel der Academia Europaea ist es, die höchstmöglichen Standards in Wissenschaft, Forschung und Bildung durch die Förderung interdisziplinärer und internationaler Forschung anzuregen.

US Navy wählt GrammaTech für die Verbesserung der Softwaresicherheit

Ithaca (New York/USA), 19. August 2013

GrammaTech hat von der US Navy den Auftrag zur Entwicklung eines Tools bekommen, welches die Fähigkeit hat, böswillige Angriffe zu erkennen und hierauf zu reagieren. Die GrammaTech-Forscher werden in diesem Projekt eine Kombination von automatischer Programmanalyse und manuellen Tuningtechniken nutzen, um ein Modell des beabsichtigten Verhaltens der Software zu erstellen, seine wichtigsten Eigenschaften zu erfassen und die Ereignisse zu bestimmen, die verfolgt werden müssen. Das Werkzeug wird zusätzlichen Schutz für sicherheitskritische Systeme bieten.

GrammaTech kündigt Integration von CodeSonar® in die Eclipse-IDE an

(Ithaca, New York/USA, 23. April 2013)

Das statische Code-Analyse-Werkzeug GrammaTech CodeSonar wird in die Eclipse-Entwicklungsumgebung integriert. Hierdurch können Entwickler Programmierfehler, die durch CodeSonar aufgedeckt worden sind, direkt in der Eclipse-Umgebung korrigieren.
Die statische Codeanalyse von CodeSonar wird direkt aus Eclipse heraus gestartet werden können. Fehler können dadurch schon vor dem Einschecken gefixt werden. Die Ergebnisse werden automatisch mit dem zentralen Server synchronisiert und erlauben somit eine effiziente Verwaltung der Korrekturaktivitäten. Wenn ein Nutzer beispielsweise eine Warnung mit einer hohen Priorität einstuft, wird dies für seine Kollegen sichtbar. Ebenfalls können Ergebnisse von verschiedenen Analyseläufen verglichen werden.
Das CodeSonar-Eclipse-Plug-In wird im Spätsommer verfügbar sein. Kunden mit gültiger Softwarewartung erhalten das Plug-In ohne Zusatzkosten.