Computer Science – Software Engineering
Scientific paper
2003-10-22
Computer Science
Software Engineering
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Se
Scientific paper
In order to design and implement tracers, one must decide what exactly to trace and how to produce this trace. On the one hand, trace designs are too often guided by implementation concerns and are not as useful as they should be. On the other hand, an interesting trace which cannot be produced efficiently, is not very useful either. In this article we propose a methodology which helps to efficiently produce accurate traces. Firstly, design a formal specification of the trace model. Secondly, derive a prototype tracer from this specification. Thirdly, analyze the produced traces. Fourthly, implement an efficient tracer. Lastly, compare the traces of the two tracers. At each step, problems can be found. In that case one has to iterate the process. We have successfully applied the proposed methodology to the design and implementation of a real tracer for constraint logic programming which is able to efficiently generate information required to build interesting graphical views of executions.
Deransart Pierre
Ducass'e Mireille
Langevine Ludovic
No associations
LandOfFree
Rigorous design of tracers: an experiment for constraint logic programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Rigorous design of tracers: an experiment for constraint logic programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rigorous design of tracers: an experiment for constraint logic programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-664961