속성 기반 및 모델 기반 테스트를 통한 테스트 단계별 스마트 컨트랙트 및 DApp 신뢰성 향상

민경식, 이정원, 이병정

http://doi.org/10.5626/JOK.2019.46.8.763

블록체인에 기반한 스마트 컨트랙트는 제3자의 개입 없이도 투명한 거래 및 자동 계약 실행이 가능하며 이더리움이 그 기능을 구현할 수 있는 솔리디티 언어(Solidity) 및 이더리움 가상 머신을 제공하며 빠르게 발전하고 있다. 또한, 스마트 컨트랙트를 활용하여 새로운 블록체인을 개발할 필요 없이 DApp 을 만들 수 있게 되면서 많은 관심을 받고 있다. 하지만 코드 업데이트가 불가능한 특성을 가진 스마트 컨트랙트는 배포 이후 결함이 있다면 사소한 결함이라도 이를 수정하기 위해 많은 작업들이 필요하다. 따라서, 컨트랙트 배포 이전에 소스코드의 충분한 테스트 혹은 분석을 거쳐 결함이 없음을 확인해야 할 필요가 있다. 이를 위해 본 논문에서는 동적 테스팅 방법을 통해 스마트 컨트랙트 및 DApp의 정확성을 검증하고, 결함을 발견하는 기법을 제안한다. 이를 위해 각 테스트 단계에서 필요한 동적 모델을 정의하여 기존 테스팅 방법인 속성 기반 테스팅과 모델 기반 테스팅을 적용한다.