Generation of mutation testing tools with Wodel-Test

•

0 likes•67 views

Mutation testing (MT) is a well-known technique to evaluate and improve the quality of a given test-suite. While several MT tools exist for traditional programming languages, there is no systematic method to create MT tools for domain-specific languages (DSLs). To improve this situation, we present Wodel-Test, a domain-independent tool to synthesize MT tools for arbitrary DSLs.

GENERATION OF
MUTATION TESTING TOOLS
WITH WODEL-TEST
P. Gómez-Abajo , E. Guerra, J. de Lara
Modelling&Software Engineering Research Group
http://miso.es
Universidad Autónoma de Madrid (Spain)
The MFoC Workshop 2019
November 26th, IMDEA, Madrid
Mercedes G. Merayo
Design and Testing of Reliable Systems Research Group
http://antares.sip.ucm.es/testing
Universidad Complutense de Madrid (Spain)

WHAT IS MUTATION
TESTING?
• Approach of software testing to
assess the quality of test suites
• Injection of syntax changes in a
program by using mutation
operators
• The mutations introduced
simulate common programming
faults
• Facilitates to improve the
quality of the test-suites and
the mutation operators set
2

3
MUTATION TESTING FOR FA
0
1
1
0
Seed model
01
00
Test-suite
✓


4
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
01
00
Test-suite
✓

MT
01
00 ✓

Test-suite

5
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
01
00
Test-suite
✓

The mutant is alive 
MT
01
00 ✓

Test-suite

6
MUTATION TESTING FOR FA
0
1
1
0
Seed model
✓
01
00
Test-suite
✓

10

7
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
✓
01
00
Test-suite
✓

10
MT
01
00 ✓

10 
Test-suite

8
MUTATION TESTING FOR FA
0
1
0
1
0
1
1
0
Seed model Mutant model
The mutant is killed
✓
01
00
Test-suite
✓

10
✓
01
00 ✓

10 
Test-suite
MT

• Wodel: a DSL for model mutation
generate exhaustive mutants in "out/" from "model/"
metamodel "mm/fa.ecore"
description "Simple Wodel program"
with blocks {
sts "Swap the symbols of two transitions" {
t = select one Transition
where {symbol <> null}
modify one Transition
where {symbol <> t->symbol}
with {swap(symbol, t->symbol)}
}
}
• Wodel tool extension for language independent MT Wodel-Test
9
A SIMPLE WODEL PROGRAM

WODEL-TEST PROCESS
10
Wodel-Test is also useful to
build MT tools for common
programming languages:
Wodel-Test for Java

• Wodel-Test: automates the generation of MT tools for arbitrary languages
• Eases the creation of MT tools for the MDE community
• Implemented 3 MT tools: Wodel-Test for FA/Java/ATL
11
CONCLUSIONS
FUTURE WORK
• We plan to create MT tools for other DSLs
• Reuse of generic mutation operators across similar languages (e.g., Java and C++)
• Support for the definition of functions in the Wodel DSL

12
Thank you!!
Wodel & Wodel-Test project websites:
http://gomezabajo.github.io/Wodel/
http://gomezabajo.github.io/Wodel/Wodel-Test/
Pablo.GomezA@uam.es
@GomezAbajo

Mutation testing is a technique to assess test suite adequacy to distinguish between correct and incorrect programs. Mutation testing applies one or more small changes to a program to obtain variants called mutants. The adequacy of a test suite is measured by determining how many of the mutants it distinguishes from the original program. There are many works about mutation testing, but the existing approaches focus on a specific programming language, and usually, it is not easy to customize the set of mutation operators. In this paper, we present Wodel-Test, an extension of the Wodel tool that implements a language-independent mutation testing framework based on MDE principles.

Seed Model Synthesis for Testing Model-based Mutation Operators

Pablo Gómez Abajo

