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

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
Introduction to the CASheW-s Project Our main objective is to develop a more generic approach to

Introduction to the CASheW-s Project Our main objective is to develop a more generic approach to

Introduction to the CASheW-s Project Our main objective is to develop a more generic approach to Web-Service composition. Therefore we are investigating the use of a timed process calculus to provide compositional behavioural

778 views • 35 slides
CSE 331 Mutation and immutability slides created by Marty Stepp based on materials by M. Ernst,

CSE 331 Mutation and immutability slides created by Marty Stepp based on materials by M. Ernst,

CSE 331 Mutation and immutability slides created by Marty Stepp based on materials by M. Ernst, S. Reges, D. Notkin, R. Mercer, Wikipedia http://www.cs.washington.edu/331/ 1 Mutation mutation : A modification to the state of an object.

571 views • 29 slides
Exploiting Safe Parallelism in Wireless Sensor Networks: A Generic and Reconfigurable Approach

Exploiting Safe Parallelism in Wireless Sensor Networks: A Generic and Reconfigurable Approach

Exploiting Safe Parallelism in Wireless Sensor Networks: A Generic and Reconfigurable Approach J Ueyama , Danny Hughes, Paul Grace, Edmundo R. M. Madeira Institute of Mathematics and Computer Science University of Sao Paulo (USP) Liverpool, 14

683 views • 19 slides
Generic Methods 36 What are Generic Methods? Generic methods = methods that introduce type

Generic Methods 36 What are Generic Methods? Generic methods = methods that introduce type

Generic Methods 36 What are Generic Methods? Generic methods = methods that introduce type parameters Similar to declaring a generic type but type parameter's scope is limited to method where it is declared The following are

584 views • 6 slides
Mutation of type D friezes Ana Garcia Elsener and Khrystyna Serhiyenko University of Kentucky

Mutation of type D friezes Ana Garcia Elsener and Khrystyna Serhiyenko University of Kentucky

Mutation of type D friezes Ana Garcia Elsener and Khrystyna Serhiyenko University of Kentucky November 24, 2019 Spring 2016, Banff Problem: Define and study mutation of friezes that is compatible with cluster mutation,

199 views • 15 slides
CAP representations (The right(?) way for generic MR analysis of Internet data ) Amos Ron

CAP representations (The right(?) way for generic MR analysis of Internet data ) Amos Ron

CAP representations (The right(?) way for generic MR analysis of Internet data ) Amos Ron University of Wisconsin Madison WISP: UCSD, November 2004 : Breaking news, 06/11/04: Wisconsin routed Minnesota 38:14, on its way to the

542 views • 32 slides
Virtual Mutation Analysis of Relational Database Schemas University of Sheffield Phil McMinn

Virtual Mutation Analysis of Relational Database Schemas University of Sheffield Phil McMinn

Virtual Mutation Analysis of Relational Database Schemas University of Sheffield Phil McMinn Allegheny College Gregory M. Kapfhammer University of Sheffield Chris J. Wright Relational Databases Why Should We (Still) Care?

778 views • 54 slides
A Generic Approach to Invariant Subspace Attacks Cryptanalysis of Robin, iSCREAM and Zorro Gregor

A Generic Approach to Invariant Subspace Attacks Cryptanalysis of Robin, iSCREAM and Zorro Gregor

A Generic Approach to Invariant Subspace Attacks Cryptanalysis of Robin, iSCREAM and Zorro Gregor Leander 1 , Brice Minaud 2 , Sondre Rnjom 3 1 Ruhr-Universitt Bochum, Germany 2 ANSSI and Universit Rennes 1, France 3 Nasjonal

590 views • 42 slides

More recommend