View source for Capture and replay

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

This is the project page for capture & replay debugging

==Overview==
Capture/Replay should be implemented according to [1]:
*After defining the set of observed classes, an instrumented executable should be generated, that records all interactions between observed and unobserved objects.
*For the replay phase, unobserved classes are replaced  with stubs that replay their with the observed classes based on the recorded interactions. Thus it should be possible to replay a run for the set of observed classes.

*Capture/Replay should at least be available for the Workbench (Frozen) C Code. The implementation for melted code is optional. It can't be avoided that parts of the work will depend on the compiler backend that is used. These dependencies should be isolated into separate classes and kept as small as possible.

*The overhead of capture/replay should be measured to see if it could be used in practice.

==Plan==
The project will be divided into several iterations to be able to work with both capture and replay as fast as possible.

===iteration 0===
*Basic Capture
*Basic Replay

===iteration 1===
*Fields
*Expanded Types
*Contracts

===iteration 2===
*Polymorphism
*Genericity
*Onces

===iteration 3===
*Agents
*Tuples
*Externals

[[Image:Schedule 2007-03-27.png|800px]]

==References==
[1] Shrinivas Joshi and Alessandro Orso: Capture and Replay of User Executions to Improve Software Quality


==Common build errors==
Here's a draft of some lessons learned while building eiffel studio:

* gcc: $ISE_EIFFEL/precomp/spec/linux-x86/EIFGENs/base/W_code/preobj.o: No such file or directory --> building of precompiles not successfully finished. Precompile $ISE_EIFFEL.

==Other common errors==
* console applications in debug mode can't read from console, if the hosting eiffel studio was started in the background ('estudio &' instead 'estudio'). This is no bug, as '&' detaches the application from the standard input.

Return to Capture and replay.

Retrieved from "https://dev.eiffel.com/Capture_and_replay"

View source for Capture and replay

Navigation

Development

Wiki

Search

Tools