Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2016.04a
  • /
  • Pages.315-317
  • /
  • 2016
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

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
Download PDF
⟨ Previous Next ⟩

Abstract

소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.

Keywords