验证循环程序的完全正确性,必须证明循环的( )。
A可进行性[|]可终止性[|]可理解性[|]可重复性