陈止风的博客

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/yunxingshiyanzhenggaishu/运行时验证的概述本文将简要介绍运行时验证技术。先给出运行时验证的定义，与和知名的验证技术像模型检测对比并给出测试，同时指出运行时验证的特点。然后，像面向监控编程的运行时验证扩展和基于监控的运行时反射会被简要描述并讨论他们的相同与差异。最后，指出使用运行时

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/yunxingshiyanzhenggongjuhuizong/运行时验证框架列举MOP (Monitor-Oriented Programming) 面向监视的程序设计方法，对运行时验证技术进行了扩展，能够在性质满足或违反的时候作出相应的反应。基于AOP (Aspect-Oriented Progra