QuCAT: A Combinatorial Testing Tool for Quantum Software

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 2066 - 2069
Main Authors: Wang, Xinyi, Arcaini, Paolo, Yue, Tao, Ali, Shaukat
Format: Conference Proceeding
Language:English
Published: IEEE 11.09.2023
Subjects:
Automatic testing
Combinatorial testing
Costs
Quantum computing
quantum programs
Software
Software engineering
software testing
Systematics
ISSN:2643-1572
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract 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.
AbstractList 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.
Author Arcaini, Paolo
Wang, Xinyi
Yue, Tao
Ali, Shaukat
Author_xml – sequence: 1
  givenname: Xinyi
  surname: Wang
  fullname: Wang, Xinyi
  email: xinyi@simula.no
  organization: Simula Research Laboratory,Oslo,Norway
– sequence: 2
  givenname: Paolo
  surname: Arcaini
  fullname: Arcaini, Paolo
  email: arcaini@nii.ac.jp
  organization: National Institute of Informatics,Tokyo,Japan
– sequence: 3
  givenname: Tao
  surname: Yue
  fullname: Yue, Tao
  email: tao@simula.no
  organization: Simula Research Laboratory,Oslo,Norway
– sequence: 4
  givenname: Shaukat
  surname: Ali
  fullname: Ali, Shaukat
  email: shaukat@simula.no
  organization: Oslo Metropolitan University,Simula Research Laboratory,Oslo,Norway
BookMark eNotzN1KwzAYgOEoCm5zV6AHuYHW5EvSJJ6VsqkwkLF6PJL0i1TaRvqDePcKevTynLxrcjWkAQm54yznnNmH8rRTBYDNgYHIGWMFXJCt1dYIxQRYW8hLsoJCiowrDTdkPU0fjKlf6BUxx6Uq60da0ir1vh3cnMbWdbTGaW6Hd1qn1NGYRnpc3DAvPT2lOH-5EW_JdXTdhNv_bsjbfldXz9nh9emlKg-ZAyPnrAmBO_RKe-N5wOhjE3iIAAE0Bh8xFlJbG7UsNJrgvWVRONEYZdByHsWG3P99W0Q8f45t78bvM2dgjRJS_ACPpUnN
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ASE56229.2023.00062
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9798350329964
EISSN 2643-1572
EndPage 2069
ExternalDocumentID 10298534
Genre orig-research
GrantInformation_xml – fundername: JST
  grantid: 10.13039/501100009024
  funderid: 10.13039/501100001695
– fundername: Research Council of Norway
  grantid: 299827
  funderid: 10.13039/501100005416
GroupedDBID 6IE
6IF
6IH
6IK
6IL
6IM
6IN
6J9
AAJGR
AAWTH
ABLEC
ACREN
ADYOE
ADZIZ
AFYQB
ALMA_UNASSIGNED_HOLDINGS
AMTXH
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
ID FETCH-LOGICAL-a284t-dcc1aeb57b8b1cefbfdc1cf22c27ecbfef64799f7467e8cbb90f3a3d858e911f3
IEDL.DBID RIE
ISICitedReferencesCount 7
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001103357200199&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:32:41 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a284t-dcc1aeb57b8b1cefbfdc1cf22c27ecbfef64799f7467e8cbb90f3a3d858e911f3
PageCount 4
ParticipantIDs ieee_primary_10298534
PublicationCentury 2000
PublicationDate 2023-Sept.-11
PublicationDateYYYYMMDD 2023-09-11
PublicationDate_xml – month: 09
  year: 2023
  text: 2023-Sept.-11
  day: 11
PublicationDecade 2020
PublicationTitle IEEE/ACM International Conference on Automated Software Engineering : [proceedings]
PublicationTitleAbbrev ASE
PublicationYear 2023
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0051577
ssib057256115
Score 2.2965064
Snippet With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming...
SourceID ieee
SourceType Publisher
StartPage 2066
SubjectTerms Automatic testing
Combinatorial testing
Costs
Quantum computing
quantum programs
Software
Software engineering
software testing
Systematics
Title QuCAT: A Combinatorial Testing Tool for Quantum Software
URI https://ieeexplore.ieee.org/document/10298534
WOSCitedRecordID wos001103357200199&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELVoxcBUPor4lgfWQOx82GarqlYMqGrVgLpVtnNGSJCgksDf55ymhYWBzYoly3qx750Tv3uEXKchiEQoFgiHITDmxgXSRlHgEmvBudTyxkXh6UFMJnKxUNNWrN5oYQCguXwGN77Z_MvPS1v7T2W4w7lCeok7pCNEuhZrbRZPIpC8GdvmvsjTQrRlhliobgfzEVI999oU7ouaht4f55ehSsMn494_Z7JP-j_KPDrdcs4B2YHikPQ21gy03alHRM7q4SC7owOKfXj49UdrXGk080U1imealeUrxXyVzmqEtn6jcwzHX3oFffI4HmXD-6A1SQg0MksV5NYyDSYRRhqG8BqXW2Yd55YLsMaBS2OhlPO2IiCtMSp0kY5ymUjAQOeiY9ItygJOCLUulDpVBiNeGoPmhmvMZkKOo0uno_CU9D0Sy_d1HYzlBoSzP56fkz0Ptr9dwdgF6VarGi7Jrv2sXj5WV83b-waZFJr3
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dT8MgFCU6TfRpfsz4LQ--VoF-AL4tyxaNc9myava2AAVjoq2Zq_59L103ffHBN1ISQk7hnkvLuQehy4RYHnNJA-4gBEZMu0CYMAxcbIx1LjGsclF46vPBQEwmcliL1SstjLW2unxmr3yz-pefFab0n8pghzMJ9BKto404ihhZyLWWyyfmQN-UrrJfYGrO60JDlMjr9rgLZM-8OoX5sqbEO-T8slSpGKXX_OdcdlDrR5uHhyvW2UVrNt9DzaU5A6736j4So7LTTm9wG0MfHH_94RrWGk59WY38GadF8YohY8WjEsAt3_AYAvKXmtkWeux1085tUNskBAq4ZR5kxlBldcy10BQA1i4z1DjGDOPWaGddEnEpnTcWscJoLYkLVZiJWFgIdS48QI28yO0hwsYRoRKpIeYlkVVMMwX5DGEwunAqJEeo5ZGYvi8qYUyXIBz_8fwCbd2mD_1p_25wf4K2PfD-rgWlp6gxn5X2DG2az_nLx-y8epPf2a6ePg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=QuCAT%3A+A+Combinatorial+Testing+Tool+for+Quantum+Software&rft.au=Wang%2C+Xinyi&rft.au=Arcaini%2C+Paolo&rft.au=Yue%2C+Tao&rft.au=Ali%2C+Shaukat&rft.date=2023-09-11&rft.pub=IEEE&rft.eissn=2643-1572&rft.spage=2066&rft.epage=2069&rft_id=info:doi/10.1109%2FASE56229.2023.00062&rft.externalDocID=10298534