对于单一一个需求，必须具有的基本性质：必要的、无歧义的、可跟踪的以及_________。