Debugging Object-Oriented Programs with Behavior Views
2005-04-06
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Debugging Object-Oriented Programs with Behavior Views
Alternative title
Authors
Published Date
2005-04-06
Publisher
Type
Report
Abstract
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of these tasks, the software developers must be able to monitor the progress of the tasks during execution and check whether the actions for these tasks have been performed correctly. This paper presents a debugger to facilitate this monitoring. The debugger introduces a new kind of abstraction, the behavior views, that can be used to specify how the actions for a program task are expected to occur in various scenarios.
Enhanced with statements that can check properties at various steps during the progress of the task, a behavior view can be used to monitor whether the actions for the tasks have been performed at the right time, on the right set of data, and with the right effects on the program states. Our initial case study indicates that the debugger can be useful for localizing bugs.
Keywords
Description
Related to
Replaces
License
Series/Report Number
Technical Report; 05-013
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
Other identifiers
Suggested citation
Liang, Donglin; Xu, Kai. (2005). Debugging Object-Oriented Programs with Behavior Views. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/215654.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.