Mutation operators for actor systems

Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Mutation testing is a well known technique for estimating and improving the quality of test suites. Given a test suite T for a system S, mutation testing systematically creates mutants of S and executes T to measure how many mutants T detects. If T does not detect some (non-equivalent) mutants, T can be improved by adding test cases that detect those mutants. Mutants are created by applying mutation operators. Mutation operators are important because they define the characteristics of the system that are tested as well as the characteristics that are improved in the test suite. While mutation operators are well defined for a number of programming paradigms such as sequential or multi-threaded, to the best of our knowledge, mutation operators have not been defined for the actor programming model. In this paper, we define and classify mutation operators that can be used for mutation testing of actor programs.

Original languageEnglish (US)
Title of host publicationICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
Pages157-162
Number of pages6
DOIs
StatePublished - 2010
Event3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 - Paris, France
Duration: Apr 6 2010Apr 10 2010

Publication series

NameICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Other

Other3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
Country/TerritoryFrance
CityParis
Period4/6/104/10/10

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'Mutation operators for actor systems'. Together they form a unique fingerprint.

Cite this