A written guarantee that a system or computer program complies with its specified requirements.

• 一个系统或计算机程序符合规定要求的一种书面证明。