RV：运行时验证

“运行时验证”是“Runtime Verification”的中文译名，常缩写为“RV”，以方便书写和使用。这一概念广泛应用于软件工程、形式化方法和系统安全等交叉学科领域，主要用于在程序运行过程中实时检测系统行为是否符合预期规范，对提升软件可靠性与安全性具有重要作用。

Runtime Verification具体释义

  • 英文缩写：RV
  • 英语全称：Runtime Verification
  • 中文意思：运行时验证
  • 中文拼音：yùn xíng shí yàn zhèng
  • 相关领域： rv 未分类的

Runtime Verification的英文发音

例句

  1. Research on Framework for Verifying AOP Programs Based on Runtime Verification(RV)
  2. 基于运行时验证(RV)的AOP程序检测框架研究预装配肋骨框架检验
  3. Non-classical Slicing Optimization Runtime Verification(RV) Approach for Synchronization
  4. 非经典切片优化的同步运行时检验方法
  5. It illustrates how to implement the core components in typical prototypical system, and makes simulation tests to verify and assess feasibility and efficiency of the runtime verification system.
  6. 详细阐述了原型系统中核心部件的实现，通过仿真测试和分析，验证和评价了论文提出的软件行为运行时验证(RV)机制的可行性和有效性。
  7. Within this framework, runtime verification is conducted at two levels.
  8. 在该框架中对软件行为的验证分两个阶段进行。
  9. Runtime verification ( RV ) is a lightweight runtime monitoring technique.
  10. 运行时验证(RV)是一种轻量级的运行时监控技术。

本站英语缩略词为个人收集整理，可供非商业用途的复制、使用及分享，但严禁任何形式的采集或批量盗用

若RV词条信息存在错误、不当之处或涉及侵权，请及时联系我们处理：675289112@qq.com。