现在认为高质量的程序，必须符合以下要求（）。