지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.46 No.8
- 발행연도
- 2019.8
- 수록면
- 763 - 773 (11page)
- DOI
- 10.5626/JOK.2019.46.8.763
이용수
초록· 키워드
오류제보하기
블록체인에 기반한 스마트 컨트랙트는 제3자의 개입 없이도 투명한 거래 및 자동 계약 실행이 가능하며 이더리움이 그 기능을 구현할 수 있는 솔리디티 언어(Solidity) 및 이더리움 가상 머신을 제공하며 빠르게 발전하고 있다. 또한, 스마트 컨트랙트를 활용하여 새로운 블록체인을 개발할 필요 없이 DApp 을 만들 수 있게 되면서 많은 관심을 받고 있다. 하지만 코드 업데이트가 불가능한 특성을 가진 스마트 컨트랙트는 배포 이후 결함이 있다면 사소한 결함이라도 이를 수정하기 위해 많은 작업들이 필요하다. 따라서, 컨트랙트 배포 이전에 소스코드의 충분한 테스트 혹은 분석을 거쳐 결함이 없음을 확인해야 할 필요가 있다. 이를 위해 본 논문에서는 동적 테스팅 방법을 통해 스마트 컨트랙트 및 DApp의 정확성을 검증하고, 결함을 발견하는 기법을 제안한다. 이를 위해 각 테스트 단계에서 필요한 동적 모델을 정의하여 기존 테스팅 방법인 속성 기반 테스팅과 모델 기반 테스팅을 적용한다.
목차
요약
Abstract
1. 서론
2. 배경 지식
3. 관련 연구
4. 속성 기반 및 모델 기반 테스팅을 활용한 스마트 컨트랙트 및 DApp 테스팅 기법
5. 사례연구
6. 토의
7. 결론
References
참고문헌 (24)
참고문헌 신청
N. Szabo, Smart Contracts: Building Blocks for Digital Markets [Online]. Available: http://www.fon.hum.uva.nl, 1996.
J. Cheng, N. Lee, C. Chi, and Y. Chen, "Blockchain and Smart Contract for Digital Certificate," Proc. of IEEE International Conference on Applied System Invention (ICASI), pp. 1046-1051, 2018.
C. Kim, "A Static and Dynamic Design Technique of Smart Contract based on Block Chain," Journal of the Korea Academia-Industrial cooperation Society, Vol. 19, No. 6, pp. 110-119, Jun. 2018.
S. Porru, A. Pinna, M. Marchesi, and R. Tonelli, "Blockchain-oriented Software Engineering: Challenges and New Directions," Proc. of the 39th International Conference on Software Engineering Companion, pp. 169-171, 2017.
G. Destefanis, M. Marchesi, M. Ortu, R. Tonelli, A. Bracciali, and R. Hierons, "Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?," Proc. of International Workshop on Blockchain Oriented Software Engineering (IWBOSE), pp. 19-25, 2018.
C. Kim, "A Static and Dynamic Design Technique of Smart Contract based on Block Chain," Journal of the Korea Academia-Industrial cooperation Society, Vol. 19, No. 6, pp. 110-119, Jun. 2018.
S. Porru, A. Pinna, M. Marchesi, and R. Tonelli, "Blockchain-oriented Software Engineering: Challenges and New Directions," Proc. of the 39th International Conference on Software Engineering Companion, pp. 169-171, 2017.
G. Destefanis, M. Marchesi, M. Ortu, R. Tonelli, A. Bracciali, and R. Hierons, "Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?," Proc. of International Workshop on Blockchain Oriented Software Engineering (IWBOSE), pp. 19-25, 2018.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
로그 기반의 이더리움 스마트 컨트랙트 동적 테스트 도구 설계 및 구현
정보과학회 컴퓨팅의 실제 논문지
2020 .07
-
블록체인 기반의 스마트 컨트랙트 정적/동적 설계 기법
한국산학기술학회 논문지
2018 .06
-
블록체인에서 스마트 컨트랙트 관련 연구
한국정보과학회 학술발표논문집
2019 .06
-
허가형 블록체인에서의 스마트 컨트랙트 관리 기법
한국정보과학회 학술발표논문집
2021 .06
-
허가형 블록체인의 트랜잭션 최적화를 위한 스마트 컨트랙트 관리 기법
정보과학회 컴퓨팅의 실제 논문지
2022 .06
-
이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현
소프트웨어공학 소사이어티 논문지
2019 .12
-
개인정보보호를 고려한 스마트 컨트랙트 설계 방안 연구
보안공학연구논문지
2018 .01
-
공유로그 기반 Solidity 스마트 컨트랙트 실행 환경
한국정보과학회 학술발표논문집
2022 .06
-
스마트 컨트랙트를 활용한 거버넌스 시스템 설계 및 구현
디지털콘텐츠학회논문지
2021 .12
-
그래프 신경망을 이용한 스마트 컨트랙트 취약점 탐지 확장하기
ICT플랫폼학회 하계학술발표대회논문집
2023 .07
-
이더리움 스마트 컨트랙트의 실시간 정적 분석
한국정보과학회 학술발표논문집
2017 .12
-
안전한 이더리움 분산 어플리케이션 개발을 위한 스테이트 머신 기반의 디자인 패턴
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
블록체인 이더리움 기반 저작권 거래 서비스 DApp
한국정보과학회 학술발표논문집
2020 .12
-
마이스 산업에서의 블록체인 기반 스마트 컨트랙트 플랫폼 제안
한국통신학회 학술대회논문집
2020 .02
-
비밀공유 기법을 적용한 스마트 컨트랙트 플랫폼에 대한 연구
한국정보기술학회논문지
2020 .11
-
스마트 컨트랙트에서 개인정보 보호를 위한 설계 방안 연구
한국통신학회 학술대회논문집
2017 .06
-
병렬적 실행을 지원하는 스마트 컨트랙트의 블록체인 프로토콜 설계
한국정보과학회 학술발표논문집
2019 .12
-
스마트 컨트랙트의 지연검증과 병렬실행을 지원하는 블록체인 설계와 구현
정보과학회 컴퓨팅의 실제 논문지
2020 .08
-
이더리움 스마트 컨트랙트 성능 저하 현상 실험 및 분석
정보과학회 컴퓨팅의 실제 논문지
2018 .07
-
DApp을 이용한 부동산 법원경매 시스템
한국정보통신학회 종합학술대회 논문집
2019 .10
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0