Epistemological Justification of Test Driven Development in Agile Processes

  • Francesco Gagliardi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4536)


In this paper we outline a methodological similarity between test driven software development and scientific theories evolution. We argue that falsificationism and its modus tollens are foundational concepts for both software engineering and scientific method. In this perspective we propose an epistemological justification of test driven development using theoretical reasons and empirical evidences.


Software Testing TDD Agile Programming Epistemology  Falsificationism Modus Tollens 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)Google Scholar
  2. Dijkstra, E.W.: Notes On Structured Programming. 2nd edn., T.H.-Report 70-WSK-03, Technological University Eindhoven, Department Of Mathematics, The Netherlands (1970),
  3. Popper, K.R.: The Logic of Scientific Discovery (Translation of Logik der Forschung). Hutchingson, London (1959)zbMATHGoogle Scholar
  4. Kaner, C., Falk, J., Nguyen, H.Q.: Testing Computer Software, 2nd edn. John Wiley and Sons, Chichester (1999)Google Scholar
  5. Bach, J.: What software reality is really about. IEEE Computer 32(12), 148–149 (1999), doi:10.1109/2.809258Google Scholar
  6. Pettichord B.: Testers and Developers Think Differently. STQE magazine, vol. 2(1), pp. 42-46 (2000),
  7. Edwards, S.H.: Using software testing to move students from trial-and-error to reflection-in-action. SIGCSE Bull. 36(1), 26–30 (2004), CrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Francesco Gagliardi
    • 1
  1. 1.Department of Physical Sciences — University of Naples Federico II, Via Cintia — I-80126 NapoliItaly

Personalised recommendations