ZStack——自动化测试系统3：基于模型的测试