When network engineers design a network, they need to verify the validity of their design in a test environment. Since testing on actual equipment is expensive and burdensome for engineers, we have proposed automatic verification methods using simulators and consistency verification methods for a network configuration model. Combining these methods with conventional verification methods for network device configurations will increase the number of verification options that do not require actual devices. However, the burden of writing existing networks into models has been a problem in our model-based verification. In this paper, we propose a method for automatically extracting a network device configuration model by parsing the contents obtained from network devices via show running-config commands and the like. In order to evaluate the effectiveness of the proposed method in realizing round-trip engineering between network device configurations and the network device configuration model, we extracted a model from existing network device configurations and generated device configuration commands. As a result, we obtained model and commands with high accuracy, indicating that the proposed method is effective.

翻译：当网络工程师设计网络时，需要在测试环境中验证其设计的有效性。由于在实际设备上进行测试成本高昂且对工程师负担较重，我们已提出使用模拟器的自动验证方法以及网络配置模型的一致性验证方法。将这些方法与传统的网络设备配置验证方法相结合，将增加无需实际设备的验证选项。然而，在我们的基于模型的验证中，将现有网络编写为模型的负担一直是个问题。本文提出了一种通过解析通过 show running-config 等命令从网络设备获取的内容来自动提取网络设备配置模型的方法。为了评估所提方法在实现网络设备配置与网络设备配置模型之间双向工程的有效性，我们从现有网络设备配置中提取了模型并生成了设备配置命令。结果表明，我们获得了高精度的模型和命令，证明所提方法是有效的。