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.
展开▼
机译:我们介绍CCUTORATOR,用于使用POSIX线程编写的多线程C / C ++程序的突变生成工具,以及最近标准化的C ++ 11并发构造。 CCuutator能够进行部分突变并产生更高阶突变体,其允许更加集中的和复杂的基本突变算子的组合,导致更高质量的突变体。我们已经基于流行的Clang / LLVM编译器框架实现了CCutator,它允许CCuter在处理现实世界C / C ++应用程序方面是非常可扩展和强大的。 CC制也以这样的方式设计,即可以并行产生相同顺序的所有突变体,这允许工具在商品多核硬件上容易地并行化,以提高性能。
展开▼