맞춤기술찾기

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

이전대상기술

엠에스씨에 의한 칠 프로그램의 모듈 단위 테스팅 방법

  • 기술번호 : KST2015077052
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 엠에스씨에 의한 칠 프로그램의 모듈 단위 테스팅 방법에 관한 것으로서, 수행 중에 발생한 이벤트들간의 선/후 관계를 판단하기 위한 논리 시간 벡터를 MSC에 적용하여 그 MSC 명세로부터 이벤트 간의 순서 제약조건을 추출하는 과정과, 이 제약조건을 바탕으로 전체 시스템에 대한 테스트 케이스 또는 개별 모듈에 대한 테스트 케이스를 생성하는 과정으로 구성되며, 상기와 같이 개별 모듈에 대한 테스트 케이스를 생성함으로써, 프로그램의 일부 모듈만이 구현되었을 때에도 그 모듈에 대한 테스팅이 가능하도록 하는 것을 특징으로 한다.
Int. CL G06F 9/46 (2006.01)
CPC G06F 11/3664(2013.01)G06F 11/3664(2013.01)
출원번호/일자 1019980049976 (1998.11.20)
출원인 주식회사 케이티, 한국전자통신연구원
등록번호/일자 10-0284490-0000 (2000.12.20)
공개번호/일자 10-2000-0033214 (2000.06.15) 문서열기
공고번호/일자 (20010315) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1998.11.20)
심사청구항수 4

출원인

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

발명자

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

대리인

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

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구
2 주식회사 케이티 대한민국 경기 성남시 분당구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 대리인선임신고서
Notification of assignment of agent		 1998.11.20 수리 (Accepted) 1-1-1998-0376628-34
2 특허출원서
Patent Application		 1998.11.20 수리 (Accepted) 1-1-1998-0395220-11
3 출원심사청구서
Request for Examination		 1998.11.20 수리 (Accepted) 1-1-1998-0376629-80
4 출원인정보변경(경정)신고서
Notification of change of applicant's information		 1999.01.20 수리 (Accepted) 4-1-1999-0010652-29
5 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2000.01.14 수리 (Accepted) 4-1-2000-0005008-66
6 등록사정서
Decision to grant		 2000.11.30 발송처리완료 (Completion of Transmission) 9-5-2000-0314452-83
7 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2002.04.09 수리 (Accepted) 4-1-2002-0032774-13
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.03.13 수리 (Accepted) 4-1-2009-5047686-24
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
12 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2010.04.19 수리 (Accepted) 4-1-2010-5068437-23
13 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.01.10 수리 (Accepted) 4-1-2012-5005621-98
14 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.03.21 수리 (Accepted) 4-1-2012-5058926-38
15 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.06.08 수리 (Accepted) 4-1-2012-5122434-12
16 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2013.07.31 수리 (Accepted) 4-1-2013-5106568-91
17 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2014.02.11 수리 (Accepted) 4-1-2014-5018159-78
18 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

MSC 명세에 일정 규칙에 의한 논리 시간 벡터를 적용하여 MSC 명세에 포함된 이벤트들 간의 선/후 관계에 대한 제약조건을 추출하는 제 1 과정과,

상기 제 1 과정에서 추출된 이벤드들간의 선/후 관계에 대한 제약조건에 드라이버 구축 알고리즘을 적용하여 CHILL 프로그램을 테스팅하기 위한 모듈별 테스트 드라이버를 생성하는 제 2 과정과,

상기 모듈별 테스트 드라이버를 CHILL 프로그램에 적용하여 그 CHILL 프로그램을 모듈 단위로 테스팅하는 제 3 과정으로 구성된 것을 특징으로 하는 칠(CHILL) 프로그램의 모듈 단위 테스팅 방법

2 2

제 1 항에 있어서, 상기 논리 시간 벡터는

각 프로세스는 초기에 영벡터를 논리 시간 벡터로 가진다는 초기화 규칙과,

각 프로세스 내에 존재하는 이벤트의 순서에 따라 논리 시간 벡터의 순서가 결정되도록 하는 상속 규칙과,

프로세스간에 이벤트를 주고 받는데 필요한 규칙을 정의한 메시지 통신 규칙과,

하나의 조건을 공유하는 프로세스들은 각 시간 벡터들의 최대값을 각자의 시간 벡터로 가진다는 공유 조건 규칙과,

임의의 프로세스가 새로운 프로세스를 생성할 때 생성된 프로세스는 원래 프로세스의 현재 시간 벡터를 취한다는 프로세스 생성 규칙에 의해 계산되는 것을 특징으로 하는 칠(CHILL) 프로그램의 모듈 단위 테스팅 방법

3 3

제 2 항에 있어서, 상기 상속 규칙은

프로세스(Pi)의 j번째 이벤트와 j+1번째 이벤트가 둘 다 병행 영역에 있지 않은 경우

Tij+1 = Ti + i번째 단위 벡터를 논리 시간 벡터로 결정하고,

프로세스(Pi)의 j+1번째부터 m번째 이벤트들이 병행 영역에 있는 이벤트라고 가정하고 j번째 이벤트가 병행 영역에 포함되지 않은 마지막 이벤트인 경우

∀x∈{j+1, …, m}, Tix=Tij+i 번째 단위 벡터를 논리 시간 벡터로 결정하는 것을 특징으로 하는 칠(CHILL) 프로그램의 모듈 단위 테스팅 방법

4 4

제 1 항에 있어서, 상기 제 2 과정은

앞에서 제시한 식 1과 Construct_State_Machine 알고리즘을 통해서 모듈별 테스트 드라이버를 구축하는 것을 특징으로 하는 칠(CHILL) 프로그램의 모듈 단위 테스팅 방법

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