Cross-coverage testing of functionally equivalent programs
- Resource Type
- Conference
- Authors
- Bertolino, Antonia; De Angelis, Guglielmo; Di Giandomenico, Felicita; Lonetti, Francesca
- Source
- 2023 IEEE/ACM International Conference on Automation of Software Test (AST) AST Automation of Software Test (AST), 2023 IEEE/ACM International Conference on. :101-111 May, 2023
- Subject
- Computing and Processing
Q measurement
Automation
Software
Testing
Code-based testing
cross-coverage
functionally equivalent programs
test suite augmentation
- Language
- ISSN
- 2833-9061
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.