Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Saarländer durchforstet als erster die Fehlerdatenbank von Microsoft

01.06.2006


Die aufwendige Suche nach Fehlern in großen Computerprogrammen ist für Softwareentwickler zeit- und nervenaufreibend und treibt die Entwicklungskosten in die Höhe. Hunderttausende von Befehlszeilen müssen unter Umständen durchsucht werden, um einen einzigen Fehler im Programm aufzuspüren. Mit neuen Strategien zur automatischen Fehlersuche können diese Probleme bald der Vergangenheit angehören.


Andreas Zeller, Professor für Softwaretechnik an der Universität des Saarlandes, hat eine Software entwickelt, die vollautomatisch genau die Stellen in Computerprogrammen bestimmt, die einen Fehler verursachen. Diese für Hersteller wichtige Informationen werden von Experten ausgewertet, um die Qualität der Software mit der nächsten Version zu verbessern.

Prominentes Beispiel für den Einsatz des automatisierten Fehlersuchprogramms von Andreas Zeller ist der Software-Riese Microsoft. Der Informatikprofessor durfte als erster Wissenschaftler die Datenbanken von Microsoft systematisch durchsuchen. Hier werden alle eingehenden Fehlerprotokolle der Anwender dokumentiert. Die Analyse ist aufwendig, da verschiedene Faktoren, wie Komplexität des Fehlers, das Vorhandensein bestimmter auch in anderen Situationen zu Fehlern führende Programmmerkmale oder aber die Person des Programmierers, der den Fehler verursacht oder behoben hat, eine Rolle spielen. Mit Wenn-Dann-Aussagen werden Zusammenhänge und Wahrscheinlichkeiten aufgedeckt, um den Fehlerursachen auf die Spur zu kommen. Somit können nicht nur die fehlerträchtigen Stellen gefunden, sondern auch Prognosen für ihr Auftreten erstellt werden.


Die Vorhersage, in welchen Teilen eines Produktes in Zukunft Fehler auftreten, ist für Microsoft von großem Interesse, da diese Stellen besonders sorgfältig geprüft werden müssen. Aktuell nutzt Microsoft dieses Wissen, um das Betriebssystem Windows Vista, das kurz vor der Markteinführung steht, auf die Anfälligkeit von Fehlern zu testen. Zeller hat im Vorfeld bereits eine Prognose abgegeben: Stimmt seine Vorhersage, ist ihm ein Beratervertrag bei Microsoft sicher.

Kontakt:
Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik
Universität des Saarlandes
Im Stadtwald
66123 Saarbrücken
Tel.: (06 81) 3 02-6 4010
E-Mail: zeller@cs.uni-sb.de

Helga Hansen | Innovationseinblicke Saarland
Weitere Informationen:
http://www.st.cs.uni-sb.de/zeller
http://www.innovation.saarland.de

Weitere Berichte zu: Computerprogramm Fehler Fehlerdatenbank Vorhersage

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Datenschutz: Vom Stressfaktor zum Kinderspiel
19.03.2019 | Telekom/DataGuard

nachricht Der virtuelle Graue Star
18.03.2019 | Technische Universität Wien

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Die Zähmung der Lichtschraube

Wissenschaftler vom DESY und MPSD erzeugen in Festkörpern hohe-Harmonische Lichtpulse mit geregeltem Polarisationszustand, indem sie sich die Kristallsymmetrie und attosekundenschnelle Elektronendynamik zunutze machen. Die neu etablierte Technik könnte faszinierende Anwendungen in der ultraschnellen Petahertz-Elektronik und in spektroskopischen Untersuchungen neuartiger Quantenmaterialien finden.

Der nichtlineare Prozess der Erzeugung hoher Harmonischer (HHG) in Gasen ist einer der Grundsteine der Attosekundenwissenschaft (eine Attosekunde ist ein...

Im Focus: The taming of the light screw

DESY and MPSD scientists create high-order harmonics from solids with controlled polarization states, taking advantage of both crystal symmetry and attosecond electronic dynamics. The newly demonstrated technique might find intriguing applications in petahertz electronics and for spectroscopic studies of novel quantum materials.

The nonlinear process of high-order harmonic generation (HHG) in gases is one of the cornerstones of attosecond science (an attosecond is a billionth of a...

Im Focus: Magnetische Mikroboote

Nano- und Mikrotechnologie sind nicht nur für medizinische Anwendungen wie in der Wirkstofffreisetzung vielversprechende Kandidaten, sondern auch für die Entwicklung kleiner Roboter oder flexibler integrierter Sensoren. Wissenschaftler des Max-Planck-Instituts für Polymerforschung (MPI-P) haben mit einer neu entwickelten Methode magnetische Mikropartikel hergestellt, die den Weg für den Bau von Mikromotoren oder die Zielführung von Medikamenten im menschlichen Körper, wie z.B. zu einem Tumor, ebnen könnten. Die Herstellung solcher Strukturen sowie deren Bewegung kann einfach durch Magnetfelder gesteuert werden und findet daher Anwendung in einer Vielzahl von Bereichen.

Die magnetischen Eigenschaften eines Materials bestimmen, wie dieses Material auf das Vorhandensein eines Magnetfeldes reagiert. Eisenoxid ist der...

Im Focus: Magnetic micro-boats

Nano- and microtechnology are promising candidates not only for medical applications such as drug delivery but also for the creation of little robots or flexible integrated sensors. Scientists from the Max Planck Institute for Polymer Research (MPI-P) have created magnetic microparticles, with a newly developed method, that could pave the way for building micro-motors or guiding drugs in the human body to a target, like a tumor. The preparation of such structures as well as their remote-control can be regulated using magnetic fields and therefore can find application in an array of domains.

The magnetic properties of a material control how this material responds to the presence of a magnetic field. Iron oxide is the main component of rust but also...

Im Focus: Goldkugel im goldenen Käfig

„Goldenes Fulleren“: Liganden-geschützter Nanocluster aus 32 Goldatomen

Forschern ist es gelungen, eine winzige Struktur aus 32 Goldatomen zu synthetisieren. Dieser Nanocluster hat einen Kern aus 12 Goldatomen, der von einer Schale...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Größte nationale Tagung 2019 für Nuklearmedizin in Bremen

21.03.2019 | Veranstaltungen

6. Magdeburger Brand- und Explosionsschutztage vom 25. bis 26.3. 2019

21.03.2019 | Veranstaltungen

Teilchenphysik trifft Didaktik und künstliche Intelligenz in Aachen

20.03.2019 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Die Zähmung der Lichtschraube

22.03.2019 | Physik Astronomie

Saarbrücker Forscher erleichtern durch Open Source-Software den Durchblick bei Massen-Sensordaten

22.03.2019 | HANNOVER MESSE

Ketten aus Stickstoff direkt erzeugt

22.03.2019 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics