Skip to Main Content
ASME Press Select Proceedings

International Conference on Software Technology and Engineering, 3rd (ICSTE 2011)

By
Mohamed Othman
Mohamed Othman
Search for other works by this author on:
Raja Suzana Raja Kasim
Raja Suzana Raja Kasim
Search for other works by this author on:
ISBN:
9780791859797
No. of Pages:
760
Publisher:
ASME Press
Publication date:
2011

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
This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal