[单选]  以下那个不属于验证软件需求的正确性的（ ）