맞춤기술찾기

이전대상기술

객체 지향 칠 프로그램의 시험을 위한 테스트 케이스 자동생성 방법

  • 기술번호 : KST2015098175
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 SDL(Specification and Discription Language) 및 MSC(Message Sequence Chart) 명세에 기반을 둔 객체 지향 CHILL 프로그램의 시험을 위한 테스트 케이스 자동 생성 방법을 제공하는데 그 목적이 있다. 본 발명에 따르면, MSC 및 SDL 명세를 기반으로 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법에 있어서, HMSC(Hybrid Message Sequence Chart) 명세에 테스트 기준을 적용하여 BMSC(Basic Message Sequence Chart) 명세를 생성하는 제 1 단계; 상기 BMSC 명세로부터 추출된 이벤트 시퀀스, 상기 SDL 명세로부터 추출된 멤버 함수 호출 및 동기적 시퀀스를 조합하여 테스트 드라이버를 구축하는 제 2 단계; 및 상기 구축된 테스트 드라이버로부터 테스트 기준을 적용하여 원하는 테스트 케이스를 추출하는 제 3 단계를 포함하여 이루어진 것을 특징으로 하는 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법이 제공된다.
Int. CL G06F 11/263 (2006.01)
CPC G06F 11/3688(2013.01)
출원번호/일자 1019990062389 (1999.12.27)
출원인 한국전자통신연구원
등록번호/일자 10-0625597-0000 (2006.09.12)
공개번호/일자 10-2001-0064239 (2001.07.09) 문서열기
공고번호/일자 (20060920) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2004.01.09)
심사청구항수 2

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 백의현 대한민국 대전광역시유성구
2 장종현 대한민국 대전광역시유성구
3 정인상 대한민국 서울특별시성북구
4 김현수 대한민국 경상북도구미시신
5 이동길 대한민국 대전광역시유성구
6 배현섭 대한민국 대전광역시유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 전영일 대한민국 광주 북구 첨단과기로***번길**, ***호(오룡동)(특허법인세아 (광주분사무소))

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application
1999.12.27 수리 (Accepted) 1-1-1999-0181736-84
2 출원인정보변경(경정)신고서
Notification of change of applicant's information
2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
3 출원인정보변경(경정)신고서
Notification of change of applicant's information
2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
4 명세서 등 보정서
Amendment to Description, etc.
2004.01.09 보정승인 (Acceptance of amendment) 1-1-2004-0008897-33
5 출원심사청구서
Request for Examination
2004.01.09 수리 (Accepted) 1-1-2004-0008886-31
6 선행기술조사의뢰서
Request for Prior Art Search
2005.06.15 수리 (Accepted) 9-1-9999-9999999-89
7 선행기술조사보고서
Report of Prior Art Search
2005.07.21 수리 (Accepted) 9-1-2005-0046424-30
8 의견제출통지서
Notification of reason for refusal
2005.11.24 발송처리완료 (Completion of Transmission) 9-5-2005-0597492-96
9 지정기간연장신청서
Request for Extension of Designated Period
2006.01.24 수리 (Accepted) 1-1-2006-0052516-10
10 명세서등보정서
Amendment to Description, etc.
2006.02.24 보정승인 (Acceptance of amendment) 1-1-2006-0137425-79
11 의견서
Written Opinion
2006.02.24 수리 (Accepted) 1-1-2006-0137426-14
12 등록결정서
Decision to grant
2006.06.12 발송처리완료 (Completion of Transmission) 9-5-2006-0335118-03
13 출원인정보변경(경정)신고서
Notification of change of applicant's information
2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
14 출원인정보변경(경정)신고서
Notification of change of applicant's information
2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
HMSC(Hybrid Message Sequence Chart) 및 SDL(Specification and Discription Language) 명세를 기반으로 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법에 있어서,상기 HMSC(Hybrid Message Sequence Chart) 명세에 노드커버리지 또는 에지커버리지 기준을 적용하여 BMSC(Basic Message Sequence Chart) 명세를 생성하는 제 1 단계;상기 BMSC로부터 이벤트들 간의 부분 순서 관계를 추출하고, 상기 부분 순서 관계에 따라 상기 이벤트들을 위상 정렬하여 이벤트 시퀀스를 추출하는 제 2 단계;상기 SDL로부터 인접한 두 이벤트 사이의 멤버 함수 호출과 동기적 통신 시퀀스의 집합을 추출하는 제 3 단계;상기 제 2 단계에서 추출된 이벤트 시퀀스와 상기 제 3 단계에서 추출된 멤버 함수 호출과 동기적 통신 시퀀스의 집합을 조합하여 테스트 드라이버를 구축하는 제 4 단계;상기 테스트 드라이버에서 테스트 기준을 적용하여 테스트 케이스를 추출하는 제 5 단계;를 포함하는 것을 특징으로 하는 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법
2 2
제 1 항에 있어서,상기 제 4 단계는,상기 이벤트 시퀀스의 임의의 인접한 두 이벤트 사이에, 상기 두 이벤트 사이에 수행될 수 있는 멤버 함수와 동기적 시퀀스를 삽입하는 것을 특징으로 하는 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법
3 3
삭제
4 4
삭제
5 4
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.