验证

定义

确保软件符合规格说明的过程。