Paraμ- A partial and higher-order mutation tool with concurrency operators

Pratyusha Madiraju, Akbar Siami Namin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

The mutation operators implemented in a mutation tool typically mutate the entire programs thoroughly and thus generate enormous number of mutants spread all over the programs. However, the complexity and difficulty level of methods implemented in a given program is less evenly distributed all over the program. Hence, the non-uniform distribution of complexity of methods in a program is an indication of testing efforts required for each method. We introduce partial mutations where only the complex parts of the programs are mutated instead of the entire programs. Paraμ is a mutation tool for Java programs enabling partial mutations. In addition to the class mutation, Paraμ implements concurrency mutation operators to address the recent advances in multicore systems and hence mutation testing of parallel and multi-threaded programs. Furthermore, Paraμ allows higher-order mutations by which the users are allowed to specify the order and the types of mutation operators and thus perform a combinatorial higher-order mutation testing.

Original languageEnglish
Title of host publicationProceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
Pages351-356
Number of pages6
DOIs
StatePublished - 2011
Event4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 - Berlin, Germany
Duration: Mar 21 2011Mar 25 2011

Publication series

NameProceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

Conference

Conference4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
Country/TerritoryGermany
CityBerlin
Period03/21/1103/25/11

Keywords

  • Higher-order mutation
  • Mutation testing
  • Object oriented programs
  • Software testing tools

Fingerprint

Dive into the research topics of 'Paraμ- A partial and higher-order mutation tool with concurrency operators'. Together they form a unique fingerprint.

Cite this