MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Generating Software Tests

Andreas Zeller
Fachrichtung Informatik - Saarbrücken/CISPA
Joint Lecture Series
AG 1, AG 2, AG 3, INET, AG 4, AG 5, SWS, RG1, MMCI  
Public Audience
English

Date, Time and Location

Wednesday, 7 November 2018
12:15
60 Minutes
E1 5
002
Saarbrücken

Abstract

Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, starting with simple random “fuzzing” generators and then proceeding to more effective grammar-based and coverage-guided approaches. Being fully automatic and easy to deploy, such fuzzers run at little cost, yet are very effective in finding bugs: Our own Langfuzz grammar-based test generator for JavaScript runs around the clock for the Firefox, Chrome, and Edge web browsers and so far has found more than 2,600 confirmed bugs. Our latest test generator prototypes are even able to automatically learn the input language of a given program, which allows to generate highly effective tests for arbitrary programs without any particular setup.

Contact

Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only

Uwe Brahm, 09/12/2018 17:54
Jennifer Müller, 09/05/2018 13:11 -- Created document.