a generic approach to run mutation analysis
play

A Generic Approach to Run Mutation Analysis Siamak Haschemi and - PowerPoint PPT Presentation

Jan 26, 2023 •156 likes •676 views

A Generic Approach to Run Mutation Analysis Siamak Haschemi and Stephan Weileder Humboldt-Universitt zu Berlin METRIK Research Training Group TAIC-PART 2010 Sonntag, 5. September 2010 Mutation Analysis 2 Sonntag, 5. September 2010

  1. A Generic Approach to Run Mutation Analysis Siamak Haschemi and Stephan Weißleder Humboldt-Universität zu Berlin METRIK Research Training Group TAIC-PART 2010 Sonntag, 5. September 2010

  2. Mutation Analysis 2 Sonntag, 5. September 2010

  3. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  4. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  5. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  6. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  7. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  8. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  9. Mutation Analysis SUT 2 Sonntag, 5. September 2010

  10. Mutation Analysis SUT Mutation Operator SUT 2 Sonntag, 5. September 2010

  11. Mutation Analysis SUT Mutation Operator SUT 2 Sonntag, 5. September 2010

  12. Mutation Analysis SUT SUT 2 Sonntag, 5. September 2010

  13. Mutation Analysis SUT SUT 2 Sonntag, 5. September 2010

  14. Mutation Analysis SUT SUT 2 Sonntag, 5. September 2010

  15. Mutation Analysis Mutation Score = 2 Sonntag, 5. September 2010

  16. Mutation Analysis http://www.dcs.kcl.ac.uk/pg/jiayue/repository 2 Sonntag, 5. September 2010

  17. SUT 3 Sonntag, 5. September 2010

  18. SUT 3 Sonntag, 5. September 2010

  19. SUT 3 Sonntag, 5. September 2010

  20. SUT 3 Sonntag, 5. September 2010

  21. SUT 3 Sonntag, 5. September 2010

  22. SUT 3 Sonntag, 5. September 2010

  23. SUT OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  24. MTF SUT OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  25. MTF SUT OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  26. MTF SUT OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  27. MTF SUT Jumble Javalanche OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  28. MTF SUT Jumble ? Javalanche OSGi (modularization for Java) 3 Sonntag, 5. September 2010

  29. Problem Mutation Analysis Tool SUT conf 4 Sonntag, 5. September 2010

  30. Problem Mutation Analysis Tool SUT conf 4 Sonntag, 5. September 2010

  31. Problem Mutation Analysis Tool SUT conf 4 Sonntag, 5. September 2010

  32. Problem Mutation Mutation Analysis Tool SUT Score Documen- tation Visualization conf 4 Sonntag, 5. September 2010

  33. Problem Mutation Mutation Analysis Tool SUT Score Documen- tation Visualization conf 4 Sonntag, 5. September 2010

  34. Approach Mutation Analysis Code Generator Mutation Mutation Execution for Execution Analysis Integration Environment X Tool API Environment X Tool A Framework Code Generator Mutation Mutation Execution for Execution Analysis Metamodel Environment Y Environment Y Tool B 5 Sonntag, 5. September 2010

  35. Approach SUT conf 6 Sonntag, 5. September 2010

  36. Approach SUT conf Jumble 6 Sonntag, 5. September 2010

  37. Approach SUT conf Jumble 6 Sonntag, 5. September 2010

  38. Approach SUT conf Jumble 6 Sonntag, 5. September 2010

  39. Approach SUT conf Jumble 6 Sonntag, 5. September 2010

  40. Approach SUT Environment- conf specific Code Jumble 6 Sonntag, 5. September 2010

  41. Approach SUT Environment- conf specific Code Jumble 6 Sonntag, 5. September 2010

  42. Approach SUT Environment- conf specific Code Jumble 6 Sonntag, 5. September 2010

  43. Approach Jumble 7 Sonntag, 5. September 2010

  44. Approach Jumble 7 Sonntag, 5. September 2010

  45. Approach Jumble 7 Sonntag, 5. September 2010

  46. Approach Jumble 7 Sonntag, 5. September 2010

  47. Approach Jumble 7 Sonntag, 5. September 2010

  48. Approach Jumble 7 Sonntag, 5. September 2010

  49. Approach Jumble 7 Sonntag, 5. September 2010

  50. Demo 8 Sonntag, 5. September 2010

  51. Conclusion • Mutation Analysis to measure the fault detection ability of a test suite • Mutation Analysis Tools have hard requirements on the execution environments • We separate the calculation and creation of mutants to support any execution environment (by generating code) 9 Sonntag, 5. September 2010

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Using Conditional Mutation to Increase the Efficiency of Mutation Analysis e Just 1 & Gregory

Using Conditional Mutation to Increase the Efficiency of Mutation Analysis e Just 1 & Gregory

Using Conditional Mutation to Increase the Efficiency of Mutation Analysis e Just 1 & Gregory M. Kapfhammer 2 & Franz Schweiggert 1 Ren 1 Ulm University, Germany 2 Allegheny College, USA 6th International Workshop on the Automation of

