运行时监控插桩技术综述

运行时监控是一种轻量级的动态验证技术，涉及观察软件系统的内部操作和/或其与其他外部实体的交互，旨在确定系统是否满足或违反了正确性规约。运行时监控工具中采用的编译技术允许从高级正确性规约（即属性）自动派生出监控器。这使得同一属性可以转换为不同类型的监控器，这些监控器可以应用不同的插桩技术来检查属性是否得到满足。在本文中，我们比较和对比了当前文献中出现的各种类型的监控方法，并将它们分类为一系列监控插桩技术，其范围从一端的完全异步监控到另一端的完全同步监控。