Products > SPARROW

SW 테스트

  • 화이트 박스 테스트
    정적 분석
    • 코드 기반 테스트
    • 소프트웨어를 실행하지 않고 잠재된 오류 검출
    • 소스 코드의 오류 발생 지점을 정확히 알려주어 쉽고 빠르게 코드 수정가능
    • 테스트를 하기 위한 스크립트 작성 및 환경 구축 불필요
    • 소프트웨어 자체의 안정성 및 생산성 확보 가능
    • 소스 코드 개발이 완료되지 않아도 테스트 가능하여 개발 초기부터 테스트 가능
    특징
    신속성 & 간편성
    개발 초기 단계부터 사용하여 ROI 극대화
    발생 가능한 모든 오류의 검출 가능
    동적 분석
    • 소프트웨어를 직접 실행하여 오류 탐지
    • 허위 오류 없음
    • 프로그램의 일부 경로만을 분석
    • 소스코드 개발이 완료되어야 테스트 가능
    특징
    테스트 스크립트 작성의 불편함
    발생 가능한 모든 경로의 스크립트 작성 및 테스트 불가
    프로그램 개발 완료 후 테스트 가능
  • 블랙박스 테스트

*화이트박스 테스트: 소스 코드를 기반으로 하는 테스트 방법으로 소프트웨어 내부 구조 이해를 통해 테스트 수행
*블랙박스 테스트: 프로그램 소스와는 무관하게 테스트 하는 방법으로 소프트웨어 내부 구조 이해 없이 테스트 가능

프로그램 내에 있는 메모리 관련 오류를 정확하게 분석하기 위해서는 프로그램의 실행 단계를 따라가며, 각 단계에서 변수들이 어떤 값을 가지는지, 할당된 메모리가 정상적으로 해지되고 있는지 등을 세밀히 살펴 보아야 합니다.

실행 의미 분석 기반의 정적 프로그램 분석은 사람이 눈으로 분석하는 것과 동일한 방법으로 프로그램을 분석하는 기술로, 깊고 상세한 방법으로 반드시 고쳐야 하는 프로그램 오류만을 검출해 줍니다.

실행 의미 분석 기반의 정적 프로그램 분석(SPA, Static Program Analysis) 이란, 프로그램이 실행 도중에 가질 수 있는 성질을 실행 전에 엄밀하게 예측하는 기술로서, 이를 통해 프로그램의 오류를 미리 자동으로 검증할 수 있습니다.

이 기술은 지난 30년 동안 심도 있는 연구가 진행되어 왔으며, 2000년도 초반부터 선진국을 중심으로 프로그램 오류 검증 기법인 화이트박스 테스트의 주요한 축으로 자리잡기 시작하였고, 기존의 동적 프로그램 분석의 한계를 보완해주는 주요한 방법론으로 국내에서도 점차 확산되는 추세입니다.