정보과학회논문지 (Journal of KIISE)
Current Result Document : 3 / 17
이전건
다음건 
| 한글제목(Korean Title) |
속성 기반 및 모델 기반 테스트를 통한 테스트 단계별 스마트 컨트랙트 및 DApp 신뢰성 향상 |
| 영문제목(English Title) |
Improving Reliability of Smart Contracts and DApps by Applying Property-based and Model-based Test Methods to Different Test Levels |
| 저자(Author) |
민경식
이정원
이병정
Kyeongsic Min
Jung-Won Lee
Byungjeong Lee
|
| 원문수록처(Citation) |
VOL 46 NO. 08 PP. 0763 ~ 0773 (2019. 08) |
한글내용
(Korean Abstract) |
블록체인에 기반한 스마트 컨트랙트는 제3자의 개입 없이도 투명한 거래 및 자동 계약 실행이 가능하며 이더리움이 그 기능을 구현할 수 있는 솔리디티 언어(Solidity) 및 이더리움 가상 머신을 제공하며 빠르게 발전하고 있다. 또한, 스마트 컨트랙트를 활용하여 새로운 블록체인을 개발할 필요 없이 DApp을 만들 수 있게 되면서 많은 관심을 받고 있다. 하지만 코드 업데이트가 불가능한 특성을 가진 스마트 컨트랙트는 배포 이후 결함이 있다면 사소한 결함이라도 이를 수정하기 위해 많은 작업들이 필요하다. 따라서, 컨트랙트 배포 이전에 소스코드의 충분한 테스트 혹은 분석을 거쳐 결함이 없음을 확인해야 할 필요가 있다. 이를 위해 본 논문에서는 동적 테스팅 방법을 통해 스마트 컨트랙트 및 DApp의 정확성을 검증하고, 결함을 발견하는 기법을 제안한다. 이를 위해 각 테스트 단계에서 필요한 동적 모델을 정의하여 기존 테스팅 방법인 속성 기반 테스팅과 모델 기반 테스팅을 적용한다.
|
영문내용
(English Abstract) |
Smart contract technology based on the blockchain enables transparent transactions and automated contract execution without third-party intervention. Ethereum provides Solidity and EVM (Ethereum Virtual Machine) that can be used to implement smart contracts. In addition, it can be used to create a DApp (Decentralized Application) without developing a new blockchain using smart contract. However, the source codes cannot be updated in smart contracts. Therefore, a lot of work is needed to fix even minor errors following deployment. Therefore, the source code should be thoroughly tested or analyzed prior to the deployment of the contract to ensure that it is free of defects. In this paper, we propose a method to identify the errors and verify the accuracy of smart contracts and DApps using dynamic testing methods. Toward this end, we defined the dynamic model needed in each test level and applied the current testing methodology, using property-based and model-based testing.
|
| 키워드(Keyword) |
블록체인
스마트 컨트랙트
모델 기반 테스트
속성 기반 테스트
blockchain
smart contract
model-based testing
property-based testing
|
| 파일첨부 |
PDF 다운로드
|
