Conceptos Básicos
관계형 네트워크 검증은 두 개의 네트워크 스냅샷 간의 유사성과 차이점을 분석하여 네트워크 변경을 검증하는 새로운 접근법입니다. 이는 단일 네트워크 스냅샷을 분석하는 기존 네트워크 검증 방식과 대비됩니다.
Resumen
이 논문은 관계형 네트워크 검증이라는 새로운 접근법을 소개합니다. 기존의 단일 네트워크 스냅샷 검증 방식과 달리, 관계형 네트워크 검증은 두 개의 네트워크 스냅샷(변경 전과 변경 후)을 분석하여 그들의 유사성과 차이점을 포착합니다.
관계형 변경 명세는 압축적이고 정확합니다. 왜냐하면 변경 전후 네트워크 간 변경된 흐름이나 경로만을 지정하고, 나머지 동작은 "변경 없음"으로 명시하기 때문입니다. 이에 비해 단일 스냅샷 명세는 변경되지 않을 것으로 예상되는 모든 흐름과 경로를 열거해야 하므로, 네트워크 규모에 비례하여 복잡해집니다.
이 논문에서는 관계형 추론의 가치를 입증하기 위해 고수준 관계형 명세 언어와 Rela라는 검증 도구를 개발했습니다. Rela는 입력 명세와 네트워크 스냅샷을 유한 상태 변환기로 컴파일한 후, 오토마타 동치성 검사 기법을 사용하여 준수 여부를 확인합니다. 실험 결과, Rela 명세는 93%의 변경에 대해 10개 미만의 용어로 작성되었으며, 80%의 변경을 20분 이내에 검증할 수 있었습니다.
Estadísticas
이 네트워크에는 103개 이상의 라우터가 있습니다.
일반적인 변경에 의해 최대 104개의 트래픽 클래스가 영향을 받습니다.
Citas
"관계형 네트워크 검증은 두 개의 네트워크 스냅샷 간의 유사성과 차이점을 분석하여 네트워크 변경을 검증하는 새로운 접근법입니다."
"관계형 변경 명세는 압축적이고 정확합니다. 왜냐하면 변경 전후 네트워크 간 변경된 흐름이나 경로만을 지정하고, 나머지 동작은 "변경 없음"으로 명시하기 때문입니다."
"실험 결과, Rela 명세는 93%의 변경에 대해 10개 미만의 용어로 작성되었으며, 80%의 변경을 20분 이내에 검증할 수 있었습니다."