-
公开(公告)号：KR101227024B1
公开(公告)日：2013-01-28
申请号：KR1020100094180
申请日：2010-09-29
Applicant: 한국과학기술원
IPC: G06F11/36 , G06F11/267
Abstract: 본 발명은 소프트웨어 유닛에 대한 확장형 분산 테스트 방법에 관한 것으로, 유닛의 테스트 방법에 있어서, 경로(path)와 경로에 대한 부정의 한계(neg_limit)를 저장하는 queue
pf 를 초기화하는 초기화 단계와 queue
pf 가 비었는지 검사하는 제1 검사 단계, 제 1 검사 단계에서 queue
pf 가 비지 않은 경우 concolic 테스트를 수행하는 테스트수행 단계 및 제1검사단계에서 queue
pf 가 비었을 경우 다른 노드들의 미처리 경로(path)를 수행하는 외부수신 단계를 포함하는 방법으로 이루어져 있다.
본 기법은 대상 프로그램의 신뢰성을 높이기 위하여 수많은 테스트 케이스를 자동생성하며, 많은 수의 컴퓨팅 노드를 이용하는 클라우드 컴퓨팅 플랫폼을 활용하여 사용하여 테스트 시간을 획기적으로 줄일 수 있고, 이에 따라 산업현장에서의 실제적인 이용을 통해, 소프트웨어 개발 기간을 단축하는 동시에 생성되는 소프트웨어의 품질을 높이는 효과를 기대할 수 있다.-
-
公开(公告)号：KR101685299B1
公开(公告)日：2016-12-09
申请号：KR1020150107689
申请日：2015-07-30
Applicant: 한국과학기술원
IPC: G06F11/36
Abstract: 비결정적인이벤트처리가가능한프로그램의자동테스트방법및 자동테스트장치가개시된다. 프로그램의자동테스트방법은비결정적인이벤트의처리가가능한프로그램의타겟소스코드에서메인루프를식별하는단계; 상기메인루프에이벤트핸들러를호출하기위한프루브를삽입함으로써상기프로그램의타겟소스코드를변형하는단계; 및상기변형된타겟소스코드를포함하는프로그램을실행함으로써상기프로그램을테스트하는단계를포함할수 있다.
-
公开(公告)号：KR101519447B1
公开(公告)日：2015-05-12
申请号：KR1020130144946
申请日：2013-11-26
Applicant: 한국과학기술원
IPC: G06F11/34
Abstract: 하이브리드기술을이용한통계적모델검사장치및 방법이개시된다. 제어부는초기확률임계값()이변화임계값() 보다작은경우, 순차적확률비테스트(SPRT)를이용하여상기초기확률임계값()이상기변화임계값()보다크거나같아질때까지상기순차적확률비테스트를반복하여실행하고, 상기평균수용값()이수용임계값() 보다작은경우, 상기순차적확률비테스트를종료시키고, 상기초기확률임계값()을증가시키면서반복하여실행함으로써, 상기초기확률임계값()이상기변화임계값()보다크거나같아진경우, 베이지언간격추정테스트(BIET)를실행한다. 저장부는상기순차적확률비테스트(SPRT) 및베이지언간격추정테스트(BIET)의프로그램을저장한다.
Abstract translation: 本发明涉及使用混合技术的统计模型检查装置及其方法。 控制单元重复连续概率比测试，直到初始概率临界值大于或等于变化临界值，如果平均接收值小于接收临界值，则完成顺序概率比测试，并且执行贝叶斯间隔 估计测试初始概率临界值是否大于或等于变化临界值。 存储单元存储顺序概率比测试和贝叶斯间隔估计测试的程序。
-
Patent Agency Ranking
公开(公告)号：KR1020150007806A
公开(公告)日：2015-01-21
申请号：KR1020130082302
申请日：2013-07-12
Applicant: 한국과학기술원
CPC classification number: G06F11/3684 , G06F9/46 , G06F11/3664 , G06F11/3676
Abstract: 멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체가 개시된다. 테스트 대상 멀티스레드 프로그램 및 사용자가 테스트를 위해 제공하는 테스트 입력값을 수신받는 입력부 및 수신된 테스트 대상 멀티스레드 프로그램 및 수신된 테스트 입력값을 이용하여 커버리지 예측정보를 생성하고, 생성된 커버리지 예측정보를 이용하여 테스트 대상 멀티스레드 프로그램의 테스트를 수행하고, 수행된 테스트의 결과 정보를 산출하는 제어부를 포함할 수 있다.
Abstract translation: 公开了一种自动测试生成装置，自动测试生成方法以及使用多线程程序的测试覆盖信息的记录介质。 自动测试生成装置可以包括：被配置为接收由用户提供的要测试的多线程程序和用于测试的测试输入值的输入单元; 以及控制单元，被配置为使用所接收的要测试的多线程程序和测试输入值来生成覆盖率预测信息，使用所生成的覆盖预测信息对要测试的多线程程序进行测试，并产生结果 执行测试的信息。
-
公开(公告)号：KR101519450B1
公开(公告)日：2015-05-12
申请号：KR1020130082302
申请日：2013-07-12
Applicant: 한국과학기술원
Abstract: 멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체가 개시된다. 테스트 대상 멀티스레드 프로그램 및 사용자가 테스트를 위해 제공하는 테스트 입력값을 수신받는 입력부 및 수신된 테스트 대상 멀티스레드 프로그램 및 수신된 테스트 입력값을 이용하여 커버리지 예측정보를 생성하고, 생성된 커버리지 예측정보를 이용하여 테스트 대상 멀티스레드 프로그램의 테스트를 수행하고, 수행된 테스트의 결과 정보를 산출하는 제어부를 포함할 수 있다.
-
-
-
公开(公告)号：KR1020120032708A
公开(公告)日：2012-04-06
申请号：KR1020100094180
申请日：2010-09-29
Applicant: 한국과학기술원
IPC: G06F11/36 , G06F11/267
Abstract: PURPOSE: An extension type distribution test method about a software unit is provided to efficiently reduce test time by using a cloud computing platform. CONSTITUTION: A queuepf storing the limit of denial about a route is initialized. If the queuepf is not empty, a concolic test operates(S111). If the queuepf is empty, non-processed path of the other nodes is performed(S121).
Abstract translation: 目的：提供关于软件单元的扩展类型分布测试方法，以通过使用云计算平台有效降低测试时间。 构成：初始化存储关于路由的拒绝限制的queuepf。 如果queuepf不为空，则进行通用测试（S111）。 如果queuepf为空，则执行其他节点的未处理路径（S121）。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.019 seconds)
