CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C plus plus Applications

被引:0
|
作者
Kusano, Markus [1 ]
Wang, Chao [1 ]
机构
[1] Virginia Tech, Blacksburg, VA 24061 USA
基金
美国国家科学基金会;
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We introduce CCmutator, a mutation generation tool for multithreaded C/C++ programs written using POSIX threads and the recently standardized C++11 concurrency constructs. CCmutator is capable of performing partial mutations and generating higher order mutants, which allow for more focused and complex combinations of elementary mutation operators leading to higher quality mutants. We have implemented CCmutator based on the popular Clang/LLVM compiler framework, which allows CCmutator to be extremely scalable and robust in handling real-world C/C++ applications. CCmutator is also designed in such a way that all mutants of the same order can be generated in parallel, which allows the tool to be easily parallelized on commodity multicore hardware to improve performance.
引用
收藏
页码:722 / 725
页数:4
相关论文
共 50 条
  • [1] An empirical study on C plus plus concurrency constructs
    Wu, Di
    Chen, Lin
    Zhou, Yuming
    Xu, Baowen
    [J]. 2015 ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM), 2015, : 257 - 266
  • [2] An extensive empirical study on C plus plus concurrency constructs
    Wu, Di
    Chen, Lin
    Zhou, Yuming
    Xu, Baowen
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 76 : 1 - 18
  • [3] Mathematizing C plus plus Concurrency
    Batty, Mark
    Owens, Scott
    Sarkar, Susmit
    Sewell, Peter
    Weber, Tjark
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (01) : 55 - 66
  • [4] Mathematizing C plus plus Concurrency
    Batty, Mark
    Owens, Scott
    Sarkar, Susmit
    Sewell, Peter
    Weber, Tjark
    [J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 55 - 66
  • [5] Nitpicking C plus plus Concurrency
    Blanchette, Jasmin Christian
    Weber, Tjark
    Batty, Mark
    Owens, Scott
    Sarkar, Susmit
    [J]. PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 113 - 123
  • [6] Foundations of the C plus plus Concurrency Memory Model
    Boehm, Hans-J.
    Adve, Sarita V.
    [J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 68 - 78
  • [7] Grace: Safe Multithreaded Programming for C/C plus
    Berger, Emery D.
    Yang, Ting
    Liu, Tongping
    Novark, Gene
    [J]. OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 81 - 96
  • [8] REFACTORING OF C/C plus plus PREPROCESSOR CONSTRUCTS AT THE MODEL LEVEL
    Vidacs, Laszlo
    [J]. ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 232 - 237
  • [9] Static Analysis Approach for Defect Detection in Multithreaded C/C plus plus Programs
    Moiseev, Mikhail
    [J]. SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013, 2013, 8166 : 169 - 183
  • [10] Clarifying and Compiling C/C plus plus Concurrency: from C++11 to POWER
    Batty, Mark
    Memarian, Kayvan
    Owens, Scott
    Sarkar, Susmit
    Sewell, Peter
    [J]. POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 509 - 520