Model-based abductive reasoning in automated software testing
Logic Journal of the IGPL 21 (6):931-942 (2013)
Abstract
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.Author's Profile
DOI
10.1093/jigpal/jzt006
My notes
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.
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper.Nicola Angius - 2014 - Philosophy and Technology 27 (3):479-484.
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic.Xingxing He, Jun Liu, Yang Xu, Luis Martínez & Da Ruan - 2012 - Logic Journal of the IGPL 20 (3):579-588.
Generation and Selection of Abductive Explanations for Non-Omniscient Agents.Fernando Soler-Toscano & Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):141-168.
Affordances as Abductive Anchors.Emanuele Bardone - 2010 - In W. Carnielli L. Magnani (ed.), Model-Based Reasoning in Science and Technology. pp. 135--157.
Developmental issues in model-based reasoning during childhood.Patricia H. Miller - 2001 - Mind and Society 2 (2):49-58.
Abductive inference and iterated conditionals.Claudio Pizzi - 2007 - In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 365--381.
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
Automated abduction in scientific discovery.Oliver Ray - 2007 - In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 103--116.
Did he jump or was he pushed?: Abductive practical reasoning.Floris Bex, Trevor Bench-Capon & Katie Atkinson - 2009 - Artificial Intelligence and Law 17 (2):79-99.
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.
Atocha Aliseda, Abductive Reasoning. Logical Investigations into Discovery and Explanation.Alejandro Ramírez Figueroa - 2009 - Revista de filosofía (Chile) 65:223-226.
Abduction is not Deduction-in-Reverse.Marta Cialdea Mayer & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):95-108.
Analytics
Added to PP
2016-06-30
Downloads
13 (#768,459)
6 months
1 (#452,962)
2016-06-30
Downloads
13 (#768,459)
6 months
1 (#452,962)
Historical graph of downloads
Author's Profile
Citations of this work
The Problem of Justification of Empirical Hypotheses in Software Testing.Nicola Angius - 2014 - Philosophy and Technology 27 (3):423-439.
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.Nicola Angius & Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):283-308.
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper.Nicola Angius - 2014 - Philosophy and Technology 27 (3):479-484.