[논문 리뷰] Static analysis tools in the era of cloud-native systems

Cerny, Tomas, Davide Taibi|arXiv (Cornell University)|2022. 05. 17.

Software System Performance and Reliability인용 수 6

한 줄 요약

이 논문은 클라우드 네이티브 마이크로서비스에서의 아키텍처 열화 문제를 해결하기 위해 정적 분석 도구를 향상시키는 것을 제안한다. 이를 통해 다중 코드베이스 간 일관성 검사, 정책 이행, 종합적인 시스템 시각화를 가능하게 한다. 이론적 표현을 다양한 마이크로서비스 간에 통합함으로써 보안, 비즈니스 로직, 데이터 모델 등의 체계적 관리가 가능해지며, 개발자와 아키텍트가 통합된 시각적 및 추론 기반의 시스템 아키텍처 정보를 확보할 수 있다.

ABSTRACT

Microservices fuel cloud-native systems with small service sets developed and deployed independently. The independent nature of this modular architecture also leads to challenges and gaps. The intended system design might deviate far from what is eventually produced and maintained as the architecture tends to degrade over time. This paper challenges the audience on how static analysis could contribute to microservice system development and management, particularly managing architectural degradation. It elaborates on challenges and needed changes in the traditional code analysis to better fit these systems and discusses implications for practitioners once robust static analysis tools become available

연구 동기 및 목표

• 분산된 마이크로서비스 개발으로 인한 클라우드 네이티브 시스템에서의 아키텍처 열화 문제를 해결한다.
• 다양한 독립적인 코드베이스 간 종합적인 시스템 수준의 분석을 방해하는 기존 정적 분석 도구의 한계를 규명한다.
• 보안, 비즈니스 로직, 데이터 모델과 같은 횡단 관심사에 대해 대규모로 지원할 수 있도록 정적 분석의 방향을 전환한다.
• 서비스 간 종속성과 중복 정의를 분석하여 종합적인 일관성 검사 및 정책 준수를 가능하게 한다.
• 정적 분석을 통해 아키텍트와 개발자에게 통합적이고 시각적이며 추론 기반의 시스템 아키텍처 통찰을 제공한다.

제안 방법

• 다양한 마이크로서비스 코드베이스 간 상호 운용 가능한 표현을 분석하고 관련짓는 프로토타입 도구를 개발한다.
• 정적 분석을 통해 보안 정책, 데이터 모델, 비즈니스 로직과 같은 반복되는 관심사의 일관성 없는 사례를 탐지한다.
• 접근 정책 일관성 검증 및 악취미 패턴(예: 악성 냄새)과 같은 아키텍처 반칙 패턴 탐지를 위해 추론 엔진을 통합한다.
• 정적 분석을 활용한 소프트웨어 아키텍처 재구성(SAR) 기법을 적용하여 종합적인 시스템 아키텍처 뷰를 생성한다.
• 3D 증강현실 스케치와 같은 시각화 기법을 적용하여 시스템 아키텍처와 서비스 간 관계를 표현한다.
• 구성 서버 및 프레임워크(예: Drools)를 활용하여 규칙 관리를 중앙집중화하고 서비스 간 일관성을 향상시킨다.

실험 결과

연구 질문

• RQ1 어떻게 정적 분석을 분산된 마이크로서비스 코드베이스 간 아키텍처 열화를 탐지할 수 있도록 적응시킬 수 있는가?
• RQ2 어떤 메커니즘이 독립적으로 개발된 마이크로서비스 간에 일관된 횡단 관심사(예: 보안, 데이터 모델)를 이행할 수 있도록 하는가?
• RQ3 정적 분석 도구는 동적 텔레메트리나 런타임 인스트루멘테이션에 의존하지 않고 종합적인 시스템 수준의 시각을 어떻게 제공할 수 있는가?
• RQ4 정적 분석은 여러 마이크로서비스에 걸쳐 비즈니스 로직과 정책 정의의 종합적 일관성 검사를 어떻게 지원할 수 있는가?
• RQ5 중간 표현과 추론 엔진은 서비스 간 아키텍처 분석을 가능하게 하기 위해 어떤 역할을 할 수 있는가?

주요 결과

• 기존 정적 분석은 단일 코드베이스에 집중함으로써 클라우드 네이티브 시스템에 부적합하며, 횡단 관심사의 중복 및 일관성 누락을 초래한다.
• 정적 분석은 공유 정의(예: 데이터 모델, 보안 규칙)를 분석함으로써 마이크로서비스 간 아키텍처 이탈과 정책 일관성 문제를 탐지할 수 있다.
• 중간 표현 통합은 코드베이스 간 분석을 가능하게 하여 종합적인 시스템 뷰와 개선된 일관성 검사를 가능하게 한다.
• 추론 기반 정적 분석은 접근 정책 일관성 문제와 중복된 로직, 잘못 정렬된 제약 조건과 같은 아키텍처 반칙 패턴을 식별할 수 있다.
• 3D 증강현실과 같은 시각화 기법은 복잡한 마이크로서비스 아키텍처를 효과적으로 표현하고 이해관계자 간 소통을 지원할 수 있다.
• 정적 분석을 구성 서버 및 규칙 엔진(Drools 등)과 통합함으로써 정책의 중앙집중화 관리가 가능해지고 유지보수성이 향상된다.