This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, (...) that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse. (shrink)

Large part of contemporary science is in fact technoscience, in the sense that it crucially depends on several technologies for the generation, collection, and analysis of data. This prompts a re-examination of the relations between science and technologies. In this essay, I advance the view that we’d better move beyond the ‘subordination view’ and the ‘instrumental’ view. The first aims to establish the primacy of science over technology, and the second uses technology instrumentally to support a realist position about theoretical (...) entities. I suggest that we should instead concentrate on how science and technology interact. This will reveal that technology has a poietic character, namely it actively partakes in the production of knowledge. But this poietic character can only be understood within the cognitive activity of scientific communities. Current research in molecular epidemiology, notably the projects funded within the ‘European exposome initiative’, serves as a motivation for such discussion and as an illustration of the claims made. (shrink)