Exploiting Static Abstractions of Data Structures for Debugging
نویسندگان
چکیده
There is a variety of inferred program behavior models. They might miss some features because they are approximating not the program specification but the implementation. In this paper, we present a discrete model to avoid this problem by generating data for approximating object relations arising from the program execution. The data is a collection of object relations which can be used for debugging structural properties provided by the user.
منابع مشابه
Diagnosing Java Programs with Static Abstractions of Data Structures
Model-based software debugging helps users to find program errors and thus to reduce the overall costs for software development. In this paper, we extend our previous work to diagnose common data structure errors. The proposed logical program model derives from a collection of indexed object relations, which capture the underlying data structures at the abstraction level of objects. A case stud...
متن کاملDebugging Scandal—The Next Generation
In 1997, the general lack of debugging tools was termed “the debugging scandal” [7]. Today, as new languages are emerging to support software evolution, once more debugging support is lagging. The powerful abstractions offered by new languages are compiled away and transformed into complex synthetic structures. Current debugging tools only allow inspection in terms of this complex synthetic str...
متن کاملModels for computational steering
This paper describes a conceptual model for computational program steering. By exploiting previous results attained in program monitoring, debugging, and connguration, the abstractions and mechanisms derived from this model are shown suitable for both algorithmic and human interactive steering. A characterization of existing systems for computational steering using the model's abstractions demo...
متن کاملAssigning Blame: Mapping Performance to High Level Parallel Programming Abstractions
Parallel programs are increasingly being written using programming frameworks and other environments that allow parallel constructs to be programmed with greater ease. The data structures used allow the modeling of complex mathematical structures like linear systems and partial differential equations using high-level programming abstractions. While this allows programmers to model complex syste...
متن کاملA Static Analysis for Program Understanding and Debugging
This paper presents a static pointer analysis technique for a subset of C. The tool supports user-defined assertions inserted in the body of the program. Assertions are of two kinds: static assertions automatically verified by the analyser, and hypothetical assertions treated as assumptions by the analyser. The technique deals with recursive data structures and it is accurate enough to handle c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004