一个高质量的程序,应具备下列选项中的哪几项条件.()