In software engineering, mutation consists in injecting small changes in artefacts - like models, programs, or data - for purposes like (mutation) testing, test data generation, and all sorts of search-based methods. These activities normally require the definition of sets of mutation operators, which are often built ad-hoc because there is currently poor support for their development and testing. To improve this situation, in previous work we proposed a model-based approach to create and execute mutation operators. Our proposal represents the artefacts to be mutated as models and provides a domain-specific language called Wodel to define the mutation operators. However, testing the operators is cumbersome, since it requires the manual creation of input seed models. To facilitate this testing process, we propose a method - based on model finding - for the automated synthesis of test models that exercise the defined mutation operators. We provide tool support for our proposal, and illustrate its usage by defining mutation operators for BPMN.

A DSL for Model Mutation and its Applications to Different Domains

Pablo Gómez Abajo

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing

Pablo Gómez Abajo

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect such mutations. MT has been extensively studied since the 70's, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and SQL; and for notations like Petri-nets. However, building MT tools is costly and error-prone, which may prevent their development for new programming and domain-specific (modelling) languages. In this paper, we propose a framework called Wodel-Test to reduce the effort to create MT tools. For this purpose, it follows a model-driven approach by which MT tools are synthesized from a high-level description. This description makes use of the domain-specific language Wodel to define and execute model mutations. Wodel is language-independent, as it allows the creation of mutation operators for any language defined by a meta-model. Starting from the definition of the mutation operators, Wodel-Test generates a MT environment which parses the program under test into a model, applies the mutation operators, and evaluates the test-suite against the generated mutants, offering a rich collection of MT metrics. We report on an evaluation of the approach based on the creation of MT tools for Java and the Atlas transformation language.

Wodel: A Domain-Specific Language for Model Mutation

Pablo Gómez Abajo

Model-Driven Engineering (MDE) is a software engineering paradigm that uses models as main assets in all development phases. While many languages for model manipulation exist (e.g., for model transformation or code generation), there is a lack of frameworks to dene and apply model mutations. A model mutant is a variation of an original model, created by specific model mutation operations. Model mutation has many applications, for instance, in the areas of model transformation testing, model-based testing or education.In this paper, we present a domain-specic language, called Wodel, for the specication and generation of model mutants. Wodel is domain-independent, as it can be used to generate mutants of models conforming to arbitrary metamodels. Its development environment is extensible, permitting the incorporation of post-processors for dierent applications. As an example, we show an application consisting on the automated generation of exercises for particular domains (automata, class diagrams, electronic circuits, etc.).

Model based vulnerability testingKupili Archana

ASDSpec, Model Based Testing

Rachid Kherrazi

Integration Maturity Levels We propose the Integration Maturity Levels as a tool for describing test levels and complexity. The testing teams can use this tool for: • defining what "Done" means for a story at the end of an iteration i.e. what is the expected level of quality characteristic that a product feature should have reached (which means tests for this level shall pass and critical / major issues shall be resolved) • having a common definition between functional teams (from management, architects, developers to testers) of level of integration that we should go through for achieving a good feature quality. • elaborating and describing the test strategy along iterations • letting testers have a checklist to review their test plan and challenge its diversity and coverage. • letting testers being able to report progress on integration not only with figures / metrics but also with a qualitative assessment of “feature quality” and what has been the testing effort and what is the remaining effort of integration.

Ideate ptototypes and feedbacksundarkkl

Using task models in model-based testing

Rachid Kherrazi

Model Driven Developing & Model Based Checking: Applying Together

Iosif Itkin

Automatic Test Case Generation

Adnan Causevic

Automatic Generation of System Test Cases from Use Case Specifications

Lionel Briand

DYNAMUT: A MUTATION TESTING TOOL FOR INDUSTRY-LEVEL EMBEDDED SYSTEM APPLICATIONS

ijesajournal

