input is legal start assertion assertion 」 ，我们可以在算法 assertion 的任意位置，设 assertion 置assertion Algorithm ● 这个“位置”就 是check point assertion assertion output satisfies assertion desired relationship stop• 我们可以在算法 的任意位置，设 置assertion • 这个“位置”就 是check point