| 摘要 |
비결정적인 이벤트 처리가 가능한 프로그램의 자동 테스트 방법 및 자동 테스트 장치가 개시된다. 프로그램의 자동 테스트 방법은 비결정적인 이벤트의 처리가 가능한 프로그램의 타겟 소스 코드에서 메인 루프를 식별하는 단계; 상기 메인 루프에 이벤트 핸들러를 호출하기 위한 프루브를 삽입함으로써 상기 프로그램의 타겟 소스 코드를 변형하는 단계; 및 상기 변형된 타겟 소스 코드를 포함하는 프로그램을 실행함으로써 상기 프로그램을 테스트하는 단계를 포함할 수 있다. |
