Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge

Authors:
Safeeullah Soomro;Franz Wotawa
Affiliations:
Department of Computer Sciences, Yanbu University College, Yanbu Al-Sinaiyah, Kingdom of Saudi Arabia;Technische Universit"at Graz, Institute for Software Technology (IST), Graz, Austria A-8010
Venue:
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Year:
2009

Citing 12
Cited 1

Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative simulation

Artificial Intelligence
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis

Artificial Intelligence
Readings in qualitative reasoning about physical systems

Readings in qualitative reasoning about physical systems
Aspect: detecting bugs with abstract dependences

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based diagnosis of hardware designs

Artificial Intelligence
Programmers use slices when debugging

Communications of the ACM
On the relationship between model-based debugging and program slicing

Artificial Intelligence
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Using abstract dependences to localize faults from procedural programs

AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications

Relationship between the verification based model and the functional dependences model using program specification

ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Locating faults is one of the most time consuming tasks in today's fast paced economy. Testing and formal verification techniques like model-checking are usually used for detecting faults but do not attempt to locate the root-cause for the detected faulty behavior. This article makes use of an abstract dependences between program variables for detecting and locating faults in alias-free programs in cases where an abstract specification is available. The idea of using dependences for fault detection and localization is not new. But the relationship between the abstract model and the concrete evaluation of programs have not been considered so far. In particular we show that the dependence model is correct. Whenever the dependence model reveals a fault there is a test case, which also reveals a fault.