Suchen

Forschungsbeitrag zu Bug Injector GrammaTech erhält Auszeichnung

| Autor / Redakteur: Martin Hensel / Stephan Augsten

Der Spezialist für Software-Assurance-Tools GrammaTech hat für einen Forschungsbeitrag den „Distinguished Paper Award“ des Institute of Electrical and Electronics Engineers (IEEE) erhalten.

Firmen zum Thema

GrammaTechs Arbeit rund um den Bug Injector wurde vom IEEE ausgezeichnet.
GrammaTechs Arbeit rund um den Bug Injector wurde vom IEEE ausgezeichnet.
(Bild: GrammaTech)

Das IEEE Technical Council on Software Engineering (TCSE) hat GrammaTechs Forschungsbeitrag zum Thema Bug Injector ausgezeichnet. Der Award wurde im Rahmen der International Working Conference zu Source Code Analysis & Manipulation (SCAM) nach mehreren Reviews und Abstimmungen durch die Komiteemitglieder überreicht.

Bugs gezielt einschleusen

Der Bericht von GrammaTech beschreibt mit Bug Injector ein System zur automatischen Erstellung von Benchmarks, die der individuellen Evaluierung von Tools zur statischen Code-Analyse dienen. Dazu ergänzt Bug Injector echte Programme gezielt um Fehler auf Basis von Bug-Templates, die als Testfälle für die entsprechenden Tools dienen. Die Bugs werden zudem mit einem gezielten Programm-Input verknüpft, der den jeweiligen Fehler auslöst.

Auf diese Weise kann GrammaTech unter anderem Test-Benchmarks „on demand“ realisieren, die verschiedene Anforderungen erfüllen. Zudem sind individuelle Benchmarks möglich, um Tools für spezifische Einsatzszenarien wie beispielsweise eine vorgegebene Codebasis oder Fehlerklasse evaluieren zu können.

In einem Blog-Eintrag nennt GrammaTech weitere Details. Dort ist auch ein Whitepaper zum Thema zu finden.

(ID:46349016)