맞춤기술찾기

이전대상기술

프로그램 합성 방법

  • 기술번호 : KST2018015007
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명의 실시예에 따른 프로그램 합성방법은 프로그램 합성기에 의해서 수행되는 명령형 프로그램을 자동으로 합성하는 방법으로서, 미완성 프로그램인 부분프로그램, 입출력 예제, 합성변수 및 합성정수를 입력받는 단계, 상기 부분프로그램으로 워크셋(workset)을 초기화하는 단계, 상기 부분프로그램에 전이관계(transition relation)를 이용하여 후보 프로그램들을 나열하는 완전탐색단계, 상기 후보 프로그램들을 상기 워크셋에 저장하는 단계, 상기 후보 프로그램들 중 하나의 후보 프로그램을 선택하고, 상기 워크셋에서 선택된 후보 프로그램을 삭제하는 단계 및 선택된 상기 후보 프로그램에 홀이 있는 경우, 입출력 예제를 만족하는 해가 도출되는 것이 불가능한지 여부를 판정하는 단계를 포함한다.
Int. CL G06F 11/36 (2006.01.01)
CPC G06F 11/3604(2013.01)
출원번호/일자 1020170057043 (2017.05.04)
출원인 고려대학교 산학협력단
등록번호/일자 10-2028665-0000 (2019.09.27)
공개번호/일자 10-2018-0122870 (2018.11.14) 문서열기
공고번호/일자 (20191004) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2017.05.04)
심사청구항수 5

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 고려대학교 산학협력단 대한민국 서울특별시 성북구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 오학주 대한민국 서울특별시 성북구
2 소순범 대한민국 서울특별시 성북구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 김등용 대한민국 서울특별시 구로구 디지털로**길 *** *층-***(구로동,제이엔케이디지털타워)(동진국제특허법률사무소)
2 김홍석 대한민국 서울특별시 구로구 디지털로 **길 ***, ***호(구로동,JnK 디지털타워)(동진국제특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 고려대학교 산학협력단 서울특별시 성북구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2017.05.04 수리 (Accepted) 1-1-2017-0434272-04
2 [출원서등 보정]보정서
[Amendment to Patent Application, etc.] Amendment
2017.06.09 수리 (Accepted) 1-1-2017-0548341-41
3 선행기술조사의뢰서
Request for Prior Art Search
2018.11.09 수리 (Accepted) 9-1-9999-9999999-89
4 심사처리보류(연기)보고서
Report of Deferment (Postponement) of Processing of Examination
2018.11.12 발송처리완료 (Completion of Transmission) 9-6-2018-0137602-94
5 출원심사처리보류통지서
Notice of Deferment of Processing of Application Examination
2019.01.09 발송처리완료 (Completion of Transmission) 9-5-2019-0022793-98
6 심사처리보류(연기)보고서
Report of Deferment (Postponement) of Processing of Examination
2019.01.09 발송처리완료 (Completion of Transmission) 9-6-2019-0002816-60
7 선행기술조사보고서
Report of Prior Art Search
2019.01.11 발송처리완료 (Completion of Transmission) 9-6-2019-0005437-84
8 의견제출통지서
Notification of reason for refusal
2019.01.21 발송처리완료 (Completion of Transmission) 9-5-2019-0051859-82
9 [지정기간연장]기간연장(단축, 경과구제)신청서
[Designated Period Extension] Application of Period Extension(Reduction, Progress relief)
2019.03.21 수리 (Accepted) 1-1-2019-0293457-04
10 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2019.04.19 수리 (Accepted) 1-1-2019-0407425-39
11 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2019.04.19 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2019-0407433-05
12 등록결정서
Decision to grant
2019.08.30 발송처리완료 (Completion of Transmission) 9-5-2019-0625734-36
13 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.10.10 수리 (Accepted) 4-1-2019-5210941-09
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
삭제
2 2
명령형 프로그램을 합성하는 방법을 수행하기 위한 프로그램이 저장된 컴퓨터로 판독 가능한 저장매체로서, 상기 명령형 프로그램을 합성하는 방법은,미완성 프로그램인 부분프로그램, 입출력 예제, 합성변수 및 합성정수를 입력받는 단계;상기 부분프로그램에 전이관계(transition relation)를 이용하여 후보 프로그램들을 생성하는 완전탐색단계;상기 후보 프로그램들을 워크셋(workset)에 저장하는 단계;상기 후보 프로그램들 중 선택된 후보 프로그램을 상기 워크셋에서 삭제하는 단계;상기 선택된 후보 프로그램에 홀이 있는 경우, 입출력 예제를 만족하는 해의 도출 가부를 판정하는 단계; 및판정결과 입출력 예제를 만족하는 해의 도출이 가능한 경우, 전이관계를 통해 재차 후보 프로그램을 추출하여 상기 워크셋에 추가하는 단계를 포함하는,저장매체
3 3
명령형 프로그램을 합성하는 방법을 수행하기 위한 프로그램이 저장된 컴퓨터로 판독 가능한 저장매체로서, 상기 명령형 프로그램을 합성하는 방법은,미완성 프로그램인 부분프로그램, 입출력 예제, 합성변수 및 합성정수를 입력받는 단계;상기 부분프로그램에 전이관계를 이용하여 후보 프로그램들을 생성하는 완전탐색단계;상기 후보 프로그램들을 워크셋에 저장하는 단계;상기 후보 프로그램들 중 선택된 후보 프로그램을 상기 워크셋에서 삭제하는 단계;상기 선택된 후보 프로그램에 홀이 있는 경우, 입출력 예제를 만족하는 해의 도출 가부를 판정하는 단계; 및판정결과 입출력 예제를 만족하는 해의 도출이 불가능한 경우, 홀이 있는 상기 선택된 후보 프로그램을 삭제하는 가지치기(pruning) 단계를 포함하는,저장매체
4 4
제3항에 있어서,상기 가지치기 단계는 상기 부분프로그램의 홀이 모두 채워져 완성되었을 때 가능한 모든 실제 실행 의미(concrete semantics)를 대표하는 요약 의미(abstract semantics)를 정의하고, 상기 요약 의미가 출력예제를 만족하지 못하는 프로그램을 삭제하는 단계를 포함하는,저장매체
5 5
명령형 프로그램을 합성하는 방법을 수행하기 위한 프로그램이 저장된 컴퓨터로 판독 가능한 저장매체로서, 상기 명령형 프로그램을 합성하는 방법은,미완성 프로그램인 부분프로그램, 입출력 예제, 합성변수 및 합성정수를 입력받는 단계;상기 부분프로그램에 전이관계를 이용하여 후보 프로그램들을 생성하는 완전탐색단계;상기 후보 프로그램들을 워크셋에 저장하는 단계;상기 후보 프로그램들 중 선택된 후보 프로그램을 상기 워크셋에서 삭제하는 단계; 및상기 선택된 후보 프로그램에 홀이 있는 경우, 입출력 예제를 만족하는 해의 도출 가부를 판정하는 단계를 포함하고,상기 완전탐색단계는 상기 부분프로그램과 상기 합성정수 및 상기 합성변수를 이용하여 상기 후보 프로그램들을 생성하는 단계를 포함하는,저장매체
6 6
제2항에 있어서,상기 후보 프로그램들을 상기 워크셋에 저장하는 단계는,상기 후보 프로그램들 중 중복되는 프로그램을 제거하도록 코드 최적화하여 저장하는 단계를 포함하는,저장매체
7 7
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 고려대학교 산학협력단 정보보호핵심원천기술개발사업 IoT 소프트웨어 보안 취약점 자동 분석 기술 개발