Quantum Software Testing: Challenges, Early Achievements, and Opportunities

被引：0
|
作者：
Yue, Tao [1 ]
Arcaini, Paolo [2 ]
Ali, Shaukat [1 ]
机构：
[1] Simula Res Lab, Fornebu, Norway
[2] Natl Inst Informat, Tokyo, Japan
来源：
ERCIM NEWS | 2022年 / 128期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Quantum software testing provides systematic and automated ways to test quantum programs to guarantee their correctness and dependability. Such a guarantee is critical to delivering the pledged revolutionary quantum computing applications to the world.
引用
收藏
页码：13 / 15
页数：3
相关论文
共 50 条
  • [1] Software testing research: Achievements, challenges, dreams
    Bertolino, Antonia
    [J]. FOSE 2007: FUTURE OF SOFTWARE ENGINEERING, 2007, : 85 - 103
  • [2] Leveraging Natural Language Analysis of Software: Achievements, Challenges, and Opportunities
    Pollock, Lori
    [J]. 2012 28TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2012, : 4 - 4
  • [3] Achievements, open problems and challenges for search based software testing
    Harman, Mark
    Jia, Yue
    Zhang, Yuanyuan
    [J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [4] Software Testing of Generative AI Systems: Challenges and Opportunities
    Aleti, Aldeida
    [J]. 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: FUTURE OF SOFTWARE ENGINEERING, ICSE-FOSE, 2023, : 4 - 14
  • [5] Software Analytics: Achievements and Challenges
    Zhang, Dongmei
    Xie, Tao
    [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1487 - 1487
  • [6] Mobile Testing in Software Industry using Agile: Challenges and Opportunities
    Santos, Andreia
    Correia, Igor
    [J]. 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015,
  • [7] Challenges, achievements and opportunities in allelopathy research
    Inderjit
    Weston, Leslie A.
    Duke, Stephen O.
    [J]. JOURNAL OF PLANT INTERACTIONS, 2005, 1 (02) : 69 - 81
  • [8] Software architecture-based analysis and testing: a look into achievements and future challenges
    Bertolino, Antonia
    Inverardi, Paola
    Muccini, Henry
    [J]. COMPUTING, 2013, 95 (08) : 633 - 648
  • [9] Software architecture-based analysis and testing: a look into achievements and future challenges
    Antonia Bertolino
    Paola Inverardi
    Henry Muccini
    [J]. Computing, 2013, 95 : 633 - 648
  • [10] Achievements and Challenges of Metamorphic Testing
    Hui, Zhan-wei
    Huang, Song
    [J]. 2013 FOURTH WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE), 2013, : 73 - 77
12345