• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Model-Level Back-in-Time Debugging of State Machine Systems

Winje, Jonas
Master thesis
View/Open
Winje.pdf (2.142Mb)
Year
2009
Permanent link
http://urn.nb.no/URN:NBN:no-22650

Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3608]
Abstract
When a program failure occurs, the cause of that failure cannot always be found in the reached state of the program. Back-in-time debuggers address this issue by storing information about the program's execution history, but face challenges where performance and scalability are concerned.

Our approach is restricted to systems of state machines. The transitions can execute at nearly full speed since we merely save data from one state machine after each transition. Our debugger offers a model-level view of the running system, dealing with transitions and signal passing rather than individual code statements.

We offer empirical data on time and space overheads and we have evaluated the usability of our debugger on a set of students in a course with UML modelling. And we discuss the problems associated with reverting the state of a system during runtime.
 
When a program failure occurs, the cause of that failure cannot always be found in the reached state of the program. Back-in-time debuggers address this issue by storing information about the program's execution history, but face challenges where performance and scalability are concerned.

Our approach is restricted to systems of state machines. The transitions can execute at nearly full speed since we merely save data from one state machine after each transition. Our debugger offers a model-level view of the running system, dealing with transitions and signal passing rather than individual code statements.

We offer empirical data on time and space overheads and we have evaluated the usability of our debugger on a set of students in a course with UML modelling. And we discuss the problems associated with reverting the state of a system during runtime.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy