The method has the advantages of high degree of automation, high verification efficiency, strong reusability, convenient maintenance and modification, etc.

• 该方法具有自动化程度高，验证效率高，可重用性强，维护修改方便等优点。