Quantum software testing has attracted interest in recent years, prompting the development of various techniques to automate the testing of quantum software. These techniques generate test cases that must be assessed for their effectiveness in detecting faults. Such an assessment requires benchmarks of faulty programs. However, there is a lack of benchmarks containing faults. In this data showcase, we propose QMutBench, a dataset that contains over 700,000 quantum circuit mutants representing different faults. The dataset is accessible via an online interface with selection criteria, such as the original quantum circuit(s) from which mutants are generated, the desired survival rate of the selected mutants, and other mutation characteristics (e.g., the type of faulty quantum gate). QMutBench provides quantum software developers and testers with an accessible online dataset to obtain benchmarks of mutants necessary to assess either the quality of the test cases generated by their testing technique or to compare different testing techniques. It also enables the development of new mutation-guided quantum software testing techniques.
翻译:量子软件测试近年来引起了广泛关注,促使多种自动化测试量子软件技术的发展。这些技术生成的测试用例需要评估其检测故障的有效性,而此类评估依赖于包含故障的基准程序。然而,当前仍缺乏包含故障的基准数据集。在本数据展示中,我们提出QMutBench数据集,该数据集包含超过70万个代表不同故障的量子电路变异体。数据集可通过在线界面访问,并支持基于原始量子电路(生成变异体的来源)、目标变异体存活率及其他变异特征(如故障量子门类型)等条件进行筛选。QMutBench为量子软件开发者和测试者提供了可公开访问的在线数据集,可用于获取评估测试技术生成测试用例质量所需的变异体基准,或比较不同测试技术。该数据集亦支持开发新型变异引导的量子软件测试技术。