View in EDS HTML Full Text PDF Full Text

Quantum software testing: State of the art.

Saved in:
Bibliographic Details
Title: Quantum software testing: State of the art.
Authors: García de la Barrera, Antonio1 (AUTHOR) antonio.gamo@uclm.es, García‐Rodríguez de Guzmán, Ignacio1 (AUTHOR), Polo, Macario1 (AUTHOR), Piattini, Mario1 (AUTHOR)
Source: Journal of Software: Evolution & Process. Apr2023, Vol. 35 Issue 4, p1-14. 14p.
Subjects: Computer software correctness, Software engineering, Computer software testing, Quantum computing, Quantum theory, Software engineers
Abstract: Quantum computing is expected to exponentially outperform classic computing on a broad set of problems, including encryption, machine learning, and simulations. It has an impact yet to explore on all software lifecycle's processes and techniques. Testing quantum software raises a significant number of challenges due to the unique properties of quantum physics—such as superposition and entanglementand the stochastic behavior of quantum systems. It is, therefore, an open research issue. In this work, we offer a systematic mapping study of quantum software testing engineering, presenting a comprehensive view of the current state of the art. The main identified trends in testing techniques are (1) the statistic approaches based on repeated measurements and (2) the use of Hoare‐like logics to reason about software correctness. Another relevant line of research is reversible circuit testing, which is partially applicable to quantum software unitary testing. Finally, we have observed a flourishing of secondary studies and frameworks supporting testing processes from 2018 onwards. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Software: Evolution & Process is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 162878334
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Quantum software testing: State of the art.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22García+de+la+Barrera%2C+Antonio%22">García de la Barrera, Antonio</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> antonio.gamo@uclm.es</i><br /><searchLink fieldCode="AR" term="%22García‐Rodríguez+de+Guzmán%2C+Ignacio%22">García‐Rodríguez de Guzmán, Ignacio</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Polo%2C+Macario%22">Polo, Macario</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Piattini%2C+Mario%22">Piattini, Mario</searchLink><relatesTo>1</relatesTo> (AUTHOR)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Software%3A+Evolution+%26+Process%22">Journal of Software: Evolution & Process</searchLink>. Apr2023, Vol. 35 Issue 4, p1-14. 14p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+software+correctness%22">Computer software correctness</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+testing%22">Computer software testing</searchLink><br /><searchLink fieldCode="DE" term="%22Quantum+computing%22">Quantum computing</searchLink><br /><searchLink fieldCode="DE" term="%22Quantum+theory%22">Quantum theory</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineers%22">Software engineers</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Quantum computing is expected to exponentially outperform classic computing on a broad set of problems, including encryption, machine learning, and simulations. It has an impact yet to explore on all software lifecycle's processes and techniques. Testing quantum software raises a significant number of challenges due to the unique properties of quantum physics—such as superposition and entanglementand the stochastic behavior of quantum systems. It is, therefore, an open research issue. In this work, we offer a systematic mapping study of quantum software testing engineering, presenting a comprehensive view of the current state of the art. The main identified trends in testing techniques are (1) the statistic approaches based on repeated measurements and (2) the use of Hoare‐like logics to reason about software correctness. Another relevant line of research is reversible circuit testing, which is partially applicable to quantum software unitary testing. Finally, we have observed a flourishing of secondary studies and frameworks supporting testing processes from 2018 onwards. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Software: Evolution & Process is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=162878334
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/smr.2419
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 14
        StartPage: 1
    Subjects:
      – SubjectFull: Computer software correctness
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Computer software testing
        Type: general
      – SubjectFull: Quantum computing
        Type: general
      – SubjectFull: Quantum theory
        Type: general
      – SubjectFull: Software engineers
        Type: general
    Titles:
      – TitleFull: Quantum software testing: State of the art.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: García de la Barrera, Antonio
      – PersonEntity:
          Name:
            NameFull: García‐Rodríguez de Guzmán, Ignacio
      – PersonEntity:
          Name:
            NameFull: Polo, Macario
      – PersonEntity:
          Name:
            NameFull: Piattini, Mario
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: Apr2023
              Type: published
              Y: 2023
          Identifiers:
            – Type: issn-print
              Value: 20477473
          Numbering:
            – Type: volume
              Value: 35
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Journal of Software: Evolution & Process
              Type: main
ResultId 1