Test suite evaluation is important when developing quality software. Mutation testing, in particular, can be helpful in determining the ability of a test suite to find defects in code. Because of challenges incurred developing on complex embedded systems, test suite evaluation on these systems is very difficult and costly. We developed and implemented a tool called DynaMut to insert conditional mutations into the software under test for embedded applications. We then demonstrate how the tool can be used to automate the collection of data using an existing proprietary embedded test suite in a runtime testing environment. Conditional mutation is used to reduce the time and effort needed to perform test quality evaluation in 48% to 67% less time than it would take to perform the testing with a more traditional mutate-compile-test methodology. We also analyze if testing time can be further reduced while maintaining quality by sampling the mutations tested.

MuFinalDiogo Nicolau

SAIConference_PAPERZainab Nayyar

Real Impact Testing Analysis For JVM

Raquel Pau

Q44098893

IJERA Editor

International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.

A mutation testing analysis and regression

ijfcstjournal

Software testing is a testing which conducted a test to provide information to client about the quality of the product under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. In this paper we focused on two main software testing –mutation testing and mutation testing. Mutation testing is a procedural testing method, i.e. we use the structure of the code to guide the test program, A mutation is a little change in a program. Such changes are applied to model low level defects that obtain in the process of coding systems. Ideally mutations should model low-level defect creation. Mutation testing is a process of testing in which code is modified then mutated code is tested against test suites. The mutations used in source code are planned to include in common programming errors. A good unit test typically detects the program mutations and fails automatically. Mutation testing is used on many different platforms, including Java, C++, C# and Ruby. Regression testing is a type of software testing that seeks to uncover new software bugs, or regressions, in existing functional and non-functional areas of a system after changes such as enhancements, patches or configuration changes, have been made to them. When defects are found during testing, the defect got fixed and that part of the software started working as needed. But there may be a case that the defects that fixed have introduced or uncovered a different defect in the software. The way to detect these unexpected bugs and to fix them used regression testing. The main focus of regression testing is to verify that changes in the software or program have not made any adverse side effects and that the software still meets its need. Regression tests are done when there are any changes made on software, because of modified functions.

Pesttt testing

Kwetishe DANJUMA OCA,OCP ►Research Assistant

A MUTATION TESTING ANALYSIS AND REGRESSION TESTING

ijfcstjournal

Regression OptimizerShradha Singh

Mutation Testing and MuJava

Krunal Parmar

Dc35579583

IJERA Editor

st-notes-13-26-software-testing-is-the-act-of-examining-the-artifacts-and-the...

mwpeexdvjgtqujwhog

C41041120

IJERA Editor

What's hot

Rv11

Wolfgang Grieskamp

50120140502017IAEME Publication

Fu agile#2 unit_testingNguyen Anh

Iml v1.5 open-source version

Jeanne P.

Ideate ptototypes and feedbacksundarkkl

Using task models in model-based testing

Rachid Kherrazi

Model Driven Developing & Model Based Checking: Applying Together

Iosif Itkin

Automatic Test Case Generation

Adnan Causevic

Automatic Generation of System Test Cases from Use Case Specifications

Lionel Briand

What's hot (9)

Rv11

50120140502017

Fu agile#2 unit_testing

Iml v1.5 open-source version

Ideate ptototypes and feedback

Using task models in model-based testing

Model Driven Developing & Model Based Checking: Applying Together

Automatic Test Case Generation

Automatic Generation of System Test Cases from Use Case Specifications

Similar to Generation of mutation testing tools with Wodel-Test

DYNAMUT: A MUTATION TESTING TOOL FOR INDUSTRY-LEVEL EMBEDDED SYSTEM APPLICATIONS

ijesajournal

MuFinalDiogo Nicolau

SAIConference_PAPERZainab Nayyar

Real Impact Testing Analysis For JVM

Raquel Pau

Q44098893

IJERA Editor

A mutation testing analysis and regression

ijfcstjournal

Pesttt testing

Kwetishe DANJUMA OCA,OCP ►Research Assistant

A MUTATION TESTING ANALYSIS AND REGRESSION TESTING

ijfcstjournal

