一般从（）、（）、（）和（）四个方面验证软件需求的正确性。