Dynamic Value-Based Diagnosis System for Assembler Program

Program diagnosis is playing an increasingly important role in computer science. The key steps are general models, slice algorithms and techniques of candidate generation. In this paper, we transferred value-based model and trajectory concept in software diagnosis, which is simple, general and accepted technique applicable to Assembler language program diagnosis system. We have also given a diagnosis system (ADS) and rewritten the PUSH and POP instructions slice strategy which is inconsistent with the definition of conflict set.

[1]  Franz Wotawa,et al.  Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages , 1996 .

[2]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[3]  Markus Stumptner,et al.  Debugging Functional Programs , 1999, IJCAI.

[4]  Gregory William Bond Logic programs for consistency-based diagnosis , 1994 .

[5]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[6]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[7]  Daniel Jackson Aspect: detecting bugs with abstract dependences , 1995, TSEM.

[8]  Lisa J. Burnell A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging , 1993, UAI.

[9]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[10]  Gérard Ferrand Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method , 1987, J. Log. Program..

[11]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.

[12]  Franz Wotawa,et al.  A Value-Based Diagnosis Model for Java Programs , 2000 .

[13]  Mark Harman,et al.  A Parallel Algorithm for Static Program Slicing , 1995, Inf. Process. Lett..

[14]  Franz Wotawa,et al.  On the relationship between model-based debugging and program slicing , 2002, Artif. Intell..

[15]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[16]  Li Lin,et al.  The computation of hitting sets: Review and new algorithms , 2003, Inf. Process. Lett..

[17]  Jehad Al Dallal,et al.  Dynamic data flow analysis for Java programs , 2000, Inf. Softw. Technol..

[18]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[19]  Eric Horvitz,et al.  Structure and chance: melding logic and probability for software debugging , 1995, CACM.

[20]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[21]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1988, SIGP.

[22]  Bogdan Korel,et al.  Application of Dynamic Slicing in Program Debugging , 1997, AADEBUG.

[23]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[24]  Ron I. Kuper Dependency-Directed Localization of Software Bugs , 1989 .