基于模型的自动化测试工具的实现