运行时验证是一种轻量级的运行时监控技术。通过持续监控软件系统的运行状态来判定当前系统运行是否满足通过某种高层规约描述的正确性性质。在运行时验证中，通常从高层规约中自动产生运行时监控器。在系统运行过程中，运行时监控器在任何时刻仅能观察到在理想情况下为无穷状态序列的系统执行的有穷前缀。传统的运行时验证技术无法预测被监控软件系统未来可能的执行行为。运行时监控器监控结论的产生仅能依据当前观察的有穷前缀。故仅能检测当前系统执行中的软件失效，而不能预测软件失效的发生。对于部署后软件，及时检测到软件失效固然重要，但预测软件失效并避免其发生更有意义。本文围绕运行时软件失效预测和预防问题，一方面研究软件系统一般时序性质和参数化时序性质的预测语义和预测监控器构造技术，尽可能早的检测软件失效；另一方面，通过前瞻软件行为把控制和反馈的概念引入软件运行过程，提出了软件主动监控的概念和方法，形成由失效预测和预防形成的闭环回路。使得软件运行时验证及主动监控技术成为传统软件分析和验证技术的有效补充，提高部署后软件系统的安全性、可靠性。本文首先基于线性时序逻辑预测语义定义，研究和提出了改进的预测监控器构造方法。运行时验证中的一个重要研究内容就是从高层规约生成高效的监控器。本文提出的构造方法使最终产生的预测监控器规模尽可能小，能有效控制构造过程复杂度，避免状态爆炸从而增强该方法的适用性。以面向线性时序逻辑的运行时验证技术为基础，提出了基于软件系统模型的软件主动监控技术和方法。在系统模型中，不但关心系统状态之间的迁移关系，而且关心驱使状态迁移发生的方法和事件。本文以该模型为基础，提出了如何前瞻系统行为，如何针对运行时监控器监控结论自动产生在特定状态处的调控动作，以及如何采用适当的执行机制使得调控动作能够被及时使能和饨化，从而避免软件失效的方法和技术，形成包含失效预测及预防的闭环回路，使得被监控系统的行为能够向着期望的方向被不断监控和调控。同时本文还证明了，在特定的条件下，主动监控技术总能保证系统的实际运行行为与期望的系统行为之间的一致性。针对描述程序动态属性的特殊需求，本文进一步研究了面向参数化线性时序性质的运行时验证技术，首先综合考虑运行时验证以及参数化线性时序性质描述两方面的特殊需求，提出了既适于运行时验证技术，又能满足参数化性质描述的参数化线性时序逻辑，即PAⅡL，从语法层面保证公式中参数化变量的绑定和使用等基本操作的实施。同时给出了相应的标准语义和预测语义。以此为基础，提出了以交错自动机为中间环节的单一整体参数化预测监控器构造技术，并通过形式化的方法定义了参数化预测监控器的运行过程。该监控器基于参数化系统执行轨迹能够尽可能早的检测当前系统执行中的软件失效。由于PAⅡL逻辑强大的表达能力，使得单一整体参数化预测监控产生过程复杂度比较高及理论比较复杂，本文进一步提出了一种表达能力受限的描述参数化线性时序性质的形式化方法，LTL模板。它与一般的线性时序逻辑存在比较紧密的对应关系。因此，本文研究了如何把参数化系统执行轨迹转化为一组非参数化的程序执行轨迹，从而把面向参数化时序性质的运行时验证问题转化为面向一般线性时序性质的验证问题。这就使得上述关于面向LTL的运行时验证和主动监控技术得以在参数化环境应用。最后，本文以操作系统信息安全访问控制机制为典型应用背景，展示了如何利用上述软件运行时验证和主动在线监控技术和方法框架，在系统运行时过程中，进一步精化sELillLIx操作系统安全策略配置。从而实现进一步提高软件系统信息流安全的目标。验证了本文方法的有效性。