Logic Journal of the IGPL 21 (6):931-942 (2013)

Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic relations with the target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions.
Keywords Philosophy of computer science  Automated software testing  Model-based reasoning  Manipulative abduction.  Model checking
Categories (categorize this paper)
DOI 10.1093/jigpal/jzt006
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,784
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

View all 6 citations / Add more citations

Similar books and articles

Did He Jump or Was He Pushed?: Abductive Practical Reasoning.Katie Atkinson - 2009 - Artificial Intelligence and Law 17 (2):79-99.
Abductive Reasoning.Douglas Neil Walton - 2004 - Tuscaloosa, AL, USA: University Alabama Press.
Degrees of Abductive Boldness.Isabella C. Burger & Johannes Heidema - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 163--180.


Added to PP index

Total views
11 ( #836,316 of 2,463,153 )

Recent downloads (6 months)
1 ( #449,363 of 2,463,153 )

How can I increase my downloads?


My notes