Regression OptimizerShradha Singh

Mutation Testing and MuJava

Krunal Parmar

Dc35579583

IJERA Editor

st-notes-13-26-software-testing-is-the-act-of-examining-the-artifacts-and-the...

mwpeexdvjgtqujwhog

C41041120

IJERA Editor

Verification of simulation computer program by ashish gangwar (8445059669)

Ashish Gangwar

QUALITY METRICS OF TEST SUITES IN TESTDRIVEN DESIGNED APPLICATIONS

ijseajournal

New techniques for writing and developing software have evolved in recent years. One is Test-Driven Development (TDD) in which tests are written before code. No code should be written without first having a test to execute it. Thus, in terms of code coverage, the quality of test suites written using TDD should be high. In this work, we analyze applications written using TDD and traditional techniques. Specifically, we demonstrate the quality of the associated test suites based on two quality metrics: 1) structure-based criterion, 2) fault-based criterion. We learn that test suites with high branch test coverage will also have high mutation scores, and we especially reveal this in the case of TDD applications. We found that TestDriven Development is an effective approach that improves the quality of the test suite to cover more of the source code and also to reveal more.

Modern Formal Methods in Software Engineering.pptx

HamzehBadarneh

Model-based Testing using Microsoft’s Spec Explorer Tool: A Case StudyDharmalingam Ganesan

Managing the Machine Learning Lifecycle with MLflow

Databricks

Bd36334337

IJERA Editor

EXTRACTING THE MINIMIZED TEST SUITE FOR REVISED SIMULINK/STATEFLOW MODEL

ijaia

Test case generation techniques are successfully employed to generate test cases from a formal model. A problem is that as the model evolves, test suites tend to grow in size, making it too costly to execute entire test suites. This paper aims to propose a practical approach to reduce the size of test suites for modified Simulink/Stateflow (SL/SF) model, which is popularly used for modeling software behavior in many industries like automobile manufacturers. The model for describing a system is frequently modified until it is fixed. The proposed technique is capable of extracting the minimized sized test suite in terms of test coverage, by taking into account both the modified and the affected portion of revised SL/SF model. Two real models for the ECUs deployed in a commercial car are used for an empirical study.

Similar to Generation of mutation testing tools with Wodel-Test (20)

DYNAMUT: A MUTATION TESTING TOOL FOR INDUSTRY-LEVEL EMBEDDED SYSTEM APPLICATIONS

MuFinal

SAIConference_PAPER

Real Impact Testing Analysis For JVM

Q44098893

A mutation testing analysis and regression

Pesttt testing

A MUTATION TESTING ANALYSIS AND REGRESSION TESTING

Regression Optimizer

Mutation Testing and MuJava

Dc35579583

st-notes-13-26-software-testing-is-the-act-of-examining-the-artifacts-and-the...

C41041120

Verification of simulation computer program by ashish gangwar (8445059669)

QUALITY METRICS OF TEST SUITES IN TESTDRIVEN DESIGNED APPLICATIONS

Modern Formal Methods in Software Engineering.pptx

Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study

Managing the Machine Learning Lifecycle with MLflow

Bd36334337

EXTRACTING THE MINIMIZED TEST SUITE FOR REVISED SIMULINK/STATEFLOW MODEL

More from Pablo Gómez Abajo

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Pablo Gómez Abajo

Creating and grading exercises are recurring tasks within higher education. When these exercises are based on diagrams - like logic circuits, automata or class diagrams - we can represent them as models, and use model-driven engineering techniques for the large-scale generation of quizzes, which can be automatically graded. In this research demo, we showcase Wodel-Edu, a domain-independent tool for the generation and automated evaluation of diagram-based exercises. Wodel-Edu is built atop Wodel, an extensible tool for model mutation, and offers seven kinds of diagram exercises. It supports code generation from the exercises for the Moodle platform, the web, Android and iOS applications.

Automated engineering of domain-specific metamorphic testing environments

