算法能正确的实现预定功能的特性称为______。