公开(公告)号：KR101825880B1

公开(公告)日：2018-02-06

申请号：KR1020170068513

申请日：2017-06-01

Applicant: 강원대학교산학협력단

Inventor： 박홍성 ,  조욱재

IPC: G06F11/36 ,  B25J19/00 ,  B25J9/16

CPC classification number: G06F11/3684 ,  B25J9/1656 ,  B25J19/0095

Abstract: CBRS(Component Based Robot System)의컴포넌트테스트케이스생성방법및 그장치가개시된다. 컴포넌트기반로봇시스템의컴포넌트를테스트하는데있어서, 일실시예에따른테스트방법은상기컴포넌트의입/출력데이터를수신하는단계와, 상기컴포넌트의입/출력데이터에기초한조합을통해상기컴포넌트를테스트하기위한테스트케이스를생성하는단계를포함한다.

Abstract translation: 公开了用于生成基于组件的机器人系统（CBRS）的组件测试用例的方法和装置。 在测试基于组件的机器人系统的组件时，根据实施例的测试方法包括接收组件的输入/输出数据，并且通过基于输入/ 并生成一个测试用例。

公开(公告)号：KR101918364B1

公开(公告)日：2018-11-13

申请号：KR1020160165912

申请日：2016-12-07

Applicant: 강원대학교산학협력단

Inventor： 박홍성 ,  조욱재

IPC: G06F11/22 ,  G06F11/36

Abstract: 컴포넌트기반시스템에대한실시간적합성검사방법및 장치및 컴퓨터판독가능한저장매체가개시된다. 컴포넌트기반시스템에대한실시간적합성검사방법은, 상기시스템을구성하는컴포넌트들을테스트하기위한테스트케이스들을생성하는단계; 상기생성된테스트케이스들에기초하여상기컴포넌트들을테스트하는것에의해각 테스트케이스에대한컴포넌트의수행사이클수를계산하는단계; 상기계산된컴포넌트의수행사이클수에기초하여컴포넌트들의최악수행시간(Worst-Case Execution Time, WCET)을계산하는단계; 및상기계산된컴포넌트들의최악수행시간과상기컴포넌트들의입출력연관관계정보에기초하여상기시스템의실시간적합성여부를판단하는단계를포함할수 있다.

公开(公告)号：KR101704338B1

公开(公告)日：2017-02-08

申请号：KR1020160016219

申请日：2016-02-12

Applicant: 강원대학교산학협력단

Inventor： 박홍성 ,  조욱재

IPC: G06F11/36

Abstract: 소프트웨어시스템을위한테스트케이스생성장치가제공된다. 일실시예에서, 테스트케이스생성장치는시간입력파라미터및 함수입력파라미터를수신하는입력부, 상기시간입력파라미터및 상기함수입력파라미터에기초하여최종테스트케이스집합을생성하는연산부, 및상기최종테스트케이스집합을출력하는출력부를포함한다.