三类验证时机

架构验证可分为静态、动态和运行态：静态检查模型结构，动态分析行为变化，运行态关注系统执行中的约束保持。验证越靠后越贴近真实，也越难低成本修复。