[论文解读] QDLC -- The Quantum Development Life Cycle

Nivedita Dey, Mrityunjay Ghosh+2 more|arXiv (Cornell University)|Oct 15, 2020

Cloud Computing and Resource Management被引用 4

一句话总结

本文提出了一种量子开发生命周期（QDLC）模型——以量子瀑布模型为结构——以系统化量子软件开发，解决量子应用开发中缺乏标准化方法论的问题。该模型从可行性研究到质量管理划分出明确阶段，即使在近期量子系统存在硬件限制和噪声的情况下，也能实现结构化、低成本的量子应用开发。

ABSTRACT

The magnificence grandeur of quantum computing lies in the inherent nature of quantum particles to exhibit true parallelism, which can be realized by indubitably fascinating theories of quantum physics. The possibilities opened by quantum computation (QC) is no where analogous to any classical simulation as quantum computers can efficiently simulate the complex dynamics of strongly correlated inter-facial systems. But, unfolding mysteries and leading to revolutionary breakthroughs in quantum computing are often challenged by lack of research and development potential in developing qubits with longer coherence interval, scaling qubit count, incorporating quantum error correction to name a few. Putting the first footstep into explorative quantum research by researchers and developers is also inherently ambiguous - due to lack of definitive steps in building up a quantum enabled customized computing stack. Difference in behavioral pattern of underlying system, early-stage noisy device, implementation barriers and performance metric cause hindrance in full adoption of existing classical SDLC suites for quantum product development. This in turn, necessitates to devise systematic and cost-effective techniques to quantum software development through a Quantum Development Life Cycle (QDLC) model, specifying the distinguished features and functionalities of quantum feasibility study, quantum requirement specification, quantum system design, quantum software coding and implementation, quantum testing and quantum software quality management.

研究动机与目标

• 解决量子软件开发中缺乏标准化方法论的问题，该问题阻碍了量子计算研究和应用开发的系统性进展。
• 克服传统软件开发生命周期（SDLC）模型在处理量子特有挑战（如量子比特相干性、噪声和测量坍缩）方面的局限性。
• 提供一个涵盖可行性分析、需求规范、系统设计、编码、测试和质量管理的系统化量子软件开发框架。
• 通过整合量子误差校正和优化技术，促进从理论量子算法到可部署量子应用的转化。
• 通过提供可扩展、模块化且成本效益高的开发生命周期，支持近期在含噪声中等规模量子（NISQ）时代中的量子开发。

提出的方法

• 提出一种量子瀑布模型，作为面向量子特定约束的结构化、阶段式开发方法，类似于经典SDLC但针对量子特性进行了调整。
• 引入专门阶段：量子可行性研究、量子需求规范（硬件与软件）、量子系统设计、量子编码与实现、通过态制备进行量子测试，以及量子软件质量管理（QSQM）。
• 强调利用量子态重建与验证工具进行测试，替代经典调试，尽可能实现非坍缩的态分析。
• 在编译和硬件映射层面集成优化技术，以减少电路深度与宽度，降低运行时间和资源开销。
• 将量子误差校正（QEC）分析整合进开发生命周期，用于估算开销并指导未来容错量子计算机（FTQC）的设计决策。
• 通过后QEC性能分析和资源使用与操作精度之间的权衡评估，支持量子线路的迭代优化。

实验结果

研究问题

• RQ1 在量子硬件独特约束的背景下，如何建立一个系统化、可扩展且成本效益高的量子软件开发生命周期？
• RQ2 经典SDLC与量子特异性开发模型之间有哪些关键差异，能够有效应对量子特有挑战（如量子比特退相干和测量坍缩）？
• RQ3 如何结构化地进行量子可行性与需求分析，以指导NISQ时代中的软硬件协同设计？
• RQ4 哪些技术能够实现在不导致量子态坍缩的前提下对量子程序进行有效测试与验证？
• RQ5 如何在抽象层次上实现量子软件质量管理——从算法编译到完整硬件部署？

主要发现

• 所提出的QDLC模型为量子软件开发提供了一个结构化、分阶段的框架，有效弥补了量子研发中标准化方法论的缺失。
• 通过量子态重建与验证工具实现量子测试，克服了因波函数坍缩导致的经典调试局限。
• 在编译和电路映射阶段应用优化技术，显著降低了电路深度与宽度，提升了运行效率并减少了资源开销。
• 后量子误差校正（QEC）性能分析使开发人员能够在逻辑量子比特保真度与物理资源成本之间做出明智的权衡。
• QDLC模型通过早期整合错误容错与可扩展性考量，同时支持近期NISQ应用与长期容错量子计算（FTQC）的开发。
• 该模型实现了从算法设计到部署的系统性过渡，通过标准化、可重复的流程，强化了量子计算领域的研究与开发。