| 1 |
1
서비스 코레오그래피 명세를 기초로 하여, 분산된 네트워크 상에서 협업하는 웹 서비스들 간 구조와 동작을 분석하여 웹 서비스들이 조합된 코레오그래피 애플리케이션의 적합성을 시험하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 2 |
2
제 1 항에 있어서, 상기 웹 서비스들이 조합된 코레오그래피 애플리케이션의 적합성을 시험하는 단계는,서비스 코레오그래피 명세를 시험모델 및 시험구조로 변환하는 단계;상기 시험모델의 커버리지와 상기 시험구조를 고려하여 시험 시나리오를 생성하는 단계; 및상기 시험구조에서 상기 시험 시나리오를 실행하여 웹 서비스들을 시험하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 3 |
3
제 2 항에 있어서,상기 서비스 코레오그래피 명세는 웹 서비스 코레오그래피 정의언어(Web Service Choreography Definition Language: WS-CDL)로 기술된 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 4 |
4
제 2 항에 있어서, 상기 서비스 코레오그래피 명세를 시험모델 및 시험구조로 변환하는 단계는,상기 서비스 코레오그래피 명세로부터 동작 기능을 추출하여 상기 시험모델로 변환하는 단계; 및상기 서비스 코레오그래피 명세로부터 구조 기능을 추출하여 상기 시험구조로 변환하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 5 |
5
제 4 항에 있어서,상기 동작 기능은 웹 서비스들 간 메시지 교환 상호작용과 메시지 데이터 형식을 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 6 |
6
제 4 항에 있어서,상기 구조 기능은 웹 서비스들의 역할과 웹 서비스들 간 상호작용을 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 7 |
7
제 4 항에 있어서, 상기 서비스 코레오그래피 명세로부터 동작 기능을 추출하여 상기 시험모델로 변환하는 단계는,상기 서비스 코레오그래피 명세를 전역적 확장 유한 상태기(Global Extended Finite State Machine:Global EFSM) 시험모델로 변환하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 8 |
8
제 7 항에 있어서, 상기 서비스 코레오그래피 명세를 Global EFSM 시험모델로 변환하는 단계는,상기 서비스 코레오그래피 명세를 내부 자료구조로 변환하는 단계;상기 내부 자료구조에서 최상위 레벨의 서비스 코레오그래피를 검색하고 상기 최상위 레벨의 서비스 코레오그래피와 호출 관계에 있는 하위 레벨의 서비스 코레오그래피들을 연결하여 코레오그래피 순서 리스트를 생성하는 단계; 및상기 코레오그래피 순서 리스트의 서비스 코레오그래피들에 포함된 각 액티비티들을 EFSM 프래그먼트로 변환하고, 상기 코레오그래피 순서 리스트를 참조하여 각 서비스 코레오그래피의 EFSM 프래그먼트를 연결하여 Global EFSM 시험모델을 생성하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 9 |
9
제 4 항에 있어서, 상기 서비스 코레오그래피 명세로부터 구조 기능을 추출하여 상기 시험구조로 변환하는 단계는,상기 서비스 코레오그래피 명세를 내부 자료구조로 변환하는 단계; 및상기 내부 자료구조에서 003c#participant003e#로 선언된 웹 서비스를 시험대상 웹 서비스로 변환하고, 003c#role003e# 이름을 시험대상 웹 서비스의 시험 인터페이스로 변환하며, 003c#relationship003e# 관계에 있는 웹 서비스들을 메시지 링크로 연결하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 10 |
10
제 9 항에 있어서,상기 003c#relationship003e# 관계를 갖는 웹 서비스 간의 채널 상에 시험 모니터를 배치하는 단계;를 더 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 11 |
11
제 2 항에 있어서, 상기 시험모델의 커버리지와 상기 시험구조를 고려하여 시험 시나리오를 생성하는 단계는,상기 시험모델을 순회하는 시험모델 커버리지를 선택하는 단계;상기 시험모델 커버리지에 해당하는 시험경로를 계산하고 필요시 시험경로에 프리앰블 및 포스트앰블을 추가하는 단계; 및상기 시험경로와 상기 시험구조를 결합하여 시험 시나리오를 생성하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 12 |
12
제 11 항에 있어서, 상기 시험모델을 순회하는 시험모델 커버리지를 선택하는 단계는,제어 흐름을 기초로 하여 상기 시험모델의 각 상태를 연결하는 전이를 순회하는 기준에 따라 상기 시험모델 커버리지를 선택하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 13 |
13
제 11 항에 있어서, 상기 시험모델을 순회하는 시험모델 커버리지를 선택하는 단계는,데이터 흐름을 기초로 하여 상기 시험모델에 사용되는 변수에 대해 정의된 상태와 해당 변수가 사용된 상태를 연결하는 경로를 순회하는 기준에 따라 상기 시험모델 커버리지를 선택하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 14 |
14
제 2 항에 있어서, 상기 시험구조에서 상기 시험 시나리오를 실행하여 웹 서비스들을 시험하는 단계는,상기 시험구조 내 테스터 장치를 통해 시험 시나리오를 실행하는 단계; 및상기 시험 시나리오가 실행되면, 상기 웹 서비스들 간에 송수신되는 웹 서비스 메시지가 상기 시험 시나리오에 기술된 메시지 절차 및 입출력 값을 충족하는지를 시험 모니터를 통해 모니터링하거나 웹 서비스 메시지를 수정하는 단계;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 15 |
15
제 14 항에 있어서,상기 테스터 장치가 소정의 웹 서비스로부터 수신한 응답 메시지와, 상기 시험 모니터가 모니터링하는 웹 서비스 간 송수신 메시지를 검사하여 웹 서비스별로 오류 발생 여부를 판정하는 단계;를 더 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험방법
|
| 16 |
16
서비스 코레오그래피 명세를 시험모델 및 시험구조로 변환하는 시험모델 및 시험구조 변환부;상기 시험모델의 커버리지와 상기 시험구조를 고려하여 시험 시나리오를 생성하는 시험 시나리오 생성부; 및상기 시험구조에서 상기 시험 시나리오를 실행하여 웹 서비스들을 시험하는 시험 실행부;를 포함하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험장치
|
| 17 |
17
제 16 항에 있어서, 상기 시험모델 및 시험구조 변환부는,상기 서비스 코레오그래피 명세로부터 동작 기능을 추출하여 이를 상기 시험모델로 변환하고, 상기 서비스 코레오그래피 명세로부터 구조 기능을 추출하여 이를 상기 시험구조로 변환하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험장치
|
| 18 |
18
제 16 항에 있어서, 상기 시험모델 및 시험구조 변환부는,상기 서비스 코레오그래피 명세를 Global EFSM 시험모델로 변환하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험장치
|
| 19 |
19
제 16 항에 있어서, 상기 시험 실행부는,상기 시험구조 내 테스터 장치를 통해 상기 시험 시나리오를 실행하고, 상기 시험 시나리오가 실행되면, 상기 웹 서비스들 간에 전송되는 웹 서비스 메시지가 상기 시험 시나리오에 기술된 메시지 절차 및 입출력 값을 충족하는지를 시험 모니터를 통해 모니터링하거나 웹 서비스 메시지를 수정하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험장치
|
| 20 |
20
제 19 항에 있어서, 상기 시험 실행부는,상기 테스터 장치가 소정의 웹 서비스로부터 수신한 응답 메시지와, 상기 시험 모니터가 모니터링하는 웹 서비스 간 송수신 메시지를 검사하여 웹 서비스별로 오류 발생 여부를 판정하는 것을 특징으로 하는 서비스 코레오그래피 적합성 시험장치
|