Pablo Gómez Abajo

Context: Testing is essential to improve the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, building an MT environment for a particular domain (e.g., cloud simulation, model transformation, machine learning) requires substantial effort. Objective: Our goal is to facilitate the construction of MT environments for specific domains. Method: We propose a model-driven engineering approach to automate the construction of MT environments. Starting from a meta-model capturing the domain concepts, and a description of the domain execution environment, our approach produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases. Results: Our method is supported by an extensible platform for Eclipse, called Gotten. We demonstrate its effectiveness by creating an MT environment for simulation-based testing of data centres and comparing with existing tools; its suitability to conduct MT processes by replicating previous experiments; and its generality by building another MT environment for video streaming APIs. Conclusion: Gotten is the first platform targeted at reducing the development effort of domain-specific MT environments. The environments created with Gotten facilitate the specification of metamorphic relations, their evaluation, and the generation of new test cases.

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing...

Pablo Gómez Abajo

Las pruebas de mutación (MT) tienen como objetivo la evaluación de los casos de prueba midiendo su eficiencia para detectar fallos. Esta técnica implica modificar los programas bajo prueba para emular fallos comunes de programación y evaluar si los casos de prueba existentes detectan dichas mutaciones. Las pruebas de mutación se han estudiado de forma exhaustiva desde 1970, y se han propuesto muchas herramientas de pruebas de mutación para lenguajes utilizados ampliamente como C, Java, Fortran, Ada y SQL, y notaciones como redes de Petri. No obstante, crear herramientas de pruebas de mutación es costoso y propenso a errores, lo que puede obstaculizar su creación para nuevos lenguajes de programación y lenguajes de dominio-específico (de modelado). En este trabajo, se propone un entorno llamado Wodel-Test que reduce el esfuerzo para crear herramientas de pruebas de mutación. Con este objetivo, se sigue un enfoque dirigido por modelos por medio del que se sintetizan las herramientas de pruebas de mutación a partir de una descripción de alto nivel. Esta descripción utiliza el lenguaje de dominio específico Wodel para definir y ejecutar las mutaciones de modelos. Wodel es independiente del dominio, es decir, permite la creación de operadores de mutación para cualquier lenguaje definido mediante un meta-modelo. Partiendo de la definición de los operadores de mutación, Wodel-Test genera un entorno de pruebas de mutación que transforma los programas bajo prueba en modelos, aplica los operadores de mutación, y evalúa el conjunto de pruebas contra los mutantes generados, proporcionando una rica colección de métricas de pruebas de mutación. En el trabajo, se proporciona una evaluación del enfoque basada en la creación de herramientas de pruebas de mutación para Java y el lenguaje de transformación de modelos ATL.

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based...

Pablo Gómez Abajo

The creation and correction of exercises are two of the most time-consuming tasks performed by teachers. When done by hand, they are error-prone, too. Several approaches have been devised to automate such tasks. In the case of exercises based on diagrams, we can represent them as models, generate a set of variations - called mutants - and automate the process. In this tool demo paper, we showcase Wodel-Edu, a domain-independent framework for the generation and automated grading of diagram-based exercises. This framework offers a family of DSLs enabling the specification and configuration of five different kinds of such exercises, and extensible code generation facilities targeting environments like the Moodle platform, the web, and mobile applications.

Programación de macros en Microsoft Excel VBA

Pablo Gómez Abajo

PhD defense presentation

Pablo Gómez Abajo

Wodel: A DSL for Model Mutation; and Wodel-Edu: its Application to the Automa...

Pablo Gómez Abajo

Un framework para la generación automática de ejercicios mediante técnicas de...

Pablo Gómez Abajo

More from Pablo Gómez Abajo (8)

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Automated engineering of domain-specific metamorphic testing environments

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing...

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based...

Programación de macros en Microsoft Excel VBA

PhD defense presentation

Wodel: A DSL for Model Mutation; and Wodel-Edu: its Application to the Automa...

