[논문 리뷰] Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Zhenhao Wu, Jiashuo Zhang외 5명|arXiv (Cornell University)|2020. 06. 02.

Blockchain Technology Applications and Security참고 문헌 9인용 수 4

한 줄 요약

Kaya는 블록체인 기반 탈중앙화 애플리케이션(DApp)을 위한 새로운 테스팅 프레임워크로, DApp 테스팅의 핵심 과제인 복잡성, 사전 상태 설정, 읽기 어려운 로그를 해결한다. 이 프레임워크는 테스트 케이스를 작성하고 실행하기 위한 도메인 특화 언어(DBDL)를 도입하며, 유연한 블록체인 사전 상태 설정을 가능하게 하고, 저수준의 SCVM 로그를 인간이 이해할 수 있는 보고서로 변환하여 테스트 엔지니어의 생산성과 테스트의 이해 가능성에 크게 기여한다.

ABSTRACT

In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabilities. We find three main challenges for DApp testing, i.e., the inherent complexity of DApp, inconvenient pre-state setting, and not-so-readable logs. In this paper, we propose a testing framework named Kaya to bridge these gaps. Kaya has three main functions. Firstly, Kaya proposes DApp behavior description language (DBDL) to make writing test cases easier. Test cases written in DBDL can also be automatically executed by Kaya. Secondly, Kaya supports a flexible and convenient way for test engineers to set the blockchain pre-states easily. Thirdly, Kaya transforms incomprehensible addresses into readable variables for easy comprehension. With these functions, Kaya can help test engineers test DApps more easily. Besides, to fit the various application environments, we provide two ways for test engineers to use Kaya, i.e., UI and command-line. Our experimental case demonstrates the potential of Kaya in helping test engineers to test DApps more easily.

연구 동기 및 목표

• 기존 도구가 스마트 컨트랙트 개발에 집중할 뿐만 아니라 전체 스택의 DApp 테스팅을 위한 맞춤형 효과적인 테스팅 도구의 부족을 해결하기 위해.
• 프론트엔드 이벤트와 백엔드 스마트 컨트랙트 로직을 고수준의 테스트 케이스로 추상화하여 DApp 테스팅의 내재된 복잡성을 줄이기 위해.
• 테스트 실행 이전에 블록체인 사전 상태 설정이 불편한 문제를 해결하기 위해, 실행 전에 직접적이고 민감한 사전 상태 설정을 가능하게 하기 위해.
• 저수준의 주소 기반 SCVM 로그를 디버깅과 분석이 쉬운 변수명 기반의 보고서로 변환하여 테스트 이해도를 향상시키기 위해.
• GUI 및 명령줄 인터페이스를 모두 제공하여 다양한 테스팅 워크플로우와 사용자 숙련도 수준을 지원하기 위해.

제안 방법

• Kaya는 세 모듈 아키텍처를 활용한다: 테스트 케이스 작성용 Kaya GUI(KGUI), 테스트 실행 및 상태 관리용 코어 기능 모듈(CFM), 보고서 생성용 로그 분석기(LA).
• DApp 행동 기술 언어(DBDL)를 도입하여, 테스트 엔지니어가 인간이 읽을 수 있는 변수명과 구조화된 이벤트/상태 사양을 사용해 테스트 케이스를 정의할 수 있도록 한다.
• 엔지니어가 테스트 실행 이전에 스마트 컨트랙트 변수에 특정 값을 할당할 수 있도록 동적 사전 상태 설정을 지원함으로써, 비용이 많이 드는 재배포를 방지한다.
• 정적 분석과 런타임 추적을 통해 Kaya가 SCVM가 생성한 주소를 의미 있는 변수명으로 자동 매핑하여, 투명한 로그를 이해하기 쉬운 보고서로 변환한다.
• SCVM 전용 모듈을 통합함으로써 다양한 블록체인 플랫폼과 통합 가능하며, 이더리움의 EVM을 넘어선 확장성 확보가 가능하다.
• Kaya는 GUI 기반의 상호작용식 테스트 생성과 kaya_cmd 도구를 통한 프로그래밍 기반 명령줄 실행을 모두 지원하여 고급 사용자에게도 사용성 향상을 제공한다.

실험 결과

연구 질문

• RQ1 스마트 컨트랙트 개발자가 아닌 테스트 엔지니어를 위해 DApp 테스팅을 어떻게 단순화할 수 있는가?
• RQ2 테스트를 위해 블록체인 사전 상태 설정을 얼마나 민감하고 효율적으로 가능하게 할 수 있는가?
• RQ3 저수준의 주소 기반 SCVM 로그를 어떻게 인간이 읽을 수 있고 디버깅이 가능한 출력으로 변환할 수 있는가?
• RQ4 통합된 테스팅 프레임워크가 GUI 및 명령줄 워크플로우를 동시에 효과적으로 지원할 수 있는가?
• RQ5 DBDL과 같은 도메인 특화 언어가 DApp 테스팅에서 테스트 케이스의 표현력과 실행 자동화에 얼마나 기여할 수 있는가?

주요 결과

• Kaya는 DBDL를 사용하여 테스트 엔지니어가 스마트 컨트랙트 및 프론트엔드 이벤트와의 저수준 상호작용을 추상화함으로써 DApp 테스팅의 복잡성을 성공적으로 줄였다.
• 직접적인 변수-값 할당을 통해 정확하고 효율적인 사전 상태 설정이 가능하여 반복적인 컨트랙트 재배포가 필요 없어졌다.
• Kaya의 로그 변환 메커니즘은 SCVM 주소를 의미 있는 변수명으로 성공적으로 매핑하여, 테스트 엔지니어가 로그를 훨씬 더 이해하기 쉽게 만들었다.
• GUI 및 명령줄 인터페이스 모두 테스트 케이스 생성 및 실행에 효과적으로 기여하였으며, 명령줄 버전은 숙련된 사용자를 위한 자동화를 간소화했다.
• SnailThrone DApp에 대한 평가를 통해 Kaya가 출력 보고서에서 기능적 상관관계(예: 플레이어 수익 vs. 달팽이 수)를 식별하는 데 성공하여 실용적 유용성을 입증했다.
• SCVM 전용 모듈 통합을 통해 다른 블록체인 플랫폼으로의 확장이 가능하여, 이더리움을 초월한 보다 넓은 도입 가능성을 확보했다.