程序文件是质量手册的支持性文件，应具有可操作性和可检查性。