要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程中不发生错误，应该保证程序的（）。