简述软件自动化测试工具的原理。