[논문 리뷰] Quantum Software Engineering: Roadmap and Challenges Ahead

Juan M. Murillo, José Garcí­a-Alonso외 14명|arXiv (Cornell University)|2024. 04. 10.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 양자 소프트웨어 엔지니어링(QSE) 분야를 조사하고, 활성 연구 영역, 도전과제 및 향후 10년 간의 방향을 제시한다. 고전 소프트웨어 엔지니어링이 QSE에 어떻게 정보를 제공할 수 있으며 새로운 패러다임이 필요한 부분을 설명한다.

ABSTRACT

As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -key qualities of any industry-grade software-mature software engineering practices must be applied throughout its design, development, and operation. However, the significant differences between classical and quantum software make it challenging to directly apply classical software engineering methods to quantum systems. This challenge has led to the emergence of Quantum Software Engineering as a distinct field within the broader software engineering landscape. In this work, a group of active researchers analyse in depth the current state of quantum software engineering research. From this analysis, the key areas of quantum software engineering are identified and explored in order to determine the most relevant open challenges that should be addressed in the next years. These challenges help identify necessary breakthroughs and future research directions for advancing Quantum Software Engineering.

연구 동기 및 목표

• 양자 하드웨어가 발전함에 따라 QSE를 하나의 학문으로 발전시키는 동기를 부여하기 위해 그 중요성을 강조한다.
• 주요 QSE 영역에서의 현재 연구를 요약하고 산업 채택을 저해하는 격차를 식별한다.
• 고전 소프트웨어 엔지니어링 개념(SOC, MDE, 테스트 등)이 양자 맥락에 어떻게 적용되거나 적응이 필요한지 논의한다.
• 반복 가능하고 효율적이며 유지보수 가능하고 비용 효과적인 양자 소프트웨어를 가능하게 하기 위한 향후 연구 방향을 제안한다.

제안 방법

• 다양한 도메인(SOC, MDE, 테스트, 프로그래밍 패러다임)에 걸친 최근 QSE 문헌을 리뷰하고 합성한다.
• 활발한 연구 그룹의 주요 과제와 제안된 해결책을 강조한다.
• 상호 운용성, 플랫폼 독립성, 교육 필요성을 반복적 주제로 식별한다.
• 양자 소프트웨어의 추상화를 높이기 위한 메커니즘으로 모델링 언어, DSML, QIR을 논의한다.
• QSE를 위한 개방형 연구 질문과 수십 년에 걸친 로드맵의 가능성을 개략한다.

Figure 1. Papers on QSE over time

실험 결과

연구 질문

• RQ1 양자 소프트웨어 엔지니어링에서 가장 활발한 연구 영역은 무엇이며 그것들이 왜 이 분야의 핵심인가?
• RQ2 반복 가능하고 유지보수 가능하며 비용 효율적인 양자 소프트웨어를 달성하기 위해 어떤 과제를 극복해야 하는가?
• RQ3 고전 소프트웨어 엔지니어링 실무(SOC, MDE, 테스트)를 양자 맥락에 맞게 어떻게 적응하거나 확장할 수 있는가?
• RQ4 다음 10년간 QSE를 발전시키기 위해 필요한 미래 방향과 돌파구는 무엇인가?

주요 결과

• QSE는 2020년 이후로 독립된 학문으로서의 형질을 띠며 출판 활동이 증가했으며 2023년에는 200편이 넘는 출판에 이르렀다.
• 활발한 영역에는 서비스 지향 컴퓨팅(SOC), 모델 기반 엔지니어링(MDE), 테스트와 디버깅, 양자 소프트웨어를 위한 프로그래밍 패러다임이 포함된다.
• 주요 도전과제는 상호운용성, 플랫폼 독립성, 수요/용량 관리, 인력 양성에 중점을 둔다.
• 향후 연구 방향은 하이브리드 양자-고전 시스템을 위한 고수준 설계 방법론, 확장 가능한 유지 관리/진화, 지능형 코드 생성 및 오케스트레이션, 개선된 테스트 기법을 강조한다.