Ariadne: evolving test data using grammatical evolution

Software testing is a key component in software quality assurance; it typically involves generating test data that exercises all instructions and tested conditions in a program and, due to its complexity, can consume as much as 50% of overall software development budget. Some evolutionary computing techniques have been successfully applied to automate the process of test data generation but no existing tech- niques exploit variable interdependencies in the process of test data gen- eration, even though several studies from the software testing litera- ture suggest that the variables examined in the branching conditions of real life programs are often interdependent on each other, for example, if (x==y), etc. We propose the Ariadne system which uses Grammatical Evolution (GE) and a simple Attribute Grammar to exploit the variable interdependen- cies in the process of test data generation. Our results show that Ariadne dramatically improves both e ectiveness and e ciency when compared with existing techniques based upon well-established criteria, attaining coverage (the standard software testing success metric for these sorts of problems) of 100% on all benchmarks with far fewer program evaluations (often between a third and a tenth of other systems)

Searching the Identity of Information Systems: A Study from Interdisciplinary Contexts

Part 5: Revisiting Concepts and TheoriesInternational audiencePurpose: The present paper addresses the problem of the information systems (IS) identity, in particular it makes an attempt to identify the intellectual causes that hinder the research about the core of IS and suggests how to remove them.Design/methodology/approach: Authors who argue on the cultural core of IS sometimes relate this argument to the ‘reference disciplines’ of IS such as economics and sociology. Authors rarely examine what happens in parallel domains of knowledge usually labeled as ‘cognate disciplines’ of IS. We fixed to extend inquiries on the close domains, in particular we have analyzed the literature of artificial intelligence, information retrieval, medical informatics, digital humanities and software engineering.Findings: Bibliographical evidence shows how these disciplines struggle with the ‘identity crisis’ as IS do; more precisely thinkers share non-trivial difficulties when they argue about broad topics connected to the information technology such as the possibilities and limits of computer systems, the transfer and diffusion of technology etc.Research implications: We recall how normally philosophy and science progress side to side and cooperate. Instead, the modern literature shows how computer science illustrates all the technical details but does not provide effective explanations to philosophers of post-computation disciplines. Several narrow theories underpin computer systems that prove to be futile to thinkers who address broad arguments. An apparent cause-effect relationship emerges between the fragmentary notions of computer science and the current ‘identity crisis’ of IS and cognate disciplines.Originality/value: This study leads to a ground-breaking conclusion. In the first stage, the solution to the identity problem should not be searched inside IS but outside. Secondly as soon as possible noteworthy efforts should be made in order to improve the theoretical basis of informatics. More precisely computing theorists should develop a unified cultural frame or, at least, should make significant progress toward this direction