European Design and Automation Association
Verification of embedded multicore applications is crucial as these applications are deployed in many safety critical systems. Verification task is complicated by concurrency inherent in such applications. The authors use mutation testing to obtain quantitative verification coverage metric for mullticore applications developed using the new Multicore Communication API (MCAPI) standard. MCAPI is a lightweight API that targets heterogeneous multicore embedded systems. They developed a mutation coverage tool and performed several experiments on MCAPI applications. Their experiments show that mutation coverage is useful in measuring and improving the quality of the test suites and ultimately the quality of the multicore application.