맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법 및 이를 수행하기 위한 알고리즘이 수록된 전자기록매체

  • 기술번호 : KST2015113281
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 소프트웨어 개발 초기에 주로 작성되는 요구사항 명세서를 검증하여 초기에 개발 오류를 방지하는 기술에 관한 것으로, 본 발명에 따른 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법은, 순차도와 상호작용 개략도를 입력으로 받는 단계; 상기 순차도와 상호작용 개략도를 정규화하는 제1 단계; 상기 정규화된 순차도와 상호작용 개략도를 기반으로 발생 가능한 행위의 집합을 제1 추상화된 제어흐름 그래프 형태로 변환하는 제2 단계; 상기 상호작용 개략도로부터 의도된 행위의 집합을 제2 추상화된 제어흐름 그래프 형태로 변환하는 제3 단계; 상기 제1, 제2 추상화된 제어흐름 그래프 간의 차이를 구하는 제4 단계를 포함한다. 여기서, 상기 순차도는 UML 2.0을 기반으로 하는 순차도인 것이 바람직하다. 요구사항 명세서, 객체지향 모델링 언어, 제어흐름 그래프, 의도되지 않은 행위
Int. CL G06F 17/00 (2006.01) G06F 9/00 (2006.01)
CPC G06F 8/10(2013.01)
출원번호/일자 1020080093591 (2008.09.24)
출원인 한국과학기술원
등록번호/일자
공개번호/일자 10-2010-0034448 (2010.04.01) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2008.09.24)
심사청구항수 29

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국과학기술원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 배두환 대한민국 대전시 유성구
2 송인권 대한민국 대전시 유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 이원희 대한민국 서울특별시 강남구 테헤란로 ***, 성지하이츠빌딩*차 ***호 (역삼동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2008.09.24 수리 (Accepted) 1-1-2008-0670578-27
2 선행기술조사의뢰서
Request for Prior Art Search		 2009.04.06 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2009.05.18 수리 (Accepted) 9-1-2009-0031722-39
4 의견제출통지서
Notification of reason for refusal		 2010.03.26 발송처리완료 (Completion of Transmission) 9-5-2010-0127829-06
5 거절결정서
Decision to Refuse a Patent		 2010.05.31 발송처리완료 (Completion of Transmission) 9-5-2010-0231052-00
6 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2013.02.01 수리 (Accepted) 4-1-2013-5019983-17
7 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2014.12.24 수리 (Accepted) 4-1-2014-5157993-01
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2014.12.24 수리 (Accepted) 4-1-2014-5157968-69
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2014.12.24 수리 (Accepted) 4-1-2014-5158129-58
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2019.04.24 수리 (Accepted) 4-1-2019-5081392-49
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.05.15 수리 (Accepted) 4-1-2020-5108396-12
12 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.06.12 수리 (Accepted) 4-1-2020-5131486-63
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
순차도와 상호작용 개략도를 입력으로 받는 단계; 상기 순차도와 상호작용 개략도를 정규화하는 제1 단계; 상기 정규화된 순차도와 상호작용 개략도를 기반으로 발생 가능한 행위의 집합을 제1 추상화된 제어흐름 그래프 형태로 변환하는 제2 단계; 상기 상호작용 개략도로부터 의도된 행위의 집합을 제2 추상화된 제어흐름 그래프 형태로 변환하는 제3 단계; 상기 제1, 제2 추상화된 제어흐름 그래프 간의 차이를 구하는 제4 단계 를 포함하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
2 2
청구항 1에 있어서, 상기 순차도는 UML 2
3 3
청구항 1에 있어서, 상기 제1 단계는, 순차도와 상호작용 개략도로 이루어진 요구사항 명세서로부터 하나의 순차도를 가져오는 과정; 상기 가져온 순차도를 인과관계 그래프로 변환하는 과정; 상기 인과관계 그래프를 분할된 인과관계 그래프로 변환하는 과정; 상기 분할된 인과관계 그래프로부터 새로운 순차도와 상호작용 개략도를 구성하는 과정 을 포함하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
4 4
청구항 3에 있어서, 상기 인과관계 그래프로 변환하는 과정은 메시지를 보내거나 받는 지점을 그래프의 노드로 하고 상기 노드들 간에 메시지를 보내는 방향과 상기 노드 간의 시간 흐름 순서에 따라 에지를 생성하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
5 5
청구항 3에 있어서, 상기 분할된 인과관계 그래프로 변환하는 과정은 상기 인과관계 그래프에서 의도되지 않는 행위를 유발하는 동시성을 제거하기 위해 다수의 에지가 하나의 노드로 들어오거나 다수의 에지가 하나의 노드에서 나가는 경우 그 에지를 제거하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
6 6
청구항 1에 있어서, 상기 제2 단계는, 상기 제1 단계의 결과물인 새로운 순차도와 상호작용 개략도가 주어지는 과정; 상기 새로운 순차도에 각각에 대해 상세 제어흐름 그래프를 생성하는 과정; 상기 상세 제어흐름 그래프를 연접하는 과정; 상기 상세 제어흐름 그래프를 순차도 단위로 추상화하여 제1 추상화된 제어흐름 그래프로 변환하는 과정 을 포함하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
7 7
청구항 6에 있어서, 상기 상세 제어흐름 그래프는 순차도 상에 나타나는 각 지점을 의미하는 일반노드와 상기 일반노드 간의 제어흐름을 나타내는 포크(fork)노드, 조인(join) 노드, 분기노드, 그리고 상기 노드들 간을 연결하는 에지로 구성되는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
8 8
청구항 6에 있어서, 상기 상세 제어흐름 그래프를 생성하는 과정은, 메시지를 보내거나 받는 지점을 그래프의 노드로 하고 상기 노드들 간에 메시지를 보내는 방향과 상기 노드 간의 시간 흐름 순서에 따라 에지를 생성하되, 비동기 메시지에 의해 생기는 에지는 추가하지 않는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
9 9
청구항 6에 있어서, 상기 상세 제어흐름 그래프를 연접하는 과정은, 상기 상세 제어흐름 그래프의 노드에 해당하는 순차도 상의 지점이 위치한 세로선이 나타내는 객체가 동일하고, 연결된 그래프 상에서 첫번째 노드 혹은 마지막 노드인 경우 이들을 연결하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
10 10
청구항 6에 있어서, 상기 추상화하는 과정은, 연결되어 있으면서 같은 순차도로부터 생성된 노드끼리 분할하고, 분할을 하나의 노드로 변환하여 이루어지는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
11 11
청구항 1에 있어서, 상기 제3 단계는 상기 상호작용 개략도의 노드는 추상화된 제어흐름 그래프의 노드로, 상기 상호작용 개략도의 에지는 추상화된 제어흐름 그래프의 에지로 변환하여 제2 추상화된 제어흐름 그래프로 변환하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
12 12
청구항 1에 있어서, 상기 제4 단계는, 상기 제1, 제2 추상화된 제어흐름 그래프를 받아 LTS(Labelled Transition System)로 변환하는 과정; 상기 변환된 LTS를 정형검증도구인 LTSA(Labelled Transition System Analyzer)에 입력으로 사용되기 위해 FSP(Finite State Process)형태로 저장하는 과정; LTSA가 상기 FSP를 입력받아서 모델이 속성을 지키지 않은 경우의 행위를 도출하는 과정 을 포함하는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
13 13
청구항 12에 있어서, 상기 LTS로 변환하는 과정은 상기 추상화된 제어흐름 그래프의 노드는 LTS의 에지로, 상기 추상화된 제어흐름 그래프의 에지는 LTS의 노드로 변환하는 제1 과정; 상기 추상화된 제어흐름 그래프에서 제어노드를 제거하여 LTS를 최소화하는 제2 과정 을 포함하여 이루어지는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
14 14
청구항 13에 있어서, 상기 최소화 과정은 제어노드에 해당하는 에지로 연결된 노드를 합친 후, 최소화 알고리즘을 수행하여 이루어지는 것을 특징으로 하는 시나리오 기반 요구사항 명세서에서 의도되지 않은 행위 검출 방법
15 15
순차도와 상호작용 개략도를 정규화하는 제1 알고리즘; 상기 정규화된 순차도와 상호작용 개략도를 기반으로 발생 가능한 행위의 집합을 제1 추상화된 제어흐름 그래프 형태로 변환하는 제2 알고리즘; 상기 상호작용 개략도로부터 의도된 행위의 집합을 제2 추상화된 제어흐름 그래프 형태로 변환하는 제3 알고리즘; 및, 상기 제1, 제2 추상화된 제어흐름 그래프 간의 차이를 구하는 제4 알고리즘이 수록된 전자기록매체
16 16
청구항 15에 있어서, 상기 순차도는 UML 2
17 17
청구항 15에 있어서, 상기 제1 알고리즘은, 순차도와 상호작용 개략도로 이루어진 요구사항 명세서로부터 하나의 순차도를 가져오는 과정; 상기 가져온 순차도를 인과관계 그래프로 변환하는 과정; 상기 인과관계 그래프를 분할된 인과관계 그래프로 변환하는 과정; 상기 분할된 인과관계 그래프로부터 새로운 순차도와 상호작용 개략도를 구성하는 과정 을 수행하는 것을 특징으로 하는 전자기록매체
18 18
청구항 17에 있어서, 상기 인과관계 그래프로 변환하는 과정은 메시지를 보내거나 받는 지점을 그래프의 노드로 하고 상기 노드들 간에 메시지를 보내는 방향과 상기 노드 간의 시간 흐름 순서에 따라 에지를 생성하는 것을 특징으로 하는 전자기록매체
19 19
청구항 17에 있어서, 상기 분할된 인과관계 그래프로 변환하는 과정은 상기 인과관계 그래프에서 의도되지 않는 행위를 유발하는 동시성을 제거하기 위해 다수의 에지가 하나의 노드로 들어오거나 다수의 에지가 하나의 노드에서 나가는 경우 그 에지를 제거하는 것을 특징으로 하는 전자기록매체
20 20
청구항 15에 있어서, 상기 제2 알고리즘은, 상기 제1 알고리즘의 수행 결과물인 새로운 순차도와 상호작용 개략도가 주어지는 과정; 상기 새로운 순차도에 각각에 대해 상세 제어흐름 그래프를 생성하는 과정; 상기 상세 제어흐름 그래프를 연접하는 과정; 상기 상세 제어흐름 그래프를 순차도 단위로 추상화하여 제1 추상화된 제어흐름 그래프로 변환하는 과정 을 수행하는 전자기록매체
21 21
청구항 20에 있어서, 상기 상세 제어흐름 그래프는 순차도 상에 나타나는 각 지점을 의미하는 일반노드와 상기 일반노드 간의 제어흐름을 나타내는 포크(fork)노드, 조인(join) 노드, 분기노드, 그리고 상기 노드들 간을 연결하는 에지로 구성되는 것을 특징으로 하는 전자기록매체
22 22
청구항 20에 있어서, 상기 상세 제어흐름 그래프를 생성하는 과정은, 메시지를 보내거나 받는 지점을 그래프의 노드로 하고 상기 노드들 간에 메시지를 보내는 방향과 상기 노드 간의 시간 흐름 순서에 따라 에지를 생성하되, 비동기 메시지에 의해 생기는 에지는 추가하지 않는 것을 특징으로 하는 전자기록매체
23 23
청구항 20에 있어서, 상기 상세 제어흐름 그래프를 연접하는 과정은, 상기 상세 제어흐름 그래프의 노드에 해당하는 순차도 상의 지점이 위치한 세로선이 나타내는 객체가 동일하고, 연결된 그래프 상에서 첫번째 노드 혹은 마지막 노드인 경우 이들을 연결하는 것을 특징으로 하는 전자기록매체
24 24
청구항 20에 있어서, 상기 추상화하는 과정은, 연결되어 있으면서 같은 순차도로부터 생성된 노드끼리 분할하고, 분할을 하나의 노드로 변환하여 이루어지는 것을 특징으로 하는 전자기록매체
25 25
청구항 15에 있어서, 상기 제3 알고리즘은 상기 상호작용 개략도의 노드는 추상화된 제어흐름 그래프의 노드로, 상기 상호작용 개략도의 에지는 추상화된 제어흐름 그래프의 에지로 변환하여 제2 추상화된 제어흐름 그래프로 변환하는 것을 특징으로 하는 전자기록매체
26 26
청구항 15에 있어서, 상기 제4 알고리즘은, 상기 제1, 제2 추상화된 제어흐름 그래프를 받아 LTS(Labelled Transition System)로 변환하는 과정; 상기 변환된 LTS를 정형검증도구인 LTSA(Labelled Transition System Analyzer)에 입력으로 사용되기 위해 FSP(Finite State Process)형태로 저장하는 과정; LTSA가 상기 FSP를 입력받아서 모델이 속성을 지키지 않은 경우의 행위를 도출하는 과정 을 수행하는 것을 특징으로 하는 전자기록매체
27 27
청구항 26에 있어서, 상기 LTS로 변환하는 과정은 상기 추상화된 제어흐름 그래프의 노드는 LTS의 에지로, 상기 추상화된 제어흐름 그래프의 에지는 LTS의 노드로 변환하는 제1 과정; 상기 추상화된 제어흐름 그래프에서 제어노드를 제거하여 LTS를 최소화하는 제2 과정 을 포함하여 이루어지는 것을 특징으로 하는 전자기록매체
28 28
청구항 27에 있어서, 상기 최소화 과정은 제어노드에 해당하는 에지로 연결된 노드를 합친 후, 최소화 알고리즘을 수행하여 이루어지는 것을 특징으로 하는 전자기록매체
29 29
청구항 15 내지 청구항 28 중 어느 한 항의 전자기록매체가 내장된 검출장치
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 지식경제부 KAIST 대학 IT 연구센터 육성 지원 사업 소프트웨어 프로세스 개선을 위한 공학 기술의 개발(7차년도)