Debugging Meets Testing in Erlang

  • Salvador Tamarit
  • Adrián Riesco
  • Enrique Martin-Martin
  • Rafael Caballero
Conference paper

DOI: 10.1007/978-3-319-41135-4_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9762)
Cite this paper as:
Tamarit S., Riesco A., Martin-Martin E., Caballero R. (2016) Debugging Meets Testing in Erlang. In: Aichernig B., Furia C. (eds) Tests and Proofs. TAP 2016. Lecture Notes in Computer Science, vol 9762. Springer, Cham

Abstract

We propose a bidirectional collaboration between declarative debugging and testing for detecting errors in the sequential subset of the programming language Erlang. In our proposal, the information obtained from the user during a debugging session is stored in form of unit tests. These test cases can be employed afterwards to check, through testing, if the bug has been actually corrected. Moreover, the debugger employs already existing tests to determine the correctness of some subcomputations, helping the user to locate the error readily. The process, contrarily to usual debugger frameworks is cumulative: if later we find a new bug we have more information from the previous debugging and testing iterations that can contribute to find the error readily.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Salvador Tamarit
    • 1
  • Adrián Riesco
    • 2
  • Enrique Martin-Martin
    • 2
  • Rafael Caballero
    • 2
  1. 1.Babel Research GroupUniversidad Politécnica de MadridMadridSpain
  2. 2.Universidad Complutense de MadridMadridSpain

Personalised recommendations