基于设计模型的信息系统自动测试方法