With the human friendly declarative intent policy expression, intent-driven network can make network management and configuration autonomous without human intervention. However, the availability and dependability of these refined policies from the expressed intents should be well ensured by full-life cycle verification. Moreover, intent-driven network verification is still in its initial stage, and there is a lack of full-life cycle end-to-end verification framework. As a result, in this article, we present and review existing verification techniques, and classify them according to objective, purpose, and feedback. Furthermore, we describe intent verification as a technology that provides assurance during the intent form conversion process and propose a novel full-life cycle verification framework that expands on the concept of traditional network verification. Finally, we verify the feasibility and validity of the presented verification framework in the case of an access control policy for different network functions with multi conflict intents.

翻译：由于人类友好宣示意图的政策表达方式,由意图驱动的网络可以使网络管理和配置在没有人类干预的情况下具有自主性,然而,通过全生命周期核查,应该很好地确保这些从明示意图中得到的经过改进的政策的可用性和可靠性;此外,由意图驱动的网络核查仍处于初始阶段,缺乏全生命周期周期端对端的核查框架;因此,在本条中,我们提出并审查现有的核查技术,并按目的、目的和反馈加以分类;此外,我们把意图核查描述为在意图形式转换过程中提供保证的一种技术,并提出一个新的全生命周期核查框架,扩大传统网络核查的概念;最后,在对具有多种冲突意图的不同网络功能实行出入控制政策的情况下,我们核查所提出的核查框架的可行性和有效性。