The program test cases are based on the system specification

• 测试用例是以系统描述为基础的