Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2016.04a
- /
- Pages.315-317
- /
- 2016
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
A Static Analysis Test Procedure Model of Improving Software Safeness
소프트웨어 안전성 개선을 위한 정적분석 시험 절차 모델
- Yoo, Hyun-Sang (Dept of Computer Science & Engineering, Chungnam National University) ;
- Kim, Hyong-Shik (Dept of Computer Science & Engineering, Chungnam National University)
- Published : 2016.04.29
Abstract
소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.
Keywords