Skip to Main Content
Skip Nav Destination
ASME Press Select Proceedings

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

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:
No. of Pages:
ASME Press
Publication date:

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.

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.
You do not currently have access to this chapter.
Close Modal

or Create an Account

Close Modal
Close Modal