Un framework para la generación automática de ejercicios mediante técnicas de...

Recently uploaded

bordetella pertussis.................................ppt

kejapriya1

Lateral Ventricles.pdf very easy good diagrams comprehensive

silvermistyshot

Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...

University of Maribor

Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...

University of Maribor

Salas, V. (2024) "John of St. Thomas (Poinsot) on the Science of Sacred Theol...

Studia Poinsotiana

I Introduction II Subalternation and Theology III Theology and Dogmatic Declarations IV The Mixed Principles of Theology V Virtual Revelation: The Unity of Theology VI Theology as a Natural Science VII Theology’s Certitude VIII Conclusion Notes Bibliography All the contents are fully attributable to the author, Doctor Victor Salas. Should you wish to get this text republished, get in touch with the author or the editorial committee of the Studia Poinsotiana. Insofar as possible, we will be happy to broker your contact.

PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION

ChetanK57

DMARDs Pharmacolgy Pharm D 5th Semester.pdf

fafyfskhan251kmf

platelets_clotting_biogenesis.clot retractionpptx

muralinath2

Nutraceutical market, scope and growth: Herbal drug technology

Lokesh Patil

As consumer awareness of health and wellness rises, the nutraceutical market—which includes goods like functional meals, drinks, and dietary supplements that provide health advantages beyond basic nutrition—is growing significantly. As healthcare expenses rise, the population ages, and people want natural and preventative health solutions more and more, this industry is increasing quickly. Further driving market expansion are product formulation innovations and the use of cutting-edge technology for customized nutrition. With its worldwide reach, the nutraceutical industry is expected to keep growing and provide significant chances for research and investment in a number of categories, including vitamins, minerals, probiotics, and herbal supplements.

Phenomics assisted breeding in crop improvement

IshaGoswami9

As the population is increasing and will reach about 9 billion upto 2050. Also due to climate change, it is difficult to meet the food requirement of such a large population. Facing the challenges presented by resource shortages, climate change, and increasing global population, crop yield and quality need to be improved in a sustainable way over the coming decades. Genetic improvement by breeding is the best way to increase crop productivity. With the rapid progression of functional genomics, an increasing number of crop genomes have been sequenced and dozens of genes influencing key agronomic traits have been identified. However, current genome sequence information has not been adequately exploited for understanding the complex characteristics of multiple gene, owing to a lack of crop phenotypic data. Efficient, automatic, and accurate technologies and platforms that can capture phenotypic data that can be linked to genomics information for crop improvement at all growth stages have become as important as genotyping. Thus, high-throughput phenotyping has become the major bottleneck restricting crop breeding. Plant phenomics has been defined as the high-throughput, accurate acquisition and analysis of multi-dimensional phenotypes during crop growing stages at the organism level, including the cell, tissue, organ, individual plant, plot, and field levels. With the rapid development of novel sensors, imaging technology, and analysis methods, numerous infrastructure platforms have been developed for phenotyping.

nodule formation by alisha dewangan.pptx

alishadewangan1

Deep Software Variability and Frictionless Reproducibility

University of Rennes, INSA Rennes, Inria/IRISA, CNRS

The ability to recreate computational results with minimal effort and actionable metrics provides a solid foundation for scientific research and software development. When people can replicate an analysis at the touch of a button using open-source software, open data, and methods to assess and compare proposals, it significantly eases verification of results, engagement with a diverse range of contributors, and progress. However, we have yet to fully achieve this; there are still many sociotechnical frictions. Inspired by David Donoho's vision, this talk aims to revisit the three crucial pillars of frictionless reproducibility (data sharing, code sharing, and competitive challenges) with the perspective of deep software variability. Our observation is that multiple layers — hardware, operating systems, third-party libraries, software versions, input data, compile-time options, and parameters — are subject to variability that exacerbates frictions but is also essential for achieving robust, generalizable results and fostering innovation. I will first review the literature, providing evidence of how the complex variability interactions across these layers affect qualitative and quantitative software properties, thereby complicating the reproduction and replication of scientific studies in various fields. I will then present some software engineering and AI techniques that can support the strategic exploration of variability spaces. These include the use of abstractions and models (e.g., feature models), sampling strategies (e.g., uniform, random), cost-effective measurements (e.g., incremental build of software configurations), and dimensionality reduction methods (e.g., transfer learning, feature selection, software debloating). I will finally argue that deep variability is both the problem and solution of frictionless reproducibility, calling the software science community to develop new methods and tools to manage variability and foster reproducibility in software systems. Exposé invité Journées Nationales du GDR GPL 2024

