맞춤기술찾기

이전대상기술

소프트웨어 안전성 향상을 위한 코드 리팩토링 방법

  • 기술번호 : KST2015185364
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 소프트웨어 안전성 향상을 위한 코드 리팩토링 방법에 관한 것으로서, 함수의 파라미터 및 반환 값에 대한 유효성 검증 및 예외처리를 수행하고 있는지 여부와 관련된 함수 항목과, 표준 입력 함수에서 문자열을 기준으로 의도한 길이를 초과한 데이터를 입력할 때, 버퍼에 의한 표준 입력에의 영향 및 입력 데이터가 인접한 메모리에의 영향을 미치지 않도록 조취를 취하고 있는지 여부와 관련된 입력 항목을 포함하는 안전성 체크리스트를 이용하여 코드 검사를 수행하는 단계와, 안전성 저해 요소가 식별되면, 식별 항목에 해당하는 코드 리팩토링을 식별된 코드에 적용하는 단계를 포함한다. 본 발명에 따르면, 안전 관련 소프트웨어를 대상으로 소프트웨어를 개발할 때 개발자들이 안전성 체크리스트를 통해 안전성 저해 요소를 식별하고 식별된 요소들을 대상으로 알맞은 코드 리팩토링을 적용함으로써, 소프트웨어의 안전성과 유지보수성을 모두 향상 시킬 수 있다.
Int. CL G06F 21/57 (2013.01)
CPC G06F 8/72(2013.01) G06F 8/72(2013.01)
출원번호/일자 1020130023341 (2013.03.05)
출원인 충북대학교 산학협력단
등록번호/일자 10-1432712-0000 (2014.08.14)
공개번호/일자
공고번호/일자 (20140825) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2013.03.05)
심사청구항수 2

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 홍장의 대한민국 충북 청주시 흥덕구
2 박재진 대한민국 충북 제천시 청풍호로**길 **,

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 강세창 대한민국 서울 서초구 서초동 **** - ** 용빌딩 *층(명국제특허법률사무소)
2 원성수 대한민국 서울특별시 송파구 법원로**, ***호, ***호(문정동,문정법조프라자)(특허법인명)
3 추혁 대한민국 경기도 화성시 동탄대로 ***-** 효성아이씨티타워 ****호(지엠국제특허)
4 박종경 대한민국 서울특별시 송파구 법원로**, ***호, ***호(문정동,문정법조프라자)(특허법인명)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 충북대학교 산학협력단 충청북도 청주시 서원구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2013.03.05 수리 (Accepted) 1-1-2013-0192535-58
2 [대리인선임]대리인(대표자)에 관한 신고서
[Appointment of Agent] Report on Agent (Representative)
2013.06.21 수리 (Accepted) 1-1-2013-0556053-91
3 선행기술조사의뢰서
Request for Prior Art Search
2013.12.06 수리 (Accepted) 9-1-9999-9999999-89
4 선행기술조사보고서
Report of Prior Art Search
2014.01.10 수리 (Accepted) 9-1-2014-0002765-85
5 의견제출통지서
Notification of reason for refusal
2014.02.27 발송처리완료 (Completion of Transmission) 9-5-2014-0146455-62
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2014.04.02 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2014-0316354-01
7 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2014.04.02 수리 (Accepted) 1-1-2014-0316338-70
8 [대리인선임]대리인(대표자)에 관한 신고서
[Appointment of Agent] Report on Agent (Representative)
2014.06.09 수리 (Accepted) 1-1-2014-0537262-71
9 등록결정서
Decision to grant
2014.07.31 발송처리완료 (Completion of Transmission) 9-5-2014-0525121-63
10 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.08.28 수리 (Accepted) 4-1-2014-5103343-45
11 출원인정보변경(경정)신고서
Notification of change of applicant's information
2015.06.17 수리 (Accepted) 4-1-2015-5081402-70
12 출원인정보변경(경정)신고서
Notification of change of applicant's information
2018.05.15 수리 (Accepted) 4-1-2018-5086612-26
13 출원인정보변경(경정)신고서
Notification of change of applicant's information
2020.07.06 수리 (Accepted) 4-1-2020-5149268-82
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
삭제
2 2
함수의 파라미터 또는 반환 값에 대한 유효성 검증 및 예외처리를 수행하고 있는지 여부와 관련된 함수 항목과, 표준 입력 함수에서 문자열을 기준으로 의도한 길이를 초과한 데이터를 입력할 때, 버퍼에 의한 표준 입력에의 영향 또는 입력 데이터가 인접한 메모리에의 영향을 미치지 않도록 조취를 취하고 있는지 여부와 관련된 입력 항목을 포함하는 안전성 체크리스트를 이용하여 코드 검사를 수행하는 단계; 및안전성 저해 요소가 식별되면, 식별 항목에 해당하는 코드 리팩토링을 식별된 코드에 적용하는 단계를 포함하며,상기 함수 항목이 수행되지 않을 경우의 코드 리팩토링은,유효성 검증이 이루어지지 않은 상기 함수의 파라미터 또는 반환 값을 식별하는 단계;상기 유효성 검증을 수행할 수 있도록 bool 타입의 Validate 함수를 생성하는 단계;상기 유효성 검증이 필요한 상기 함수의 파라미터 또는 반환 값을 생성된 Validate 함수의 파라미터로 구성하는 단계;상기 Validate 함수는 기본적으로 true값을 반환하도록 구성하고, 무효한 값에 대해서는 false값을 반환하도록 구성하는 단계; 및완성된 Validate 함수를 상기 유효성 검증이 필요한 파라미터 또는 반환 값이 있는 위치에 조건문과 함께 사용하여 예외처리 구문을 작성하는 단계를 포함하는 소프트웨어 안전성 향상을 위한 코드 리팩토링 방법
3 3
함수의 파라미터 또는 반환 값에 대한 유효성 검증 및 예외처리를 수행하고 있는지 여부와 관련된 함수 항목과, 표준 입력 함수에서 문자열을 기준으로 의도한 길이를 초과한 데이터를 입력할 때, 버퍼에 의한 표준 입력에의 영향 또는 입력 데이터가 인접한 메모리에의 영향을 미치지 않도록 조취를 취하고 있는지 여부와 관련된 입력 항목을 포함하는 안전성 체크리스트를 이용하여 코드 검사를 수행하는 단계; 및안전성 저해 요소가 식별되면, 식별 항목에 해당하는 코드 리팩토링을 식별된 코드에 적용하는 단계를 포함하며,상기 입력 항목이 수행되지 않을 경우의 코드 리팩토링은,상기 표준 입력 함수를 대체할 새로운 입력 함수의 틀을 생성하며, 파라미터로 char형 포인터와 문자열의 사이즈를 입력받을 int형 변수로 구성하는 단계;상기 파라미터로 전달받은 정보인 int형 변수와 기본적으로 제공되는 문자입력함수인 getchar() 함수를 이용하여 문자들을 반복적으로 입력받도록 구성하는 단계;입력 범위 미만의 문자열을 입력 받을 경우를 고려하여 개행 문자가 입력 되었을 때 문장의 입력을 종료하도록 구성하는 단계;문자열을 입력받는 반복문이 종료된 후, 범위를 초과하여 입력 받았을 때를 조건문으로 판별하여 입력받은 문자들이 저장되는 배열의 마지막 값을 널문자인 "\0"으로 채우고 fflush(stdin) 함수를 이용하여 입력 버퍼를 비우는 단계; 및기존의 표준 입력 함수를 완성된 새로운 입력 함수로 대체하고, 문자열이 저장될 상기 char형 포인터에 문자열의 입력 길이를 파라미터 자리에 입력하는 단계를 포함하는 소프트웨어 안전성 향상을 위한 코드 리팩토링 방법
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 교육과학기술부 충북대학교 산학협력단 일반연구자 지원사업 스마트 폰 내장형 응용 소프트웨어의 에너지 효율성 보장을 위한 임베디드 소프트웨어 개발 기법