一句话：提出量子软件组合测试工具 QuCAT，可生成不同强度测试套件并利用测试预言检测故障。
随着量子计算发展，量子程序亟需系统化、自动化的测试方法。本文提出组合测试工具 QuCAT，用于量子程序的组合测试。QuCAT 提供两种功能：一是按给定强度（如 pairwise）生成测试套件；二是逐步提高强度，直到触发失败或达到最大强度。工具采用两种测试预言检查测试输出正确性。作者用 5 个量子程序的 3 个带故障版本评估 QuCAT 的成本与有效性。结果表明，低强度组合测试套件能以较低成本发现故障，而更高强度能更好触发部分难以发现的故障，但成本相对更高。
With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To this end, we present the quantum software testing tool QuCAT for combinatorial testing of quantum programs. QuCAT provides two functionalities of use. With the first functionality, the tool generates a test suite of a given strength (e.g., pairwise). With the second functionality, it generates test suites with increasing strength until a failure is triggered or a maximum strength is reached. QuCAT uses two test oracles to check the correctness of test outputs. We assess the cost and effectiveness of QuCAT with 3 faulty versions of 5 quantum programs. Results show that combinatorial test suites with a low strength can find faults with limited cost, while a higher strength performs better to trigger some difficult faults with relatively higher cost.