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

Authors:
Safeeullah Soomro;Abdul Baqi
Affiliations:
Yanbu University College, Department of Computer Science and Engineering, Yanbu Al-Sinaiyah, Kingdom of Saudi Arabia;Yanbu University College, Department of Computer Science and Engineering, Yanbu Al-Sinaiyah, Kingdom of Saudi Arabia
Venue:
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Year:
2010

Citing 9
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Aspect: detecting bugs with abstract dependences

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

Artificial Intelligence
A Pragmatic Survey of Automated Debugging

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
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
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge

IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Debugging functional programs

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Towards lightweight fault localization in procedural programs

IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is generally agreed that faults are very difficult to find, and also expensive to locate and remove from programs. Hence, automating the debugging task is highly desired. This paper presents previous work in automated debugging based on a verification based model, which can detect and localize faults from programs using abstract dependencies. We empirically compare the two models, i.e., Functional Dependencies Model(FDM) and Verification Based Model(VBM). VBM extracts dependencies from the source code of programs. These dependencies are called computed dependencies and are compare with specification of programs to detect a misbehavior. The functional dependency model uses dependencies to state the correctness of variables at the end of a program run. If a variable value is not correct, the model is used to localize the fault. Both models apply Model Based Diagnosis for software debugging. In the paper we compare both models with respect to their capabilities of localizing faults in programs. We also present new results for the VBM of large programs, which further justifies that the approach can be used in practice.