White-box test is a kind of important method to verity correctness of program.

• 白盒测试是检验程序正确性的重要方法。