시험사례의 실행불가성을 고려한 자동화 소프트웨어 검사도구의 구현에 관한 연구 : Multi-level DDPT 시험사례 생성기 = An Implementation of Automated Software Testing Tool Considering the Infeasibility of Test Case : Multi-level DDPT Test Case Generator

국문 초록 (Abstract)

본 연구에서는 소프트웨어 확인(validation) 혹은 품질 보증의 체계적 수단을 마련하기 위하여 표준적인 구조적 검사전략(testing strategy)을 정립하고, 소프트웨어 디자인의 명세화도구(specification tool)인 결정표(decision table)를 사용하여 컴퓨터 프로그램 검사 자동화에 하나의 원천적 제약으로 존재해 온 실행불가 시험경로(infeasible test path) 문제를 해결하는 한 방안을 제안한다. 또한 정립된 검사전략을 만족하며 실행불가 시험경로를 포함하지 않는 유효 최소시험사례 집합을 자동 생성하는 구조적 검사 도구(testing tool)를 구현한다.

다국어 초록 (Multilingual Abstract)

In order to provide a systematic method of software validation or quality assurance, this study discusses a standardized structural testing strategy and proposes a solution of the infeasible test path problem being a primitive restriction of the automation of testing computer program by using decision table method which is a specification tool of software design. And we implement the structural testing tool which satisfies the specified testing strategy and generates automatically the minimum set of effective test cases without infeasible test paths.