关键词: 子程序，超算子，终止概率，程序验证

Abstract: Using the verification method for quantum programs proposed in巨18习，the verification of quantum programs on the single qubit system described by bit flip channel, depolarizing channel, amplitude damping channel and phase damping channel was investigated, and the termination conditions of a duantum program were discussed in detail by se- lecting the different observable operators. It shows that the termination conditions of the duantum program described by quantum channel not only depends on the selection of input state, but also depends on the selection of observable opera- tors.

Key words: Quantum programs, Super-op}rator,hermination probability, Program verification