1 |
1
소프트웨어 컴포넌트들 간의 상호작용을 패턴단위로 설정하는 상호작용(interaction) 패턴(pattern)을 정의하는 단계;상기 정의된 상호작용 패턴을 확인하는 단계; 및상기 확인된 상호작용 패턴을 기반으로 소프트웨어에서의 결함을 검출하는 단계를 포함하되, 상기 상호작용 패턴을 정의하는 단계는,상기 컴포넌트들 간의 메시지 교환을 추정하는 단계;상기 메시지 교환의 조합 중에서 구현가능한 요청-응답 형태(request-response type)를 추출하는 단계;상기 추출된 요청-응답 형태를 일반화하는 단계; 및상기 일반화된 요청-응답 형태를 상호작용 패턴으로 정의하는 단계를 포함하고, 상기 상호작용 패턴을 확인하는 단계는,메시지를 보내는 컴포넌트와 메시지를 받는 컴포넌트의 관계를 분석하여 요청-응답 형태를 인식하는 단계;상기 인식된 요청-응답 형태 중에서 패턴인식 문법을 이용하여 상호작용 패턴을 인식하는 단계; 및상기 인식된 상호작용 패턴 중에서 불완전한 상호작용 패턴을 제외시키는 방식으로 상호작용 패턴을 결정하는 단계를 포함하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
2 |
2
삭제
|
3 |
3
삭제
|
4 |
4
제1항에 있어서,상기 패턴인식 문법은 상기 요청-응답 형태와 대응하는 상호작용 패턴의 연결 정보를 포함하는 것임을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
5 |
5
제1항에 있어서,상기 상호작용 패턴을 결정하는 단계는, 상기 인식된 상호작용 패턴의 완전성을 체크하여 불완전한 상호작용 패턴을 제외시키는 것임을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
6 |
6
제1항에 있어서,상기 결함을 검출하는 단계는,상기 상호작용 패턴에서 선정된 중요 메시지를 기반으로 결함 검출을 위해 모니터링이 필요한 메시지를 선택하는 선택적 메시지 모니터링 단계;상기 선택된 메시지와 소프트웨어의 실행상태에서의 해당 메시지를 비교하는 상호작용 패턴 기반 비교 단계; 및상기 상호작용 패턴 기반 비교 단계에서 일치하지 않는 메시지가 발견되면, 결함이 발생한 것으로 결정하는 결함 결정 단계를 포함하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
7 |
7
제6항에 있어서,상기 상호작용 패턴 비교 단계는, 상기 선택된 메시지를 보내는 컴포넌트, 상기 선택된 메시지를 받는 컴포넌트, 상기 선택된 메시지의 형태 및 상기 선택된 메시지의 구조를 포함하는 내용을 조사하여 비교하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
8 |
8
제1항에 있어서,상기 상호작용 패턴을 정의하는 단계는,하나의 요청과 하나의 응답으로 이루어지는 단순 요청 및 응답(simple request and response) 패턴을 정의하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
9 |
9
제1항에 있어서,상기 상호작용 패턴을 정의하는 단계는,반복적인 요청 및 응답으로 이루어지는 다수 요청 및 응답(multiple request and response) 패턴을 정의하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
10 |
10
제1항에 있어서,상기 상호작용 패턴을 정의하는 단계는,하나의 요청에 다수의 응답으로 이루어지는 요청 및 다수 응답(request and multiple response) 패턴을 정의하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
11 |
11
제1항에 있어서,상기 상호작용 패턴을 정의하는 단계는,다수의 요청으로 이루어지는 다수 요청(multiple request only) 패턴을 정의하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
12 |
12
제1항에 있어서,상기 상호작용 패턴을 정의하는 단계는,요청과 응답이 중간 컴포넌트들에 의해 전달되는 전송 요청 및 응답(forwarded request and response) 패턴을 정의하는 것을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|
13 |
13
제1항에 있어서,상기 상호작용 패턴은 EBNF(Extended Backus-Naur Form)로 표시되는 것임을 특징으로 하는 소프트웨어에서의 상호작용 패턴을 이용한 결함 검출 방법
|