Using Conditional Mutation to Increase the Efficiency of Mutation - PowerPoint PPT Presentation

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 Software Test Waikiki, Honolulu, Hawaii, USA May 23 - 24, 2011

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Mutation Analysis Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Solutions Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Solutions Conditional Mutation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Solutions Conditional Mutation Syntax Tree Transformation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Solutions Conditional Mutation Syntax Tree Transformation Expressions and Statements Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Mutation Analysis Solutions Conditional Mutation Compiler Syntax Tree Integrated Transformation Expressions and Statements Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Challenges Comprehensive Mutation Empirical Study Analysis Solutions Conditional Mutation Compiler Syntax Tree Integrated Transformation Expressions and Statements Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of the Presentation Efficient Technique - Fully Integrated into the Java 6 SE Compiler Efficient Challenges Comprehensive Mutation Empirical Study Analysis Solutions Conditional Mutation Compiler Syntax Tree Integrated Transformation Expressions and Statements Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ int a=3, b=1, y; y = a * x; y += b; return y; } public int max( int a, int b){ int max = a; if (b>a){ max=b; } return max; } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ int a=3, b=1, y; y = a * x; Methodically y += b; inject small return y; } syntactical public int max( int a, int b){ faults into int max = a; the program under test if (b>a){ max=b; } return max; } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ int a=3, b=1, y; y = a * x; y += b; return y; } public int max( int a, int b){ int max = a; if (b>a){ max=b; } return max; } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ int a=3, b=1, y; y = a - x; ⇒ y = a + x; y = a * x; = y = a / x; y += b; return y; } public int max( int a, int b){ int max = a; if(b < a) ⇒ if(b != a) if (b>a){ = max=b; if(b == a) } return max; } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ Unbiased int a=3, b=1, y; and powerful y = a * x; method for assessing y += b; oracles and return y; } input values public int max( int a, int b){ int max = a; if (b>a){ max=b; } return max; } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Overview of Mutation Analysis public int eval( int x){ Unbiased int a=3, b=1, y; and powerful y = a * x; method for assessing y += b; oracles and return y; } input values public int max( int a, int b){ Useful method int max = a; for fault seeding if (b>a){ during the max=b; empirical study } of testing return max; techniques } Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Mutant Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Mutation Mutant Operators Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Program Mutation Mutant Operators Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Program Mutation Mutant Mutants Operators Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Often Yields a Substantial Num- Program ber of Mutants Mutation Mutant Mutants Operators Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Often Yields a Substantial Num- Program ber of Mutants Mutation Mutant Mutants Operators Generation High Time Over- head for Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Often Yields a Substantial Num- Program ber of Mutants Mutation Mutant Mutants Operators Generation Mutation Analysis High Time Over- head for Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Often Yields a Substantial Num- Program ber of Mutants Mutation Mutant Mutants Operators Generation Mutation Tests Analysis High Time Over- head for Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis

Introduction Conditional Mutation Implementation Conclusion Mutation Analysis Challenges Often Yields a Substantial Num- Program ber of Mutants Mutation Mutant Mutants Operators Generation Mutation Tests Results Analysis High Time Over- head for Generation Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Using Conditional Mutation to Increase the Efficiency of Mutation Analysis