Algorithms for Defect Detection in Object Oriented Programs
نویسندگان
چکیده
منابع مشابه
Dynamic Datarace Detection for Object-Oriented Programs
Multithreaded shared-memory programs are susceptible to dataraces, bugs that may exhibit themselves only in rare circumstances and can have detrimental effects on program behavior. Dataraces are often difficult to debug because they are difficult to reproduce and can affect program behavior in subtle ways, so tools which aid in detecting and preventing dataraces can be invaluable. Past dynamic ...
متن کاملStatic Detection of Atomicity Violations in Object-Oriented Programs
Violations of atomicity are possible sources of errors in parallel programs. A violation occurs if the effect of a method execution depends on the execution of concurrent threads that operate on the same or overlapping parts of a shared data structure. All accesses to shared data are assumed to be ordered through synchronization, hence common techniques for data race and deadlock detection are ...
متن کاملTowards Automated Defect Detection: Object-oriented Modeling of Construction Specifications
This paper describes an ongoing research on the representation and reasoning about construction specifications, which is part of a bigger research project that aims at developing a formalism for automating the identification of deviations and defects on construction sites. We specifically describe the requirements on product and process models and an approach for representing and reasoning abou...
متن کاملShaping Object-oriented Programs
Object-oriented programming is valued for the clarity and maintainability of its programs. However, this success is mainly connned to small-scale phenomena, such as re-implementation of a single class: large-scale structures are as obscure and fragile as ever. We ooer shape theory as a means of reasoning about program structure, and improving object-oriented design. In particular, shape analysi...
متن کاملSlicing Object-Oriented Programs
Program slicing has various applications in the fields of software engineering. The Object-Oriented (00) paradigm introduces the features of abstraction, encapsulation, inheritance, and polymorphism to programs, but is not considered current program slicing techniques. In this paper, we define two types of program slices, state and behavior slices, by taking the dependencies of 00 features into...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2006
ISSN: 1812-5638
DOI: 10.3923/itj.2006.876.883