On Testing Quantum Programs

Miranskyy, Andriy; Zhang, Lei

doi:10.1109/icse-nier.2019.00023

Cited by 51 publications

(25 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, one may argue that QCs will replace CCs at some point in time. However, we conjecture [59] that QCs will not replace CCs in the short run. Rather, QCs will be integrated into an SoS, where QC-based components will solve BQP problems (that CCs cannot solve), while the solution will be passed to CC components for post-processing.…”

Section: Creation and Usage Of Quantum Software Componentsmentioning

confidence: 83%

On Testing and Debugging Quantum Software

Miranskyy¹,

Zhang²,

Doliskani³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computerspecific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

show abstract

Section: Creation and Usage Of Quantum Software Componentsmentioning

confidence: 83%

On Testing and Debugging Quantum Software

Miranskyy¹,

Zhang²,

Doliskani³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…The impact of research on industry is of the utmost importance in a field that is expected to show significant growth in the next years [15,16]. It is also a field in which it seems that no software engineering methods, techniques and practices have been considered for this new scenario [5,6,45]. The practical and applied approach of the topics addressed in this proposal will make it easier to transfer the knowledge derived from this research to those companies in the sector who have projects that have to do with QC.…”

Section: Transfer Of Resultsmentioning

confidence: 99%

“…Despite the fact that QC is becoming more and more mature and mainstream, software engineering for quantum software has not been considered in the same depth as software engineering for classical software over the last decades [4][5][6]. This present work is therefore framed within the new Quantum Software Engineering (QSE) paradigm.…”

Section: Introductionmentioning

confidence: 99%

Software modernization to embrace quantum technology

Pérez‐Castillo

Serrano

Piattini

2021

Advances in Engineering Software

View full text Add to dashboard Cite

Quantum Computing is becoming an increasingly mature area, with a simultaneous escalation of investment in many sectors. Quantum technology will revolutionize all the engineering fields. For example, companies will need to add quantum computing progressively to some or all of their daily operations. It is clear that all existing classical information systems cannot be done away with. Rather than that occurring, it is expected that some quantum algorithms will be added, so that they can work alongside classical information systems. There has been no systematic solution offered to deal with this challenge so far. This research proposes a software modernization approach (model-driven reengineering) designed to restructure classical systems to work in conjunction with quantum systems, thereby providing target environments that combine both of these computational paradigms. The approach proposed is systematic, and based on existing software engineering standards like the Knowledge Discovery Metamodel and the Unified Modelling Language. It could therefore be applied in industry in a way that complies with the existing software evolution processes. The independence of this proposal with respect to quantum programming environments is also guaranteed, making its application feasible in the changing environment in today's quantum industry. The main implication of this approach is technical, but also economic, since it enables the reuse of the knowledge embedded in legacy systems, while at the same time the new quantum-based projects are speeded up.

show abstract

“…Despite the rapid development of QCs, we conjecture that QCs will not replace CCs in the short run. Instead, QCs will be integrated into a System of Systems via private or public Cloud service [20,21,22]. Aggregated Cloud services are starting to appear as well.…”

Section: The Timeline Of Qcsmentioning

confidence: 99%

Making Existing Software Quantum Safe: Lessons Learned

Zhang¹,

Miranskyy²,

Rjaibi³

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

In the era of quantum computing, Shor's algorithm running on quantum computers (QCs) can break asymmetric encryption algorithms that classical computers essentially cannot. QCs, with the help of Grover's algorithm, can also speed up the breaking of symmetric encryption algorithms. Though the exact date when QCs will become "dangerous" for practical problems is unknown, the consensus is that this future is near. Thus, one needs to start preparing for the era of quantum advantage and ensure quantum safety proactively.In this paper, we discuss the effect of quantum advantage on the existing software systems and recap our seven-step roadmap, deemed 7E. The roadmap gives developers a structured way to start preparing for the quantum advantage era. We then report the results of a case study, which validates 7E. Our software under study is the IBM Db2 database system, where we upgrade the existing cryptographic schemes to post-quantum cryptography (using Kyber and Dilithium schemes) and report our findings and learned lessons. The outcome of the study shows that the 7E roadmap is effective in helping to plan the evolution of existing software security features towards quantum safety.

show abstract

On Testing Quantum Programs

Cited by 51 publications

References 25 publications

On Testing and Debugging Quantum Software

On Testing and Debugging Quantum Software

Software modernization to embrace quantum technology

Making Existing Software Quantum Safe: Lessons Learned

Contact Info

Product

Resources

About