LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems.Comment: Pre-proceedings of the 7th IPM International Conference on Fundamentals of Software Engineerin

Meaning in life in the Federal Republic of Germany: results of a representative survey with the Schedule for Meaning in Life Evaluation (SMiLE)

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other

Functional, structural and operational testing are three broad categories of software testing methods driven by the product functionalities, the way it is implemented, and the way it is expected to be used, respectively. A large body of the software testing literature is devoted to evaluate and compare test techniques in these categories. Although it appears reasonable to devise hybrid methods to merge their different strengths - because different techniques may complement each other by targeting different types of faults and/or using different artifacts - we still miss clear guidelines on how to best combine them. We discuss differences and limitations of two popular testing approaches, namely coverage-driven and operational-profile testing, belonging to structural and operational testing, respectively. We show why and how test coverage and operational profile can cross-fertilize each other, improving the effectiveness of structural testing or, conversely, the product reliability achievable by operational testing

Detection of Polluting Test Objectives for Dataflow Criteria

International Conference on Integrated Formal Methods 2020-11-16/20, Lugano, SuisseInternational audienceDataflow test coverage criteria, such as all-defs and all-uses, belong to the most advanced coverage criteria. These criteria are defined by complex artifacts combining variable definitions, uses and program paths. Detection of polluting (i.e. inapplicable, infeasible and equivalent) test objectives for such criteria is a particularly challenging task. This short paper evaluates three detection approaches involving dataflow analysis, value analysis and weakest precondition calculus. We implement and compare these approaches, analyze their detection capacities and propose a methodology for their efficient combination. Initial experiments illustrate the benefits of the proposed approach

Mutation Operators for Large Scale Data Processing Programs in Spark

International audienc

An Axiom-Based Test Case Selection Strategy for Object-Oriented Programs

Because of the growing importance of object-oriented programming, a number of testing approaches have been proposed. Frankl et al. propose the application of the functional approach, using algebraic specifications for the generation of test cases and the validation of methods. Given a specification, Frankl et al. propose that equivalent terms should give observably equivalent objects, and offer general heuristics on the selection of equivalent terms for testing. Their guidelines, however, are only supported by limited empirical results, do not have a theoretical basis, and provide no guarantee of effectiveness. In this paper, we define the concept of a fundamental pair as a pair of equivalent terms which are formed by replacing all the variables on both sides of an axiom by normal forms. We prove that an implementation is consistent with respect to all equivalent terms if and only if it is consistent with respect to all fundamental pairs. In other words, the testing coverage of fundamental pairs is identical to that of all equivalent terms, and hence we need only concentrate on the testing of fundamental pairs. Our strategy is mathematically based, simple, and much more efficient. Furthermore, it underscores the usefulness of axiom-based specifications

From Awareness to Action: Taking into Consideration the Role of Emotions and Cognition for a Stage Toward a Better Communication of Climate Change

International audienceThe general public expects relevant, comprehensible and acceptable communication on climate change. Many efforts have been, and are still, being made to make the message clear and comprehensible. This paper focuses on the acceptability of the message by the receiver, to move from awareness of climate change to concrete action, which is seldom discussed in the literature. In order to make a climate change communication assessment, we choose to take as reference the Prochaska’s behavioural stage of change model. Our analysis suggests that taking into account emotions and cognition mechanisms is needed in order to accompany people to better process the information and integrate it to move toward action. This paper highlights different commonly used communication practices and the underlying brain mechanisms involved in each one. A better understanding of those mechanisms should help to improve the message’s receivability in communication about climate change. In turn, it will help to move from individuals knowledge into concrete action. By this way, we hope to provide inspiration to communicators in order to better accompany people in their process from awareness to action