패키지 소프트웨어 품질 인증을 위한 테스트 방안 및 자동화 도구 구현

Abstract

소프트웨어 제품의 품질에 대한 요구가 늘어남에 따라, 소프트웨어 품질 인증의 필요성도 증가하고 있다. 기존의 테스트 기법과 테스트 프로세스는 소프트웨어 개발 단계에 중점을 두고 연구되었기 때문에 품질인증에 적용하기에 적합하지 않고, 소프트웨어 품질 인증 관점에서 효율적인 테스트 기법과 테스트 프로세스에 대한 연구가 부족하다. 본 논문에서는 패키지 소프트웨어 품질 인증을 위한 테스트 방안으로 테스트 기법과 테스트 프로세스 생성 방안을 제안한다. 본 논문에서는 패키지 소프트웨어 품질 인증을 위한 테스트 기법으로 '인증 테스트 모델'과 '테스트 데이터 선정 기법'을 제안한다. '인증 테스트 모델'은 품질 인증을 위한 테스트를 수행할 때, 테스트 데이터를 자동으로 생성하기 위하여 프로그램을 분석하는 과정에서 사용된다. '테스트 데이터 선정 기법'은 패키지 소프트웨어 품질 인증을 위한 테스트 데이터를 생성하는데 사용된다. 본 논문에서는 '테스트 프로세스 자동 생성 도구'를 구현하여 제안하는 방안을 자동화 한다. '테스트 프로세스 자동 생성 도구'는 '테스트 데이터 자동 생성 도구'와 '테스트 프로세스 테일러링 도구'로 구성된다. 또한, 제안하는 방안을 실제 소프트웨어의 테스트에 적용하여 기존의 테스트 방법과의 비교 분석을 수행한다.;As the demands of the quality of software product increase, the needs for certifying software quality grow. The existing testing techniques and the test process that concentrate only on the software development process are not proper to apply to certification of software product. Because there are a few researches on the effective test technique and the test process in respect of quality certification of software product, we develop the test technique and test process for quality certification of software product. We develop 'the certification test model' and 'the test data generation technique', the test technique, for quality certification. 'The certification test model' is applied to analyzing the program for quality certification test. 'The test data generation technique' is applied to generating the test data for certification of software quality. We implement 'the automatic test process generation tool' that generates the test data automatically from the result of analyzing the program through certification test model. 'The automatic test process generation tool' consists of 'the automatic test data generation tool' and 'the test process tailoring tool'.