基本信息:
- 专利标题： 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
- 专利标题（英）：Method of distributed scalable concolic testing for software reliability
- 专利标题（中）：用于软件可靠性的分布式可扩展综合测试方法
- 申请号：KR1020100094180 申请日：2010-09-29
- 公开(公告)号：KR101227024B1 公开(公告)日：2013-01-28
- 发明人： 김문주 , 김윤호
- 申请人： 한국과학기술원
- 申请人地址： 대전광역시 유성구 대학로 ***(구성동)
- 专利权人： 한국과학기술원
- 当前专利权人： 한국과학기술원
- 当前专利权人地址： 대전광역시 유성구 대학로 ***(구성동)
- 代理人： 이원희
- 主分类号： G06F11/36
- IPC分类号： G06F11/36 ; G06F11/267
pf 를 초기화하는 초기화 단계와 queue
pf 가 비었는지 검사하는 제1 검사 단계, 제 1 검사 단계에서 queue
pf 가 비지 않은 경우 concolic 테스트를 수행하는 테스트수행 단계 및 제1검사단계에서 queue
pf 가 비었을 경우 다른 노드들의 미처리 경로(path)를 수행하는 외부수신 단계를 포함하는 방법으로 이루어져 있다.
본 기법은 대상 프로그램의 신뢰성을 높이기 위하여 수많은 테스트 케이스를 자동생성하며, 많은 수의 컴퓨팅 노드를 이용하는 클라우드 컴퓨팅 플랫폼을 활용하여 사용하여 테스트 시간을 획기적으로 줄일 수 있고, 이에 따라 산업현장에서의 실제적인 이용을 통해, 소프트웨어 개발 기간을 단축하는 동시에 생성되는 소프트웨어의 품질을 높이는 효과를 기대할 수 있다.
The present invention relates to expandable dispersion test method for a software unit, according to the test method of the unit, the path (path) and the initialization phase and the queue
pf initializing the queue
pf for storing the threshold (neg_limit) of the negative of the path a first inspection step of empty test, in a case that the queue
pf busy in the first checking step, if the the queue
pf empty from the test carried out step and the first test step of performing a concolic test performed untreated path (path) of the other node, which consists of a process comprising the step of receiving an external.
This approach will automatically generate a number of test cases in order to increase the reliability of the target program, it can significantly reduce the test time, using leverage cloud computing platform with a large number of computing nodes, and thus practical in industry through the use, it can be expected the effect of increasing the quality of the software to be produced at the same time to speed up software development time.
公开/授权文献:
- KR1020120032708A 소프트웨어 유닛에 대한 확장형 분산 테스트 방법 公开/授权日：2012-04-06