Document - Cross-coverage testing of functionally equivalent programs

2023

Conference article Open Access

Cross-coverage testing of functionally equivalent programs

Bertolino A., De Angelis G., Di Giandomenico F., Lonetti F.

Code-based testing cross-coverage functionally equivalent programs test suite augmentation

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.

Source: AST 2023 - IEEE/ACM International Conference on Automation of Software Test, pp. 101–111, Melbourne, Australia, 15-16/05/2023

Publisher: IEEE COMPUTER SOC, LOS ALAMITOS, CA, USA

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:485431,
	title = {Cross-coverage testing of functionally equivalent programs},
	author = {Bertolino A. and De Angelis G. and Di Giandomenico F. and Lonetti F.},
	publisher = {IEEE COMPUTER SOC, LOS ALAMITOS, CA, USA},
	doi = {10.1109/ast58925.2023.00014},
	booktitle = {AST 2023 - IEEE/ACM International Conference on Automation of Software Test, pp. 101–111, Melbourne, Australia, 15-16/05/2023},
	year = {2023}
}