Efficient mutation testing of multithreaded code

被引:8
作者
Gligoric, Milos [1 ]
Jagannath, Vilas [1 ]
Luo, Qingzhou [1 ]
Marinov, Darko [1 ]
机构
[1] Univ Illinois, Siebel Ctr Comp Sci, Urbana, IL 61801 USA
基金
美国国家科学基金会;
关键词
mutation testing; multithreaded code; MODEL-CHECKING; FRAMEWORK;
D O I
10.1002/stvr.1469
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Mutation testing is a well-established method for measuring and improving the quality of test suites. A major cost of mutation testing is the time required to execute the test suite on all the mutants. This cost is even greater when the system under test is multithreaded: not only are test cases from the test suite executed on many mutants but also each test case is executedor more precisely, exploredfor multiple possible thread schedules. This paper introduces a general framework for efficient exploration that can reduce the time for mutation testing of multithreaded code. The paper presents five techniques (four optimizations and one heuristic) that are implemented in a tool called MuTMuT within the general framework. Evaluation of MuTMuT on mutation testing of 12 multithreaded programs shows that it can substantially reduce the time required for mutation testing of multithreaded code.Copyright (c) 2012 John Wiley & Sons, Ltd.
引用
收藏
页码:375 / 403
页数:29
相关论文
共 68 条
[1]  
Adra Salem F., 2010, Proceedings of the IEEE Third International Conference on Software Testing Verification and Validation - Workshops (ICSTW 2010), P151, DOI 10.1109/ICSTW.2010.9
[2]  
Agha G.Actors., 1986, MODEL CONCURRENT COM
[3]  
Ammann P., 2016, INTRO SOFTWARE TESTI
[4]  
[Anonymous], P 29 INT C SOFTW ENG
[5]  
[Anonymous], 1990, Introduction to Algorithms
[6]  
Ayari K, 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, P1074
[7]   Comparative assessment of testing and model checking using program mutation [J].
Bradbury, Jeremy S. ;
Cordy, James R. ;
Dingel, Juergen .
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, :210-+
[8]  
Bradbury Jeremy S., MUTATION 06, DOI [10.1109/MUTATION.2006.10, DOI 10.1109/MUTATION.2006.10]
[9]  
Bron Arkady, 2005, P ACM SIGPLAN S PRIN, P206
[10]   Line-Up: A Complete and Automatic Linearizability Checker [J].
Burckhardt, Sebastian ;
Dern, Chris ;
Musuvathi, Madanlal ;
Tan, Roy .
ACM SIGPLAN NOTICES, 2010, 45 (06) :330-340