Tracing is Generic
Speaker: Leighton Brough, ITEE
When: 2006-12-14 13:30:00
Venue: 78-420
Host: Prof Paul Bailes
Abstract:Software execution tracing is a widely used and effective
technique. It is used in software engineering processes including
debugging, testing, reverse-engineering, program comprehension,
profiling and dynamic visualisation. Despite this, generally
applicable principles for the design of correct, useful tracing
systems are lacking. In practice most systems are designed on an ad
hoc basis. The primary aim of this project is to attempt to derive a
set of generic principles for tracing, independent of programming
paradigm or language. The feasibility of automatic,
paradigm-independent execution tracing will be demonstrated by
expressing different principles and policies of tracing as
parameters to suitably abstract denotational semantic definitions.
Biography:(biography unavailable)
Type: Ph.D confirmation
Contact:Prof Paul Bailes, seminar host (paul@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)