用于需求分析的软件工具，应该能够保证需求的正确性，即验证需求的一致性