se logo Chair of Software Engineering
eth logo


Master Thesis

Type of project:
Master Thesis, April 2010 - September 2010

Arno Fiva

Capture and Replay Framework For Eiffel

Supervising Assistant:
Yi Wei


The ability to reproduce a program execution has many applications. Especially in software debugging, reproducing a failure is often time consuming if not impossible. Can we automate the task? The goal of this master project is to design and implement a framework to reproduce executions for Eiffel programs. The framework uses Capture/Replay, a technique to reproduce program executions by simulating the environment a program was previously exposed to. With the framework, we were able to automatically reproduce executions covering both sequential and concurrent programs. Further experiments showed that capturing entails acceptable time overhead, even for large GUI applications containing several million lines of code.