随着计算机技术的发展，软件和软件系统在生产生活中的应用越来越广泛。除了微型计算机中的应用软件外，在工业制造、交通运输乃至军事领域中也拥有了规模庞大的软件系统。在大型的软件系统中，确保部署的软件处于正确、安全和可靠的状态是至关重要的。软件系统在很多重要领域的应用使得这些领域对软件系统的依赖性不断增加。由于软件的安全性对验证技术的要求越来越高，传统的验证技术已经无法满足人们对软件安全性的需要，于是软件安全性对验证技术提出了更高的要求。运行时验证作为一种轻量级的验证技术可以作为传统验证技术的补充。它的主要特点是验证过程发生在软件运行过程中，这为实时纠正软件错误奠定了基础。　　本文首先提出了一种基于移动时间的线性时序逻辑语义（LTL-P）。该语义将基于过去时间线性时序逻辑的时序运算符引入标准的线性时序逻辑中。使LTL-P语义可以同时描述将来和过去发生的事件，有效提高了语义的描述能力。然后，定义了基于移动时间的线性时序逻辑（LTL-P）转化为双向交换自动机的算法，实现了语义到自动机的转化。最后，文章提出了一种运行时验证监控器的构造方法。这种方法基于自动机转换算法，利用自动机转换方法将语义表达的属性转化为运行时验证监控器。为了简化验证过程，本文设计并实现了运行时验证工具 JRVtool。该工具集成了JavaMOP和AspectJ。本文使用JRVtool构造典型属性的运行时验证监控器，并且用此监控器对目标程序进行监控，结果证明监控过程是正确有效的。