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.

翻译：程序P的交叉覆盖是指在与P功能等价的另一程序Q上测得的测试覆盖度。这一新颖的交叉覆盖概念在冗余软件测试中具有实用价值。本文应用交叉覆盖进行测试套件扩充，实验表明：从等价程序的覆盖信息生成的附加测试用例（称为交叉测试）能够比随机基准方法更有效地提升程序覆盖度。我们还观察到，与传统覆盖测试不同，交叉覆盖有助于发现（人为注入的）功能缺失故障。