加入了验证正确性的程序