Orion Air Quality Monitoring Systems - CWS

Columbia Weather Systems

ESR spectroscopy in liquid food and beverages.pptx

PRIYANKA PATEL

With increasing population, people need to rely on packaged food stuffs. Packaging of food materials requires the preservation of food. There are various methods for the treatment of food to preserve them and irradiation treatment of food is one of them. It is the most common and the most harmless method for the food preservation as it does not alter the necessary micronutrients of food materials. Although irradiated food doesn’t cause any harm to the human health but still the quality assessment of food is required to provide consumers with necessary information about the food. ESR spectroscopy is the most sophisticated way to investigate the quality of the food and the free radicals induced during the processing of the food. ESR spin trapping technique is useful for the detection of highly unstable radicals in the food. The antioxidant capability of liquid food and beverages in mainly performed by spin trapping technique.

THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...

Abdul Wali Khan University Mardan,kP,Pakistan

hematic appreciation test is a psychological assessment tool used to measure an individual's appreciation and understanding of specific themes or topics. This test helps to evaluate an individual's ability to connect different ideas and concepts within a given theme, as well as their overall comprehension and interpretation skills. The results of the test can provide valuable insights into an individual's cognitive abilities, creativity, and critical thinking skills

Toxic effects of heavy metals : Lead and Arsenic

sanjana502982

NuGOweek 2024 Ghent programme overview flyer

pablovgd

Mudde & Rovira Kaltwasser. - Populism - a very short introduction [2017].pdf

frank0071

DERIVATION OF MODIFIED BERNOULLI EQUATION WITH VISCOUS EFFECTS AND TERMINAL V...

Wasswaderrick3

In this book, we use conservation of energy techniques on a fluid element to derive the Modified Bernoulli equation of flow with viscous or friction effects. We derive the general equation of flow/ velocity and then from this we derive the Pouiselle flow equation, the transition flow equation and the turbulent flow equation. In the situations where there are no viscous effects , the equation reduces to the Bernoulli equation. From experimental results, we are able to include other terms in the Bernoulli equation. We also look at cases where pressure gradients exist. We use the Modified Bernoulli equation to derive equations of flow rate for pipes of different cross sectional areas connected together. We also extend our techniques of energy conservation to a sphere falling in a viscous medium under the effect of gravity. We demonstrate Stokes equation of terminal velocity and turbulent flow equation. We look at a way of calculating the time taken for a body to fall in a viscous medium. We also look at the general equation of terminal velocity.

Seminar of U.V. Spectroscopy by SAMIR PANDA

SAMIR PANDA

Recently uploaded (20)

bordetella pertussis.................................ppt

Lateral Ventricles.pdf very easy good diagrams comprehensive

Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...

Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...

Salas, V. (2024) "John of St. Thomas (Poinsot) on the Science of Sacred Theol...

PRESENTATION ABOUT PRINCIPLE OF COSMATIC EVALUATION

DMARDs Pharmacolgy Pharm D 5th Semester.pdf

platelets_clotting_biogenesis.clot retractionpptx

Nutraceutical market, scope and growth: Herbal drug technology

Phenomics assisted breeding in crop improvement

nodule formation by alisha dewangan.pptx

Deep Software Variability and Frictionless Reproducibility

