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