목차
속성 기반 및 모델 기반 테스트를 통한 테스트 단계별 스마트 컨트랙트 및 DApp 신뢰성 향상 = Improving reliability of smart contracts and dapps by applying property-based and model-based test methods to different test levels / 민경식 ; 이정원 ; 이병정 1
요약 1
Abstract 1
1. 서론 2
2. 배경 지식 2
2.1. 스마트 컨트랙트 2
2.2. 스마트 컨트랙트 모델 설계 기법 2
2.3. DApp 3
2.4. 속성 기반 테스팅 3
2.5. 모델 기반 테스팅 3
3. 관련 연구 3
3.1. 스마트 컨트랙트 테스팅 도구 3
3.2. 스마트 컨트랙트 취약점 분석 도구 3
4. 속성 기반 및 모델 기반 테스팅을 활용한 스마트 컨트랙트 및 DApp 테스팅 기법 4
4.1. 스마트 컨트랙트 및 DApp 검증을 위한 테스트 단계 4
4.2. 결함 모델 4
4.3. 단위 테스트 단계 5
4.4. 통합 테스트 단계 5
4.5. 시스템 테스트 단계 5
5. 사례 연구 6
5.1. 단위 테스트 단계 6
5.2. 통합 테스트 단계 6
5.3. 시스템 테스트 단계 8
6. 토의 9
7. 결론 10
References 10
[저자소개] 11