编程的一项基本的质量要求是程序的（），即在给定环境下计算机能识别和正确运行所编程序，要满足系统设备的功能要求。