TY - GEN
T1 - Mutation operators for actor systems
AU - Jagannath, Vilas
AU - Gligoric, Milos
AU - Lauterburg, Steven
AU - Marinov, Darko
AU - Agha, Gul
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77953753371&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77953753371&partnerID=8YFLogxK
U2 - 10.1109/ICSTW.2010.6
DO - 10.1109/ICSTW.2010.6
M3 - Conference contribution
AN - SCOPUS:77953753371
SN - 9780769540504
T3 - ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
SP - 157
EP - 162
BT - ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
T2 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
Y2 - 6 April 2010 through 10 April 2010
ER -