运行时验证-一流百科

运行时验证

运行时验证运行时验证是一种计算系统分析和执行方法，它基于从运行中的系统中提取信息，并利用它来检测和可能对观察到的满足或违反某些属性的行为作出反应。...