Protocol validation and verification techniques have been applied successfully for a number of years to a wide range of protocols. The increasing complexity of our communications systems requires us to examine existing techniques and make a realistic assessment of which techniques will be applicable to the complex systems of the future. We believe that validation techniques based on an exhaustive reachability analysis will not be effective. Sampling techniques, such as executing a random walk through the reachable state space, are effective in complex systems, since most protocol errors occur in many different states of the system.
rnMore than 10 years have elapsed since the first automated validation techniques were first applied to communications protocols [1,2]. In the meantime, considerable advances have been made in validation technology, but more significantly, the scale and nature of the validation problem have changed. The communications systems that we need to validate today are significantly more complex than those of ten years ago. Our methods must evolve in order to address the current challenge.
rnThis paper is concerned primarily with the nature of the validation process, and the results that we might reasonably expect to achieve when validating protocols in complex communications systems.
协议验证和验证技术已成功应用于多种协议。我们的通信系统日益复杂,要求我们检查现有技术并进行实际评估,以了解哪些技术将适用于未来的复杂系统。我们认为,基于详尽的可达性分析的验证技术将无效。采样技术(例如在可到达的状态空间中执行随机游走)在复杂的系统中非常有效,因为大多数协议错误都发生在系统的许多不同状态中。 P> rn
自从最早的自动验证技术首先应用于通信协议[1,2]。同时,验证技术已经取得了相当大的进步,但是更重要的是,验证问题的规模和性质已经改变。我们今天需要验证的通信系统比十年前复杂得多。为了应对当前的挑战,我们的方法必须不断发展。 P> rn
本文主要关注验证过程的性质以及在复杂通信系统中验证协议时我们可能合理期望实现的结果 P>
IBM Research Division, Zurich Research Laboratory, 8803 R�schlikon, Switzerland;
机译:现场验证开发的评估线内乳腺炎检测系统的方案
机译:现代化的计算方法和验证协议,用于复杂的研究堆运行,从而使航空母舰转弯
机译:基于生物法律分类系统(BCS)的BioWaiver协议的比较分析,以验证多源产品的等价性
机译:通过快速原型设计,NoC系统的自适应路由协议验证
机译:基于真实推理方法的运动对策协议管理专家系统的开发与验证。
机译:复杂系统中基于新的基于分子动力学的相空间采样协议
机译:生存能力验证系统系统系统的问题
机译:内部系统中生物污损的水中处理:季铵化合物(QaC)化学处理方案的现场验证。