公开(公告)号：KR101519450B1

公开(公告)日：2015-05-12

申请号：KR1020130082302

申请日：2013-07-12

Applicant: 한국과학기술원

Inventor： 김문주 ,  홍신

IPC: G06F11/36 ,  G06F9/46

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

公开(公告)号：KR102114548B1

公开(公告)日：2020-05-25

申请号：KR1020180053140

申请日：2018-05-09

Applicant: 한국과학기술원

Inventor： 김문주 ,  김윤호 ,  홍신

IPC: G06F11/36

公开(公告)号：KR101685299B1

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

申请号：KR1020150107689

申请日：2015-07-30

Applicant: 한국과학기술원

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

IPC: G06F11/36

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

公开(公告)号：KR1020150007806A

公开(公告)日：2015-01-21

申请号：KR1020130082302

申请日：2013-07-12

Applicant: 한국과학기술원

Inventor： 김문주 ,  홍신

IPC: G06F11/36 ,  G06F9/46

CPC classification number: G06F11/3684 ,  G06F9/46 ,  G06F11/3664 ,  G06F11/3676

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

Abstract translation: 公开了一种自动测试生成装置，自动测试生成方法以及使用多线程程序的测试覆盖信息的记录介质。 自动测试生成装置可以包括：被配置为接收由用户提供的要测试的多线程程序和用于测试的测试输入值的输入单元; 以及控制单元，被配置为使用所接收的要测试的多线程程序和测试输入值来生成覆盖率预测信息，使用所生成的覆盖预测信息对要测试的多线程程序进行测试，并产生结果 执行测试的信息。