Patent search ap:("한국과학기술원") AND inv:"박용배" Page 1

1.

发明授权
비결정적인 이벤트 처리가 가능한 프로그램의 자동 테스트 방법 및 자동 테스트 장치 有权
Title translation: 自动测试方法和程序可处理非决定性事件的设备

公开(公告)号：KR101685299B1

公开(公告)日：2016-12-09

申请号：KR1020150107689

申请日：2015-07-30

Applicant: 한국과학기술원

Inventor： 김문주 , 박용배 , 홍신

IPC: G06F11/36

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

Patent Agency Ranking