And with the vast number of invariants that must be checked for a GUI program, automated testing is essential.

• 由于GUI程序中有大量的不变量需要检查,因此,自动化测试是必需的。