946 views • 73 slides
IS MUTATION ANALYSIS OF BCR-ABL OF ANY VALUE IN CLINICAL MANAGEMENT OF CML PATIENTS? David

IS MUTATION ANALYSIS OF BCR-ABL OF ANY VALUE IN CLINICAL MANAGEMENT OF CML PATIENTS? David

IS MUTATION ANALYSIS OF BCR-ABL OF ANY VALUE IN CLINICAL MANAGEMENT OF CML PATIENTS? David Marin, Imperial College London Tell me generals, are we politicians necessary? I have to admit defeat before starting Mutation analysis, like

458 views • 27 slides
Equivalence Modulo States Bo Wang, Yingfei Xiong , Yangqingwei Shi, Lu Zhang, Dan Hao Peking

Equivalence Modulo States Bo Wang, Yingfei Xiong , Yangqingwei Shi, Lu Zhang, Dan Hao Peking

Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong , Yangqingwei Shi, Lu Zhang, Dan Hao Peking University July 12, 2017 Mutation Analysis Mutation analysis is a fundamental software analysis technique Mutation

365 views • 24 slides
1 Mutation pressure Let = the mutation rate from A a Let = the mutation rate from a

1 Mutation pressure Let = the mutation rate from A a Let = the mutation rate from a

Population Genetics 5: Mutation pressure Mutation pressure Table 1 : Estimates of per generation mutation rates for a range of organisms Organism Per nucleotide rate Genomic rate RNA GENOMES 1.97 10 -5 Poliovirus 0.15 1.10 10 -4

350 views • 6 slides
1 Mutation pressure Let = the mutation rate from A a Let = the mutation rate from a

1 Mutation pressure Let = the mutation rate from A a Let = the mutation rate from a

Population Genetics 5: Mutation pressure Mutation pressure Table 1 : Estimates of per generation mutation rates for a range of organisms Organism Per nucleotide rate Genomic rate RNA GENOMES 1.97 10 -5 Poliovirus 0.15 1.10 10 -4

306 views • 7 slides
The Role Of Mutation Analysis in Porphyria. Dr SharonWhatley Cardiff SAS Porphyria Service

The Role Of Mutation Analysis in Porphyria. Dr SharonWhatley Cardiff SAS Porphyria Service

The Role Of Mutation Analysis in Porphyria. Dr SharonWhatley Cardiff SAS Porphyria Service Mutation Analysis in the Acute Porphyrias Family studies Identify relatives who are at risk Avoid known precipitants Sex hormones Unsafe

510 views • 48 slides
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? Ren Just 1

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? Ren Just 1

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? Ren Just 1 & Gregory M. Kapfhammer 2 & Franz Schweiggert 1 1 Ulm University, Germany 2 Allegheny College, USA 7th International Workshop on Mutation

