____是已知系统的功能设计规格，通过测试证明每个实现了的功能是否符合要求。