Do Redundant Mutants Affect the Effectiveness and Efficiency of - PowerPoint PPT Presentation

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 Analysis Montreal, Canada April 17, 2012

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Equivalent Mutants Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Cannot be killed Equivalent Mutants Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Cannot be killed Redundant Equivalent Mutants Mutants Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Subsumed by Cannot other mutants be killed Redundant Equivalent Mutants Mutants Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Challenges in Mutation Analysis Subsumed by Cannot other mutants be killed Redundant Equivalent Mutants Mutants Harmful to efficiency and effectiveness Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- tional Expressions without redundancy Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- tional Expressions without redundancy Conditional Operator Replacement (COR) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- tional Expressions without redundancy Conditional Unary Operator Operator Insertion Replacement (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- Empirical Study tional Expressions on the impact of without redundancy redundant mutants Conditional Unary Operator Operator Insertion Replacement (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- Empirical Study tional Expressions on the impact of without redundancy redundant mutants Efficiency Conditional Unary Operator Operator Insertion Replacement (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- Empirical Study tional Expressions on the impact of without redundancy redundant mutants Efficiency Conditional Unary Number of Operator Operator mutants Insertion Replacement and runtime (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- Empirical Study tional Expressions on the impact of without redundancy redundant mutants Efficiency Effectiveness Conditional Unary Number of Operator Operator mutants Insertion Replacement and runtime (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Overview of the Presentation Redundant mutants Operator for Condi- Empirical Study tional Expressions on the impact of without redundancy redundant mutants Efficiency Effectiveness Conditional Unary Number of Accuracy Operator Operator mutants of mutation Insertion Replacement and runtime score (COR) (UOI) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions a < op > b Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions a < op > b && || Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions a < op > b && || Conditional Operator Replacement (COR) Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions a < op > b && || Conditional Operator Replacement (COR) a && b a || b a == b a != b Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions a < op > b && || Conditional Operator Replacement (COR) a && b false a || b true a == b rhs a != b lhs Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions Unary Operator Insertion (UOI) a < op > b && || Conditional Operator Replacement (COR) a && b false a || b true a == b rhs a != b lhs Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions !a < op > b !(a < op > b) a < op > !b Unary Operator Insertion (UOI) a < op > b && || Conditional Operator Replacement (COR) a && b false a || b true a == b rhs a != b lhs Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

Introduction Operator Empirical Study Conclusion Mutating Conditional Expressions Literals Expression a b a && b 0 0 0 0 1 0 1 0 0 1 1 1 Literals Expression a b a � b 0 0 0 0 1 1 1 0 1 1 1 1 Just & Kapfhammer & Schweiggert Ulm University, Allegheny College Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?