| 1 |
1
프로그램을 구성하는 함수(function)들의 집합을 의미하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법에 있어서, 테스트 대상이 되는 소프트웨어 유닛의 실행트리를 구성하는 각각의 노드들 사이의 연결관계를 나타내는 경로(path) 및 상기 경로 상의 몇 번째 노드까지를 부정할 수 있는지를 나타내는 값인 부정의 한계(neg_limit)를 저장하는 데이터 구조(queue)인 queuepf를 초기화하는 초기화 단계; 상기 queuepf가 비어 있는지를 검사하는 제 1 검사 단계; 상기 제 1 검사 단계에서 상기 queuepf가 비어 있지 않은 경우, 상기 queuepf 내의 경로에 대하여 콘콜릭(Concolic) 테스트를 수행하는 테스트 수행단계; 및 상기 제 1 검사 단계에서 상기 queuepf가 비어 있는 경우, 현재 실행중인 노드 이외의 다른 노드로부터 테스트가 수행되지 않은 미처리 경로(path)와 상기 미처리 경로(path)에 대한 부정의 한계(neg_limit)를 수신하여 테스트를 수행할 경로를 이전하는 외부수신단계를 포함하여 구성된 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 2 |
2
청구항 1항에서,상기 초기화 단계는,queuepf를 비우고, queuepf에 최초로 테스트할 경로(orig_path)와 부정(negation)의 한계값 (neg_limit)를 세팅하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 3 |
3
청구항 1항에서,상기 테스트 수행 단계는,queuepf 자신이 가지고 있는 queuepf내의 경로에 대해 테스트를 수행하는 내부수행단계; 및다른 노드의 요청에 의해 자신의 queuepf에 있는 경로(path)를 상기 다른 노드에 송신해주는 외부수행단계;를 포함하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 4 |
4
청구항 3항에서,상기 내부수행단계는,상기 queuepf에서 테스트를 수행할 하나의 경로(path)와 부정의 한계(neg_limit)를 꺼내고, 수행횟수(j)를 상기 경로(path)의 길이로 정하는 한계설정단계;상기 한계설정단계에서 설정된 상기 수행횟수(j)가 부정의 한계(neg_limit)보다 큰지 검사하는 제2검사단계;상기 제2검사단계에서 상기 수행횟수(j)가 상기 부정의 한계(neg_limit)보다 큰 경우 기호경로식(φ)을 설정하고, 구해진 상기 기호경로식(φ)에 대해 만족가능성결정해결식을 통해 테스트 사례를 생성하는 사례 도출 단계; 상기 사례 도출 단계에서 도출된 상기 테스트 사례가 공백인지 여부를 검사하는 제3검사단계; 및 상기 제3검사단계에서 공백이 아닌 경우 상기 도출된 테스트 사례에 대해서 목표 프로그램을 실행하고 그 경로 및 상기 수행횟수(j) + 1의 값을 queuepf에 추가하는 실행 단계;를 포함하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 5 |
5
청구항 4항에 있어서, 상기 외부 수행 단계는, 다른 실행 노드들의 경로식 요청이 있는지와 상기 queuepf가 공백이 아닌지 검사하는 제4검사단계; 상기 제4검사단계에서 다른 실행 노드들의 경로식 요청이 있고 상기 queuepf가 공백이 아닌 경우 상기 queuepf에서 하나의 경로(path)를 꺼내어 상기 실행 노드에 전송하는 전송단계; 및 상시 전송단계 후 상기 수행횟수(j)를 하나 감소시키는 감축단계를 포함하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 6 |
6
청구항 1항에 있어서,상기 외부수신단계는,다른 노드들 중 미처리된 경로(path)를 가지고 있는 것이 존재하는지 검색하는 제5검사단계;상기 제5검사단계에서 미처리 경로(path)를 가지는 다른 노드가 있다고 검사된 경우 상기 노드로 경로(path)를 요청하는 경로요청단계;상기 노드로부터 경로(path)와 상기 경로(path)에 대한 부정의 한계(neg_limit)를 수신하는 경로 수신단계; 및수신된 상기 경로(path)와 상기 부정의 한계(neg_limit)를 queuepf에 추가하는 경로추가단계를 포함하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 7 |
7
청구항 4항에 있어서,상기 제2검사단계에서,상기 수행횟수(j)가 상기 부정의 한계(neg_limit)보다 작은 경우는 상기 제1검사단계부터 다시 실행하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 8 |
8
청구항 5항에 있어서,상기 제3검사단계에서,상기 테스트 사례가 공백인 경우는 상기 감축단계를 실행하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 9 |
9
청구항 5항에 있어서,상기 제4검사단계에서,상기 다른 실행 노드들의 경로식 요청이 없거나 상기 queuepf가 공백인 경우 상기 감축단계를 실행하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 10 |
10
청구항 6항에 있어서,상기 제5검사단계에서,상기 다른 노드들 중 미처리된 경로(path)를 가지고 있는 것이 존재하지 않는 경우 단계가 종료되는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 11 |
11
청구항 6항에 있어서,상기 경로추가단계 이후 상기 제1검사단계부터 다시 실행하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
| 12 |
12
청구항 5항에 있어서,상기 감축단계 이후 상기 제2검사단계부터 다시 실행하는 것을 특징으로 하는 소프트웨어 유닛에 대한 확장형 분산 테스트 방법
|
