Cross-coverage testing of functionally equivalent programs
Software Engineering
2023-05-01 v1
Abstract
Cross-coverage of a program P refers to the test coverage measured over a different program Q that is functionally equivalent to P. The novel concept of cross-coverage can find useful applications in the test of redundant software. We apply here cross-coverage for test suite augmentation and show that additional test cases generated from the coverage of an equivalent program, referred to as cross tests, can increase the coverage of a program in more effective way than a random baseline. We also observe that -contrary to traditional coverage testing-cross coverage could help finding (artificially created) missing functionality faults.
Cite
@article{arxiv.2304.14768,
title = {Cross-coverage testing of functionally equivalent programs},
author = {Antonia Bertolino and Guglielmo De Angelis and Felicita Di Giandomenico and Francesca Lonetti},
journal= {arXiv preprint arXiv:2304.14768},
year = {2023}
}
Comments
12 pages