A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code

As C/C++ has been widely used for several decades, a huge amount of C/C++ code is available. However, when using a modern processor having several cores, legacy code needs to be adapted for it to achieve the best performances. Modifying C/C++ code manually or automatically is not an easy task, given...

Full description

Saved in:
Bibliographic Details
Main Authors: Calanna, Salvatore, Calvagna, Andrea, Campisi, Salvatore, Fornaia, Andrea, Pappalardo, Giuseppe, Torrisi, Riccardo, Tramontana, Emiliano
Format: Conference Proceeding
Language:English
Subjects:
Codes
Collaboration
Complexity theory
Conferences
mutation testing
parallel code generation
Parallel processing
static analysis
test case generation
Test pattern generators
Transforms
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:As C/C++ has been widely used for several decades, a huge amount of C/C++ code is available. However, when using a modern processor having several cores, legacy code needs to be adapted for it to achieve the best performances. Modifying C/C++ code manually or automatically is not an easy task, given the complexity of the language. Moreover, it is paramount to check that the modified version keeps the emerging behaviour of the old one, except for the better performances. This paper proposes an automatic approach and the resulting tools to transform existing legacy C/C++ code for achieving parallel execution. The approach includes the automatic generation of test cases, customised for the code that has been converted into a parallel version. Test cases are auto-evaluating, hence a completely automatic cycle of code transformation, test generation, behavioural checking, has been achieved.
ISSN:2641-8169
DOI:10.1109/WETICE53228.2021.00040