781 views • 67 slides
1 Definition of a simple generic class Why generic programming (cont.) class Pair <T> {

1 Definition of a simple generic class Why generic programming (cont.) class Pair <T> {

Topics background and goals of generic programming basics of generic classes = parameterized types generic methods for general algorithms inheritance rules for generic types Generic programming in Java bounded type parameters

261 views • 5 slides
1 Mutation - selection equilibrium 1. Mutation pressure: ( ) ( ) = Let = the

1 Mutation - selection equilibrium 1. Mutation pressure: ( ) ( ) = Let = the

Population Genetics 7: transient verses equilibrium polymorphism Mutation - selection equilibrium Mutation pressure and selection can operate in opposite directions as a force for change in allele frequencies in populations. Note that

359 views • 9 slides
Cancer gene discovery via network analysis of somatic mutation data Insuk Lee Cancer is a

Cancer gene discovery via network analysis of somatic mutation data Insuk Lee Cancer is a

Cancer gene discovery via network analysis of somatic mutation data Insuk Lee Cancer is a progressive genetic disorder. Accumulation of somatic mutations cause cancer. For example, in colorectal cancer, the first gatekeeping mutation

295 views • 28 slides
Mutation Analysis for Coq Pengyu Nie 1 Ahmet Celik 1 , Karl Palmskog 1 , Marinela Parovic 1 , us

Mutation Analysis for Coq Pengyu Nie 1 Ahmet Celik 1 , Karl Palmskog 1 , Marinela Parovic 1 , us

Mutation Analysis for Coq Pengyu Nie 1 Ahmet Celik 1 , Karl Palmskog 1 , Marinela Parovic 1 , us Gallego Arias 2 , and Milos Gligoric 1 Emilio Jes ASE 2019 1 2 1 / 24 Program Verification Using Proof Assistants Verified software: encode

682 views • 42 slides
Using Non-Redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and

Using Non-Redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and

Using Non-Redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis Ren Just 1 , 2 & Gregory M. Kapfhammer 3 & Franz Schweiggert 2 1 University of Washington, USA 2 Ulm University,

1.18k views • 85 slides
MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler e Just 1 , Franz

MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler e Just 1 , Franz

MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler e Just 1 , Franz Schweiggert 1 , and Gregory M. Kapfhammer 2 Ren 1 Ulm University, Germany 2 Allegheny College, USA 26th International Conference on Automated

743 views • 32 slides
Drift, mutation, selection, and the evolutionary dispersion of mean phenotypes recombination

Drift, mutation, selection, and the evolutionary dispersion of mean phenotypes recombination

Drift, mutation, selection, and the evolutionary dispersion of mean phenotypes recombination random mutation genetic drift The Population-genetic Environment 1000x Range of Variation in the Mutation Rate The mutation rate per nucleotide

480 views • 27 slides
Dependency Analysis as the Basis for a Generic Type System Maxime Gamboni Instituto de

Dependency Analysis as the Basis for a Generic Type System Maxime Gamboni Instituto de

Dependency Analysis as the Basis for a Generic Type System Maxime Gamboni Instituto de Telecomunica c oes, Instituto Superior T ecnico, Portugal April 20th, 2011 Behaviour Dependencies Activeness and Responsiveness Generic Plan

382 views • 37 slides
The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis Chris

The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis Chris

The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis Chris J. Wright Gregory M. Kapfhammer Phil McMinn The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis Chris J.

2.11k views • 162 slides
AIRS CO 2 data assimilation with Ensemble Kalman filter: preliminary results Junjie Liu 1 Eugenia

AIRS CO 2 data assimilation with Ensemble Kalman filter: preliminary results Junjie Liu 1 Eugenia

AIRS CO 2 data assimilation with Ensemble Kalman filter: preliminary results Junjie Liu 1 Eugenia Kalnay 2 and Inez Fung 1 1 UC Berkeley; 2 University of Maryland Many thanks to Edward Olsen and Moustafa Chahine for kindly providing us their AIRS

216 views • 19 slides
Efficient Scientific Data Management on Supercomputers Suren Byna Staff Scientist Scientific

Efficient Scientific Data Management on Supercomputers Suren Byna Staff Scientist Scientific

Efficient Scientific Data Management on Supercomputers Suren Byna Staff Scientist Scientific Data Management Group Data Science and Technology Department Lawrence Berkeley National Laboratory Scientific Data - Where is it coming from?

838 views • 54 slides
rs s rs rs

rs s rs rs

rs s t r r rst rs s rs rs

415 views • 14 slides
Principles of Program Analysis: Data Flow Analysis Transparencies based on Chapter 2 of the book:

Principles of Program Analysis: Data Flow Analysis Transparencies based on Chapter 2 of the book:

Principles of Program Analysis: Data Flow Analysis Transparencies based on Chapter 2 of the book: Flemming Nielson, Hanne Riis Nielson and Chris Hankin: Principles of Program Analysis. Springer Verlag 2005. c Flemming Nielson & Hanne

546 views • 42 slides
Abstraction Layers for Scalable Microfluidic Biocomputers William Thies*, J.P. Urbanski , Todd

Abstraction Layers for Scalable Microfluidic Biocomputers William Thies*, J.P. Urbanski , Todd

Abstraction Layers for Scalable Microfluidic Biocomputers William Thies*, J.P. Urbanski , Todd Thorsen and Saman Amarasinghe * * Computer Science and Artificial Intelligence Laboratory Hatsopoulos Microfluids Laboratory

465 views • 33 slides
Lecture 32/Chapter 27 Step 2: Consider 7 Critical Components (details). Putting Skills to the

Lecture 32/Chapter 27 Step 2: Consider 7 Critical Components (details). Putting Skills to the

Seven Guidelines (Review) Step 1: Determine if study was sample survey, experiment, obs study, census, or anecdotes. Lecture 32/Chapter 27 Step 2: Consider 7 Critical Components (details). Putting Skills to the Test Step 3: Check for

396 views • 3 slides
Ultra-high Energy Neutrino Events at IceCube: Implications for the Standard Model and Beyond P .

Ultra-high Energy Neutrino Events at IceCube: Implications for the Standard Model and Beyond P .

Ultra-high Energy Neutrino Events at IceCube: Implications for the Standard Model and Beyond P . S. Bhupal Dev Consortium for Fundamental Physics, University of Manchester C.-Y. Chen, PSBD, A. Soni, arXiv:1309.1764 [hep-ph]; and ongoing work.

301 views • 18 slides
Passive immunotherapy: antibody drug conjugates Anti CD-79b: Polatuzumab Maurizio Martelli Dip.

Passive immunotherapy: antibody drug conjugates Anti CD-79b: Polatuzumab Maurizio Martelli Dip.

Passive immunotherapy: antibody drug conjugates Anti CD-79b: Polatuzumab Maurizio Martelli Dip. Biotecnologie Cellulari ed Ematologia Sapienza Universit di Roma Polatuzumab vedotin: CD79b target Molecular Informa.on CD79b

615 views • 42 slides

More recommend