A set of input data and conditions used to check the program correctness.

• 一组用于检查程序正确性的输入数据和条件。