Debugging Programs with Contract Information


In this work, we present a debugging methodology for debugging programs with contract information. The contracts are specified using pre and post conditions for the functions present in the program being debugged. A detailed function execution sequence trace containing the function invocation chain along with actual parameter values is given to us. Our debugging methodology analyzes the trace and attempts to localize the function(s) that have been called violating their contracts, thereby leading to the possibility of a bug. We have implemented the proposed automated debugging methodology into a prototype tool.

  • Abstract
  • Key Words
  • 1 Introduction
  • 2. Debugging with Contract Preconditions
  • 3. Architecture of the Debugging Framework
  • 4. Conclusion
  • 5. References

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In