맞춤기술찾기

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

이전대상기술

경로 코드 커버리지 측정 방법

  • 기술번호 : KST2015078706
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 디자인된 하드웨어의 기능 검증을 위한 코드 커버리지 툴에 적용되는 경로 코드 커버리지의 측정 방법에 관한 것이다. 경로 코드 커버리지의 측정은 해당하는 디자인에 경로가 얼마나 존재하는 지를 측정하는 것이다. 경로 측정을 위하여 다음과 같은 방법을 사용 한다. 디자인된 하드웨어의 소스 코드를 읽어서 기본 블록을 파악하고 이를 그래프로 변환한다. 이때 각각의 기본 블록은 가장자리로 모델링된다. 모델링된 그래프에는 부가 코드가 삽입된 후 최소화를 위해 최적화된다. 해당 그래프에서 부가 코드들의 가장자리의 집합을 이용하여 최소의 가장자리를 선택하는 알고리즘으로 효율적인 부가 코드의 삽입을 수행한다.테스트 벡터, 소스 코드, 코드 커버리지 툴, 경로 커버리지, 부가 코드
Int. CL G06F 11/22 (2006.01)
CPC G06F 11/3457(2013.01) G06F 11/3457(2013.01)
출원번호/일자 1020020079285 (2002.12.12)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-2004-0051364 (2004.06.18) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2002.12.12)
심사청구항수 5

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 김영수 대한민국 대전광역시유성구
2 김상필 대한민국 대전광역시유성구
3 조한진 대한민국 대전광역시서구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 신영무 대한민국 서울특별시 강남구 영동대로 ***(대치동) KT&G타워 *층(에스앤엘파트너스)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application		 2002.12.12 수리 (Accepted) 1-1-2002-0413448-77
2 의견제출통지서
Notification of reason for refusal		 2004.08.27 발송처리완료 (Completion of Transmission) 9-5-2004-0349833-22
3 지정기간연장신청서
Request for Extension of Designated Period		 2004.10.20 수리 (Accepted) 1-1-2004-0476604-83
4 지정기간연장신청서
Request for Extension of Designated Period		 2004.11.19 수리 (Accepted) 1-1-2004-0541186-03
5 지정기간연장신청서
Request for Extension of Designated Period		 2004.12.27 수리 (Accepted) 1-1-2004-0615199-54
6 지정기간연장신청서
Request for Extension of Designated Period		 2005.01.25 수리 (Accepted) 1-1-2005-0042554-10
7 지정기간연장신청서
Request for Extension of Designated Period		 2005.02.25 수리 (Accepted) 1-1-2005-0102258-07
8 거절결정서
Decision to Refuse a Patent		 2005.05.30 발송처리완료 (Completion of Transmission) 9-5-2005-0247759-16
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

디자인된 하드웨어의 기능 검증을 위한 코드 커버리지 툴에 적용되는 경로 코드 커버리지 측정 방법에 있어서,

a) 상기 디자인된 하드웨어의 소스 파일을 입력받는 단계와,

b) 상기 소스 파일에 부가 코드를 삽입하여 변형된 디자인 소스 파일을 생성하는 단계와,

c) 상기 변형된 디자인 소스 파일을 이용한 논리 시뮬레이션을 통해 경로 커버리지 데이터를 획득하는 단계를 포함하는 것을 특징으로 하는 경로 코드 커버리지 측정 방법

2 2

제 1 항에 있어서, 상기 단계 b)는

상기 디자인된 하드웨어의 소스 코드를 읽는 단계와,

상기 소스 코드를 기본 블록으로 나누는 단계와,

상기 각 기본 블록의 소스 코드를 그래프 모델로 변환하는 단계와,

각 그래프 모델에 계수를 위한 부가 코드를 삽입하는 단계와,

상기 부가 코드를 최소화시키기 위해 최적화하는 단계를 포함하는 것을 특징으로 하는 경로 코드 커버리지 측정 방법

3 3

제 2 항에 있어서, 상기 그래프 모델로 변환하는 단계에서 상기 기본 블록은 가장자리로 모델링되는 것을 특징으로 하는 경로 코드 커버리지 측정 방법

4 4

제 2 항에 있어서, 상기 부가 코드는 상기 각 그래프 모델의 엣지에 삽입되는 것을 특징으로 하는 경로 코드 커버리지 측정 방법

5 5

제 1 항에 있어서, 상기 경로 커버리지 데이터는 시뮬레이션 접속도구를 통해 획득하는 것을 특징으로 하는 경로 코드 커버리지 측정 방법

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