Diagnostic of Programs for Programming Learning Tools

  • Karina Valdivia Delgado
  • Leliane Nunes de Barros
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)


It is not easy for a student to develop programming skills and learn how to construct their own problem solving algorithms. Well designed materials and tools can guide programming students knowledge and skill construction. Such tools may allow students to acquire better and faster, the necessary programming skills. In this paper we show the results of some experiments realized on a set of faulty student’s programs using ProPAT_deBUG, an automatic program debugger, based on the Model Based Diagnosis technique of Artificial Intelligence. The results show that during the interactive debugging process it is possible for a student to learn by answering the questions posed by the AI diagnosis system to discriminate its fault hypotheses.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benjamins, R.: Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam (1993)Google Scholar
  2. 2.
    Mateis, C., Stumptner, M., Wotawa, F.: A Value-Based Diagnosis Model for Java Programs. In: Eleventh International Workshop On Principles of Diagnosis, DX (2000), http://www.dbai.tuwien.ac.at/staff/wotawa/dx2000c.ps.gz
  3. 3.
    Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Observations and Results Gained from the Jade Project. In: International Workshop on Principles of Diagnosis DX 2002 (2002)Google Scholar
  4. 4.
    Delgado, K.V., de Barros, L.N.: ProPAT: A Programming ITS Based on Pedagogical Patterns. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 812–814. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    de Kleer, J., Williams, B.C.: Diagnosing multiple faults. AI 32(1), 97–130 (1987)MATHGoogle Scholar
  6. 6.
    Reiter, R.: A theory of diagnosis from first principles. AI 32(1), 57–95 (1987)MATHMathSciNetGoogle Scholar
  7. 7.
    Wieland, D.: Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Technische Universität Wien (2001)Google Scholar
  8. 8.
    Parr, T.: ANTLR: Parser generator (1989), http://www.antlr.org/
  9. 9.
    Jones, J., Harrold, M., Stasko, J.: Visualization of test information to assist fault localization (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Karina Valdivia Delgado
    • 1
  • Leliane Nunes de Barros
    • 1
  1. 1.Department of Computer ScienceUniversity of São PauloSão PauloBrazil

Personalised recommendations