한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2009년도 추계학술발표대회
- /
- Pages.855-856
- /
- 2009
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Design by Contract 기법과 시큐어 코딩을 통한 안전한 소프트웨어 개발 연구
Research Developing safety software with Design by Contract Method and Secure Coding
- Oh, Joon-Seok (Dept of Computer Science, Korea University) ;
- Hwang, Dae Yon (Dept of Computer Science, Korea University) ;
- Choi, Jin-Young (Dept of Computer Science, Korea University)
- 발행 : 2009.11.13
초록
소프트웨어의 크기가 대형화되고 복잡화됨에 따라 소프트웨어의 기능성 오류 및 취약점을 개발 후 테스팅에 의해 찾는 비용이 매우 커지고 있다. 또한 테스트에 의한 방법을 통해 내재된 모든 오류나 취약점을 찾는 것은 거의 불가능하다고 인식되고 있다. 이러한 이유로 소프트웨어 개발에서 오류 및 취약성을 제거하고자 하는 노력이 증대되고 있다. 본 논문에서는 오류를 줄이고자 하는 기법중 하나인 Design by Contract와 취약성을 줄이고자 하는 시큐어 코딩을 소개하고, 이 두 가지 기법을 접목하여 오류가 없는 안전한 소프트웨어를 개발하는 방법을 소개한다.
키워드