IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2014 > Improving the reliability of software systems using their intrinsic redundancy
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Alessandra Gorla

lunes 28 de abril de 2014

10:30am Meeting room 302 (Mountain View), level 3

Alessandra Gorla, Post-doctoral Researcher, Saarland University, Germany

Improving the reliability of software systems using their intrinsic redundancy

Abstract:

Software is often redundant, in the sense that some operations are designed to behave like others but their executions differ. This redundancy can be introduced deliberately, as in the case of N-version programming, or it can be intrinsically present due to common design and development practices. I will present and discuss the notion of intrinsic redundancy and I will show that it exists and can be exploited to improve the reliability of software systems. I will first present a technique that uses such redundancy to automatically recover from runtime failures. I will then present another use of intrinsic redundancy to generate testing oracles.