Orion Air Quality Monitoring Systems - CWS

ESR spectroscopy in liquid food and beverages.pptx

THEMATIC APPERCEPTION TEST(TAT) cognitive abilities, creativity, and critic...

Toxic effects of heavy metals : Lead and Arsenic

NuGOweek 2024 Ghent programme overview flyer

Mudde & Rovira Kaltwasser. - Populism - a very short introduction [2017].pdf

DERIVATION OF MODIFIED BERNOULLI EQUATION WITH VISCOUS EFFECTS AND TERMINAL V...

Seminar of U.V. Spectroscopy by SAMIR PANDA

Generation of mutation testing tools with Wodel-Test

1. GENERATION OF MUTATION TESTING TOOLS WITH WODEL-TEST P. Gómez-Abajo , E. Guerra, J. de Lara Modelling&Software Engineering Research Group http://miso.es Universidad Autónoma de Madrid (Spain) The MFoC Workshop 2019 November 26th, IMDEA, Madrid Mercedes G. Merayo Design and Testing of Reliable Systems Research Group http://antares.sip.ucm.es/testing Universidad Complutense de Madrid (Spain)

2. WHAT IS MUTATION TESTING? • Approach of software testing to assess the quality of test suites • Injection of syntax changes in a program by using mutation operators • The mutations introduced simulate common programming faults • Facilitates to improve the quality of the test-suites and the mutation operators set 2

3. 3 MUTATION TESTING FOR FA 0 1 1 0 Seed model 01 00 Test-suite ✓ 

4. 4 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model 01 00 Test-suite ✓  MT 01 00 ✓  Test-suite

5. 5 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model 01 00 Test-suite ✓  The mutant is alive  MT 01 00 ✓  Test-suite

6. 6 MUTATION TESTING FOR FA 0 1 1 0 Seed model ✓ 01 00 Test-suite ✓  10

7. 7 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model ✓ 01 00 Test-suite ✓  10 MT 01 00 ✓  10  Test-suite

8. 8 MUTATION TESTING FOR FA 0 1 0 1 0 1 1 0 Seed model Mutant model The mutant is killed ✓ 01 00 Test-suite ✓  10 ✓ 01 00 ✓  10  Test-suite MT

9. • Wodel: a DSL for model mutation generate exhaustive mutants in "out/" from "model/" metamodel "mm/fa.ecore" description "Simple Wodel program" with blocks { sts "Swap the symbols of two transitions" { t = select one Transition where {symbol <> null} modify one Transition where {symbol <> t->symbol} with {swap(symbol, t->symbol)} } } • Wodel tool extension for language independent MT Wodel-Test 9 A SIMPLE WODEL PROGRAM

10. WODEL-TEST PROCESS 10 Wodel-Test is also useful to build MT tools for common programming languages: Wodel-Test for Java

11. • Wodel-Test: automates the generation of MT tools for arbitrary languages • Eases the creation of MT tools for the MDE community • Implemented 3 MT tools: Wodel-Test for FA/Java/ATL 11 CONCLUSIONS FUTURE WORK • We plan to create MT tools for other DSLs • Reuse of generic mutation operators across similar languages (e.g., Java and C++) • Support for the definition of functions in the Wodel DSL

12. 12 Thank you!! Wodel & Wodel-Test project websites: http://gomezabajo.github.io/Wodel/ http://gomezabajo.github.io/Wodel/Wodel-Test/ Pablo.GomezA@uam.es @GomezAbajo

13. WODEL-TEST ARCHITECTURE 13

Generation of mutation testing tools with Wodel-Test

Recommended

Recommended

More Related Content

What's hot

What's hot (9)

Similar to Generation of mutation testing tools with Wodel-Test

Similar to Generation of mutation testing tools with Wodel-Test (20)

More from Pablo Gómez Abajo

More from Pablo Gómez Abajo (8)

Recently uploaded

Recently uploaded (20)

Generation of mutation testing tools with Wodel-Test