Document Actions

You are here: Home Newsroom Press Releases 2017 Quality assurance – done …

Quality assurance – done automatically

Freiburg research team once more wins the gold medal at the International Software Verification Competition

Freiburg, Feb 07, 2017

Quality assurance – done automatically

Screenshot of the algorithm in action

Automatic quality assurance for software, carried out by a machine which reads the program line by line and analyses the software’s behavior so that every error is found – Professor Andreas Podelski together with Dr. Matthias Heizmann and Dr. Daniel Dietsch of the University of Freiburg have developed an algorithm which will enable just that in the future. With this “Ultimate Automizer” project, the Freiburg research team has won the International Competition on Software Verification for a second time.

The algorithm uses a novel procedure to check each component in a given software independently. When the procedure stops, the algorithm either reports any errors or guarantees the  absence of errors. For the competition, the algorithm was tested on several thousand programs - and was shown to be faster and more reliable than the approaches of the 29 other teams.

Big companies like Airbus employ experts to ensure the reliability of their software. “Yet it is the small and medium-sized enterprises in high-tech industries which really need automatic quality management in the long term. They do not have the highly-specialized employees to conduct manual testing,” Podelski explains.

The Freiburg researchers won the Competition on Software Verification just last year with their “Ultimate Automizer” project. It is based on a software analysis approach which Podelski and his working group have been developing since 2009. The research from more than 40 Bachelor’s, Master’s, and Doctoral theses has contributed to the project.

Some companies in the Freiburg region have already begun to use the algorithm. In the future, the researchers are aiming to better integrate the automatic quality management into the industrial development processes. The goal is to tailor the algorithm precisely to the different standards of software quality.

The prize will be awarded 27 April at the TACAS conference in Uppsala, Sweden.

Professor Dr. Andreas Podelski
Institute of Informatics
University of Freiburg
Phone: 0761/203-8241

Printable version (pdf) of the press release.

German Press Release