본문 바로가기
HOME> 보고서 > 보고서 검색상세

보고서 상세정보

고품질 융합 소프트웨어 개발 지원 도구 연구
Research on tools for highly assured SW development

  • 사업명

    정보통신기술인력양성

  • 과제명

    고품질 융합 소프트웨어 개발 지원 도구 연구

  • 주관연구기관

    고려대학교 산학협력단

  • 보고서유형

    연차보고서

  • 발행국가

    대한민국

  • 언어

    한국어

  • 발행년월

    2015-12

  • 과제시작년도

    2015

  • 주관부처

    미래창조과학부
    Ministry of Science, ICT and Future Planning

  • 등록번호

    TRKO201600002768

  • 과제고유번호

    1711026372

  • 키워드

    고품질 소프트웨어.시큐어 소프트웨어공학.정형 모델 및 정형 검증 도구.기술집약적 소프트웨어 테스팅.소스코드 품질 측정.시큐어 소프트웨어 개발생명주기.High assurance SW/Secure SW.Secure SE.Formal Methods Tool.Technology-Oriended Testing.Source code quality matrix.SSDL(Secure SW Development Lifecycle.

  • DB 구축일자

    2016-06-04

  • 초록 


    Purpose
    Research Objective : Development of SW tools used for high assurance SW development life cycle
    - Train SW engineers...

    Purpose
    Research Objective : Development of SW tools used for high assurance SW development life cycle
    - Train SW engineers that lead the development of high assurance SW
    ŸŸ• SW engineers who understand the properties of high assurance software, which are, dependability, trustworthiness, and resilience
    Ÿ• SW engineers who have utilization ability of tools for high assurance software development life cycle
    ŸŸ• SW engineers who practice software development process for various standard of high quality assurance
    Ÿ• SW engineers who fulfill leadership knowledge for software development team
    - Development of expert tool and quality measurement tool while developing high assurance SW
    Ÿ• Formal modeling for high assurance embedded software specification
    ŸŸ• Model checkers that support quality enhancement for source code and development of matrix analysis tool for quality
    Ÿ• Research for technology-oriented test technologies for high assurance embedded software


    연구목표
    연구목표 : 고품질 융합 소프트웨어를 위한 주요 단계 도구 개발
    - 고품질 융합 소프트웨어 개발을 주도하는 소프트웨어공학(SE) 고급인력양성
    Ÿ• 고품질 (Dependable+Trustworthy+Resil...

    연구목표
    연구목표 : 고품질 융합 소프트웨어를 위한 주요 단계 도구 개발
    - 고품질 융합 소프트웨어 개발을 주도하는 소프트웨어공학(SE) 고급인력양성
    Ÿ• 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성을 이해하는 SE 인재
    Ÿ• 고품질 소프트웨어 개발 생명 주기에서 도구 활용 능력이 있는 SE인재
    Ÿ• 다양한 표준의 고등급 인증을 위한 소프트웨어 개발 프로세스를 수행할 수 있는 SE 인재
    Ÿ• 소프트웨어 개발팀 리더 소양을 갖춘 SE 인재
    - 고품질 소프트웨어 개발 시 사용되는 전문 도구 및 품질 측정 도구 개발
    Ÿ• 고품질 융합 소프트웨어 명세를 위한 정형모델링 및 정형검증 도구개발 및 적용
    Ÿ• 소스코드의 품질 개선을 지원하는 코드체커 및 품질 메트릭 분석도구 개발
    Ÿ• 기술집약적 고품질 융합 소프트웨어 테스트 기술 연구
    연구내용
    ■ 1세부 프로젝트: 고품질 융합 소프트웨어 개발을 위한 정형 모델링 및 검증 기법 개발
    - 고품질 융합 소프트웨어 정형 시스템 모델링 및 검증 기술 연구
    ŸŸ• 시큐어 소프트웨어 명세/분석 방법 정의 및 검증 기술 개발
    - 소프트웨어 안전성을 위한 모델링 기법 개발
    Ÿ•Ÿ STAMP 기반 고품질 시스템 모델링 기법 연구
    - 고품질 융합 소프트웨어를 위한 위협 속성 및 정형 모델링 기술 연구
    ŸŸ• 고품질 융합 소프트웨어에 내재될 수 있는 위협 속성 이론 연구
    ŸŸ• 위협 속성의 정형 명세 기법 연구
    ■ 2세부 프로젝트: 소프트웨어 품질강화도구 개발 및 효과분석 기술 연구
    - 코딩 오류 탐지용 오픈 소스 코드 체커 개발
    ŸŸ• 기존 오픈 소스 기반의 정적분석 도구 분석(구조 분석) 및 개선
    - 임베디드 소프트웨어 품질 측정/관리 도구 개발
    ŸŸ• 소프트웨어 복잡성 정량화를 위한 메트릭 개발 및 예측 능력 평가/검증
    ŸŸ• 시큐어 코딩 진단 및 품질 분석 결과 시각화 도구 개발
    - 도구 지원 및 적용 효과 분석 연구
    Ÿ•Ÿ 소프트웨어 개발 지원 도구 적용을 위한 참조모델 및 활용을 위한 지침서 개발
    ŸŸ• 소프트웨어 개발 지원 도구의 적용 효과 실증 분석
    ■ 3세부 프로젝트: 기술집약적 고품질 융합 소프트웨어 테스트 기술 연구
    - 동적 심볼릭 테스팅 기법을 사용한 기술집약적 테스팅 연구 비교
    ŸŸ• 현존하는 동적 심볼릭 테스팅 기법들 분석을 통한 적합한 기법 선정
    - 효율적 프로그램 오류 탐지를 위한 동적 심볼릭 테스팅 알고리즘 개발
    ŸŸ• 보안취약점 발생 조건 구체화 및 조건식 추출 방법 개발
    Ÿ•Ÿ 취약한 실행 경로에 우선순위를 주어 우선적인 테스트 케이스 생성
    - 클라우드 시스템에서 효율적인 분산 동적 심볼릭 테스팅 기술 개발
    ŸŸ• 클라우드 시스템을 활용한 동적 심볼릭 테스팅 기술 개발
    - 기술집약적 고품질 융합 소프트웨어 테스팅 기술 도구 개발 및 적용
    ŸŸ• 동적 심볼릭 테스팅, 퍼징, 동적, 오염분석, 모니터링 기술을 통합한 고품질 융합 소프트웨어 테스트 도구 개발 및 사례 적용
    ■ 대학-참여기업의 프로젝트
    - 단국대 – 파수닷컴 : 정적분석의 오탐을 개선하기 위한 동적분석 연구
    - 고려대 – 수인시스템 : 정형 위협 속성 모델링 도구 연구
    - 고려대 – 드림시큐리티: 핀테크 서비스 연계를 고려한 개인정보기반의 사용자 식별 및 인증 기술 연구
    기대효과 (응용분야 및 활용범위 포함)
    ■ 고품질 융합 소프트웨어 개발 기술 및 SE 고급인재 확보를 통해 창조 경제 성장의 고도화
    - 기술적 기대효과
    ŸŸŸ• 기술 개발을 통한 국제 기술 경쟁력 증대
    ŸŸŸ• 융합 기술 발굴을 통해 지식재산권 확보 및 국제 표준에 기여
    - 경제적 기대효과
    ŸŸŸ• 국내 시장 환경에 특화된 고품질 융합 소프트웨어 환경 구축
    ŸŸŸ• 미래 유망 기술의 선점을 통해 국가 경제에 이바지
    - 고품질 융합 소프트웨어 개발 기술 확보를 통한 산업적 기대효과
    ŸŸŸ• 국내 고품질 융합 소프트웨어 개발 기업 생태계 조성
    ŸŸŸ• 국제 표준화 등 기반 기술 취약 및 국제 협력 체계 미비점 보완
    - 고품질 융합 소프트웨어 개발 기술 확보를 통한 인력적 기대효과
    ŸŸŸ• 산업, 기업에서 원하는 실력과 능력을 갖춘 인재 공급
    ŸŸŸ• 고품질 융합 소프트웨어 관련 기술자 공급 부족 해소


  • 목차(Contents) 

    1. 표지 ... 1
    2. 목차 ... 2
    3. 1. 센터개요 ... 5
    4. 2. 총괄실적요약 ... 8
    5. Ⅰ. 계획 대비 달성도 ... 19
    6. 1. 연구개발 목표 및 내용 ... 19
    7. 가. 연구의 필요성 ... 19
    8. 나. 최종목표 ... 22
    9. 다. 세부...
    1. 표지 ... 1
    2. 목차 ... 2
    3. 1. 센터개요 ... 5
    4. 2. 총괄실적요약 ... 8
    5. Ⅰ. 계획 대비 달성도 ... 19
    6. 1. 연구개발 목표 및 내용 ... 19
    7. 가. 연구의 필요성 ... 19
    8. 나. 최종목표 ... 22
    9. 다. 세부과제별 연구내용 ... 23
    10. 2. 연차별 추진계획 및 실적 ... 24
    11. 가. 총괄 추진계획 및 내용 ... 24
    12. 나. 사업수행 산출성과 ... 25
    13. 다. 연도별 세부목표, 달성내용 및 자체평가 ... 44
    14. 3. 연구개발 결과 ... 49
    15. 4. 추진전략 ... 60
    16. 가. 수요자 의견 반영을 위하여 추진한 전략 ... 60
    17. 나. 자체개선 시스템 ... 63
    18. 다. 연구추진 체계 ... 68
    19. Ⅱ. 사업수행 실적 ... 76
    20. 1. 센터에 대한 대학의 행정, 재정, 인프라 지원실적 ... 76
    21. 가. 민간부담금 및 연구인프라 구축 ... 76
    22. 나. 주관대학의 행정적, 재정적 지원실적 ... 78
    23. 2. 참여기업과의 실질적인 협력환경(인력, 장비, 기술 등) ... 80
    24. 3. 융합 컨소시엄 구성 및 운영실적 ... 81
    25. 4. 무한상상공간 조성 및 운영 실적 ... 81
    26. 5. ITRC포럼 및 성과홍보 실적 ... 82
    27. 가. ITRC 포럼 ... 82
    28. 나. 성과홍보 실적 8건 ... 85
    29. Ⅱ. 연구개발 성과 ... 87
    30. 1. 성과총괄 ... 87
    31. 가. 성과목표 달성 추진전략 ... 87
    32. 나. 성과지표 실적(총괄) ... 89
    33. 2. 세부연구실적 ... 90
    34. 가. 기술이전 실적 ... 90
    35. 나. 사업화 실적 ... 93
    36. 다. 특허실적 ... 97
    37. 라. 논문실적 ... 106
    38. 마. 표준화실적 ... 121
    39. 바. 시제품 실적 ... 122
    40. 사. S/W 등록 실적 ... 125
    41. 아. 산학연 협동연구 실적 ... 130
    42. 자. 국제 공동연구 ... 132
    43. 차. 중소(중견)기업-대학 공동연구실적 ... 136
    44. 카. 창의·자율과제 운영실적 ... 136
    45. 타. 산업체 연구비수주 실적 ... 136
    46. 파. 기타 자체지표 실적 ... 136
    47. Ⅲ. 인력양성 성과 ... 137
    48. 1. 인력양성 추진전략 및 방안 ... 137
    49. 가. 우수인재로 육성하기 위한 전주기적 관리시스템 ... 137
    50. 나. 산업체와 프로젝트 참여, 멘토링, 고용연계 전략 ... 146
    51. 2. 인력양성 실적 ... 149
    52. 가. 인력구성 및 현황 ... 149
    53. 나. 참여인력 현황 ... 150
    54. 다. 외국 연구자 유치실적 ... 155
    55. 라. 해외 파견실적 ... 155
    56. 마. 인턴쉽 실적 ... 155
    57. 바. 배출인력 ... 155
    58. 사. 기업가정신교육 도입 및 운영실적 ... 159
    59. 아. 기술창업화 실적 ... 160
    60. 3. 배출인력에 대한 기업체 만족도 ... 161
    61. Ⅴ. 예산집행 실적 ... 167
    62. 1. 당해연도 사업비 비목별 총괄 ... 167
    63. 2. 당해연도 사업비 사용실적 (정부출연금 + 민감부담금 현금) ... 168
    64. 3. 연도별 사업비 사용실적 ... 169
    65. 가. 사업비 집행 총괄 ... 169
    66. 나. 정부출연금 집행실적 ... 169
    67. 다. 정부출연금 + 민간부담금 현금 집행실적 ... 170
    68. Ⅴ. 향후계획(요약) ... 171
    69. 1. 연구계획 ... 171
    70. 가. 연차별 연구목표 ... 171
    71. 나. 세부과제별 추진계획 ... 171
    72. 2. 인력양성계획 ... 173
    73. Ⅵ. 기대효과 ... 176
    74. 1. 연구결과의 산업적/경제적 기여도 ... 176
    75. 2. 연구결과의 기술적 기여도 ... 177
    76. 3. 연구결과의 활용가능성 ... 177
    77. 끝페이지 ... 178
  • 참고문헌

    1. 전체(0)
    2. 논문(0)
    3. 특허(0)
    4. 보고서(0)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역