2. 量子计算基础回顾
在进入量子应用测试与调试之前，需要先把量子计算的基本概念重新梳理一遍。这里的“回顾”不是泛泛而谈，而是围绕后续测试工作中会反复遇到的对象、状态和操作建立统一语言：我们到底在测什么、调什么、观察什么。量子程序最终会落到量子线路模型上，而线路由量子比特、量子门、测量和经典控制组成。测试与调试的核心，就是验证这些组成部分在给定输入下是否产生预期状态与统计结果。
量子比特：从确定到概率幅
经典比特只有 0 或 1 两种确定状态。量子比特（qubit）的状态则用二维复向量表示，常写作 |ψ⟩ = α|0⟩ + β|1⟩，其中 α、β 是复数概率幅，满足 |α|² + |β|² = 1。|α|² 和 |β|² 分别表示测量得到 0 和 1 的概率。例如 α = 1/√2、β = 1/√2 时，测量得到 0 或 1 的概率各为 50%。需要特别注意的是，概率幅本身不可直接观测，且带有相位信息；相位差会在后续量子门和干涉中影响结果，这也是量子调试比经典调试更微妙的原因之一。
在测试视角下，量子比特不是一个“值”，而是一个可被门操作变换、最终通过测量采样得到统计分布的对象。因此，验证一个量子比特状态是否正确，通常不能只看单次结果，而要观察多次测量后的频率分布，必要时结合量子态层析等手段。
叠加与纠缠：量子并行与关联的来源
叠加是指量子比特可以同时处于 |0⟩ 和 |1⟩ 的线性组合。对 n 个量子比特，若都处于均匀叠加，则系统可同时表示 2ⁿ 个基态的概率幅。例如 3 个量子比特经过 Hadamard 门后，测量得到 000 到 111 的概率各约 1/8。叠加让量子算法具备并行处理振幅的能力，但测量时只能得到一个基态结果，因此算法需要通过干涉放大正确答案的概率。
纠缠则描述多个量子比特之间无法分解为各自独立状态的关联。最典型的 Bell 态 |Φ⁺⟩ = (|00⟩ + |11⟩)/√2，测量第一个量子比特若得 0，第二个必为 0；若得 1，第二个必为 1。这种关联不是经典相关性，而是量子态整体性的体现。在测试中，纠缠态常用于验证双比特门、读出串扰和关联测量是否正确；如果本应完全关联的结果出现大量 01 或 10，往往意味着门保真度不足、退相干或读出错误。
测量：把量子信息转为经典统计
测量是量子线路与经典世界之间的接口。标准测量在计算基下进行，把量子态投影到 |0⟩ 或 |1⟩，并输出经典比特。测量具有不可逆性：测量后叠加态坍缩，重复测量同一量子比特不会再次得到原始叠加信息。因此，量子程序通常采用“制备—演化—测量”的多次运行模式，通过 shots 采样获得统计结果。
例如设置 shots = 1024，对处于均匀叠加的单量子比特测量，理想情况下 0 和 1 的计数都接近 512。若实际得到 0 约 980 次、1 约 44 次，则说明状态制备或读出存在明显偏差。测试时还要区分统计涨落与系统性错误：可以用二项分布估计置信区间，或增加 shots 以降低随机误差。调试中常见的“结果不对”并不一定是算法错误，也可能是测量映射、比特顺序或读出校准问题。
量子门与量子线路模型
量子门是对量子态进行的酉变换。单比特门包括 X、Y、Z、H、S、T 和任意旋转门 Rx、Ry、Rz；双比特门包括 CNOT、CZ、SWAP 等。X 门翻转 |0⟩ 与 |1⟩；H 门把 |0⟩ 变为 (|0⟩+|1⟩)/√2；CNOT 以控制比特为条件翻转目标比特，是产生纠缠的基本操作。量子线路模型把量子门按时间顺序排列，作用在若干量子比特上，最后进行测量。线路通常从左到右表示时间推进，每条横线代表一个量子比特，门符号跨线表示多比特操作。
下面这张图给出一个典型的两比特量子线路及其状态演化关系，用于把制备、叠加、纠缠、测量和统计结果串在一起理解。
从概念到测试：需要建立的判断习惯
把上述概念放到测试与调试中，可以形成几个关键判断习惯。第一，量子程序的输出是统计分布，不是单次确定值，因此比较结果时要看频率、置信区间和 shots 设置。第二，量子门有保真度和误差，理想线路与真实硬件结果之间会存在偏差，调试时要区分门误差、读出误差和退相干。第三，测量会破坏状态，不能像经典调试那样随意“打印中间变量”；若需观察中间态，通常要设计专门的层析或多次实验。第四，比特顺序、控制关系、相位约定和测量基都会影响结果解释，测试用例中应明确这些约定。
例如，在验证一个制备 Bell 态的线路时，可以先用模拟器确认理想分布，再在真实设备上运行并比较 |00⟩ 与 |11⟩ 的计数比例。若 |01⟩ 和 |10⟩ 明显偏高，优先检查 CNOT 连接关系、脉冲校准和读出串扰；若 |00⟩ 与 |11⟩ 比例失衡，则检查 H 门旋转角度和相位。这样的排查路径，正是后续章节中量子程序调试与测试用例设计的基础。
总结来看，量子比特提供状态空间，叠加与纠缠提供量子特性，量子门实现状态变换，测量把量子信息转为经典统计，量子线路模型则把这些元素组织成可执行、可测试的程序。后续的测试与调试工作，都会围绕这条链路展开：确认输入态、验证门操作、观察测量统计、定位误差来源，并判断结果是否满足预期。