如何在无需阅读任何生成代码的情况下，验证您的应用程序是否符合预期意图。