Runtime Verification
提升软件系统的安全性、可靠性和正确性。
Runtime Verification 旨在使用 runtime verification 技术,提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。 运行时验证 runtime verification 是一种动态软件分析方法,可在程序执行时对其进行分析、观察执行结果,并使用这些结果查找错误。 运行时验证 runtime verification 比传统的形式分析技术更轻量级,也不意味着取代传统的基于单元的、功能和集成测试,甚至是轻量级的静态分析工具。