멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체Auto-test generation device, method and recording medium using test coverage information for multi-thread program
멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체가 개시된다. 테스트 대상 멀티스레드 프로그램 및 사용자가 테스트를 위해 제공하는 테스트 입력값을 수신받는 입력부 및 수신된 테스트 대상 멀티스레드 프로그램 및 수신된 테스트 입력값을 이용하여 커버리지 예측정보를 생성하고, 생성된 커버리지 예측정보를 이용하여 테스트 대상 멀티스레드 프로그램의 테스트를 수행하고, 수행된 테스트의 결과 정보를 산출하는 제어부를 포함할 수 있다.