정적분석 도구를 이용한 지역 SW개발 업체의 결함 유형분석

국문 초록 (Abstract)

우리는 새로운 기술과 기존의 기술이 다양한 형태로 결합된 사회에 살고 있다. 또한 소프트웨어 사용자들의 기대치는 발전해 가는 기술만큼 점점 높아지고 있다. 사용자들의 높은 기대치를 만족시키기 위하여 개발자들은 고품질의 소프트웨어를 제작하여야만 한다.

소프트웨어는 우리생활의 돈이 거래되는 비즈니스 영역부터 일상생활에 간편하게 사용할 수 있는 영역까지 많은 부분에서 사용되고 삶에 기여하고 있다. 그러한 소프트웨어들이 정확한 동작을 하지 못한다면 다양한 문제가 발생한다. 소프트웨어의 오작동으로 발생한 문제에 대한 피해는 소프트웨어에 따라 생명, 금전, 시간, 이미지 손실과 같은 심각한 문제를 일으킬 수 있다. 결함에 의해 발생하는 문제들은 개발자들이 100% 완벽하게 프로그램을 개발할 수 없기 때문에 발생한다. 또한 사용자들의 기대치를 만족시키기 위하여 복잡해진 코드나 기술, 잦은 시스템환경 변화 등이 원인이 될 수 있다. 또한 프로그램을 개발하는데 있어 한정 된 시간이 소프트웨어의 품질에 영향을 준다고 할 수 있다.

위와 같은 문제들을 해결하기 위하여 테스트가 중요하게 요구되며 테스트 기법으로는 실제 소프트웨어를 작동 시키며 분석하는 동적 분석 기법과 소
프트웨어를 작동 시키지 않고 분석하는 정적분석 기법이 있다. 본 논문에서 사용 할 정적분석도구는 조기에 소스코드나 모델에서 결함을 발견하고 조치를 할 수 있게 도와주며, 동적 테스트를 통해 발견하지 못한 결함을 찾아주어 코드의 유지보수 및 효율성을 높여 준다.

본 논문에서는 지역 소프트웨어 개발업체가 수행한 정적분석 결과를 기반으로 결함유형과 결함이 발생한 원인 등을 다각도로 분석하여 주요 결함 유형을 판별하고 그 주요 결함에 맞는 해결방안을 제시하여 고품질의 소프트웨어를 개발할 수 있는 소프트웨어 품질 개선방안을 제안하고자 한다.

목차 (Table of Contents)

• Ⅰ. 서 론 1
• Ⅱ. 관련연구 3
• 2.1 소프트웨어품질관련 표준 동향 3
• 2.2 CWE(Common Weakness Enumeration) 4
• 2.3 정적 테스팅 4
• 2.4 CodeSonar 5
• Ⅲ. 지역 소프트웨어개발업체의 오류 분석 7
• 3.1 참여 업체 현황 7
• 3.2 결함 유형 분석 9
• 3.2.1 연도별 분석 9
• 3.2.2 업체 유형별 분석 11
• 3.2.3 회사 규모별 분석 14
• 3.3 주요 결함 및 해결방안 19
• 3.3.1 널 포인터 역참조 (NULL Pointer Dereference) 19
• 3.3.2 중복 조건 (Redundant Condition) 20
• 3.3.3 비초기화 변수 (Uninitialized Variable) 22
• 3.3.4 할당크기 정수오버플로우(Integer Overflow of Allocation Size) 22
• 3.3.5 버퍼 초과 (Buffer Overrun) 23
• Ⅳ. 결론 25
• 참고문헌 27