맞춤기술찾기

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

이전대상기술

관찰중심적으로 정의된 이에프에스엠 모델을 기반으로데이타가고려된시험열자동생성방법

  • 기술번호 : KST2015075076
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 관찰중심적으로 정의된 이에프에스엠(EFSM)모델을 기반으로 데이타가 고려된 시험열 자동생성 방법에 관한 것으로서, 다중 모듈 EFSM 모델인 프로토콜 명세(스펙)를 단일 모듈 EFSM 모델로 변환된 후 시험 케이스를 자동생성하기 위해 데이터 부분을 관찰중심적으로 관점에서 재정의하여 새로운 EFSM모델로 변환하는 제2과정과, EFSM 모델에 대해 "top-down search"를 수행하는 제3과정과, all-du-paths 범주에 상응하는 데이터 부분에 대한 경로를 선택하는 제4과정과, 경로에 대해 각 상태와 이전 시험열에 대한 정보의 저장을 통해 루프처리 방법으로 경로의 길이를 최소화하는 제5과정과, 실행 가능한 경로가 되도록 입력안의 매개변수 값을 선택해주고 출력매개변수 값을 구하는 제6과정과, 데이타 부분 시험경로를 통해 포함되지 않은 제어 부분을 시험하는 경로를 구하는 제7과정으로 이루어진 것을 특징으로 한다.
Int. CL G06F 17/10 (2006.01)
CPC H04L 12/2898(2013.01) H04L 12/2898(2013.01)
출원번호/일자 1019950049259 (1995.12.13)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-1997-0049732 (1997.07.29) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1995.12.13)
심사청구항수 2

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 조은경 대한민국 대전광역시 유성구
2 장웅 대한민국 대전광역시 동구
3 이부호 대한민국 충청북도 청원군
4 이재용 대한민국 서울특별시 은평구
5 장민석 대한민국 서울특별시 서대문구
6 김태형 대한민국 대전광역시 동구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 김영길 대한민국 서울특별시 강남구 테헤란로 ***, 대흥빌딩 ***호 (역삼동)
2 원혜중 대한민국 서울특별시 강남구 테헤란로**길 **, 서울빌딩 *층 (역삼동)
3 이화익 대한민국 서울시 강남구 테헤란로*길** (역삼동,청원빌딩) *층,***,***호(영인국제특허법률사무소)
4 김명섭 대한민국 서울특별시 강남구 테헤란로**길 *, 테헤란오피스빌딩 ***호 시몬국제특허법률사무소 (역삼동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application		 1995.12.13 수리 (Accepted) 1-1-1995-0191830-19
2 대리인선임신고서
Notification of assignment of agent		 1995.12.13 수리 (Accepted) 1-1-1995-0191831-54
3 출원심사청구서
Request for Examination		 1995.12.13 수리 (Accepted) 1-1-1995-0191832-00
4 출원인정보변경 (경정)신고서
Notification of change of applicant's information		 1997.04.25 수리 (Accepted) 1-1-1995-0191833-45
5 대리인선임신고서
Notification of assignment of agent		 1997.08.22 수리 (Accepted) 1-1-1995-0191834-91
6 의견제출통지서
Notification of reason for refusal		 1998.05.29 발송처리완료 (Completion of Transmission) 1-5-1995-0101211-17
7 거절사정서
Decision to Refuse a Patent		 1998.08.28 발송처리완료 (Completion of Transmission) 1-5-1995-0101212-63
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

다중 모듈 EFSM 모델인 프로토콜 명세(스펙)를 단일 모듈 EFSM 모델로 변환된 후, 시험 케이스를 자동 생성하기 위해 데이타 부분을 관찰중심적으로 관점에서 재정의하여 새로운 EFSM모델로 변환하는 제2과정과, EFSM 모델에 대해 "top-down search"를 수행하는 제3과정과, all-du-paths범주에 상응하는 데이타 부분에 대한 경로를 선택하는 제4과정과, 상기 경로에 대해 각 상태와 이전 시험열에 대한 정보의 저장을 통해 루프처리 방법으로 경로의 길이를 최소화하는 제5과정과, 실행 가능한 경로가 되도록 입력안의 매개변수 값을 선택해 주고 출력 매개변수 값을 구하는 제6과정과, 상기 데이타 부분 시험경로를 통해 포함되지 않은 제어 부분을 시험하는 경로를 구하는 제7과정으로 이루어진 것을 특징으로 하는 관찰중심적으로 정의된 이에프에스엠 (EFSM)모델을 기반으로 데이타가 고려된 시험열 자동생성방법

2 2

제1항에 있어서, 상기 제3과정은 제4,5 및 6과정과 동시에 수행되는 것을 특징으로 하는 관찰중심적으로 정의된 이에프에스엠(EFSM)모델을 기반으로 데이타가 고려된 시험열 자동생성방법

3
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.