제7회 소프트웨어공학 단기전문가강좌

한국정보과학회 소프트웨어공학 소사이어티

제7회 소프트웨어공학 단기전문가강좌

2018년 7월 11일 – 13일, KAIST 도곡캠퍼스

 

행사개요

주제: 검색기반 소프트웨어공학 (Search-based Software Engineering)

일시: 2018.07.11(수) 오후 1:00 ~ 13(금) 오후 12:30

장소: KAIST 도곡캠퍼스 B02호

주최: 한국정보과학회

주관: 한국정보과학회 소프트웨어공학 소사이어티

등록: ~ 2018. 7. 3. 까지

(30명 선착순/별도의 현장 등록은 없습니다.)

 

 

모시는글    

한국정보과학회 소프트웨어공학 소사이어티는 매년 여름마다 단기 전문가 강좌를 개최하고 있습니다. 2018년에는 최근 많은 관심을 갖고있는 소프트웨어 공학과 검색 기반 기술을 결합한 검색 기반 소프트웨어공학(Search-Based Software Engineering) 주제를 준비했습니다. 검색 기반 소프트웨어공학은 여러 목적을 가진 복잡한 문제 공간을 가진 상황에서 최적화 기법을 적용하여 자동화된 솔루션을 제공하므로 요구공학, 프로젝트 관리로부터 유지보수, 재공학에 이르기까지 소프트웨어 개발 주기 전체에 걸쳐 활용되고 있습니다.

이번 단기 전문가 강좌의 강사로 모신 KAIST 유신 교수님께서는 검색 기반 소프트웨어공학 분야에서 열정적으로 활동하시고, 오랫동안 연구해 오신 최고 전문가로서 검색 기반 소프트웨어공학의 이론, 기법, 응용, 동향 등을 쉽게 소개해 주실 것입니다. 이번 단기 전문가 강좌가 검색 기반 소프트웨어공학을 체계적으로 공부하고 싶은 학생들뿐 아니라 검색 기반 기술을 업무에 적용하고자 하는 소프트웨어 개발자 분들에게도 매우 유익한 기회가 될 것으로 확신합니다. 많은 참여와 관심을 부탁드립니다..

           2018년 6월 13일   한국정보과학회 소프트웨어공학 소사이어티 회장 이 병 정

 

강사 및 과목 개요

 강사: 유 신 교수 (KAIST)       http://coinse.kaist.ac.kr/members/shin.yoo/

검색 기반 소프트웨어 공학(Search-based Software Engineering)은 소프트웨어 공학의 여러 문제를 정량적인 최적화 문제로 정의한 뒤, 진화 연산 기법(Evolutionary Computation) 및 기타의 기계학습 (Machine Learning) 알고리즘 등을 이용해서 해결하는 새로운 접근 방법이다.

본 단기 강좌에서는 다양한 소프트웨어 공학 문제를 지능적으로 자동화할 수 있도록 검색 기반 소프트웨어 공학에 대한 기초 지식을 소개한다. 국지 검색(Local Search), 유전 알고리즘 (Genetic Algorithm), 유전 프로그래밍 (Genetic Programming) 등의 다양한 메타휴리스틱 알고리즘을 소개하고, 이를 실제 소프트웨어 공학에 적용한 사례를 살펴본다.

 

  학습목표

(1)    검색 기반 소프트웨어 공학에 대한 기본적인 지식을 익힌다.

(2)    다양한 메타휴리스틱 알고리즘을 배운다.

(3)    다양한 응용 사례를 숙지하고, 간단한 예제를 실제로 실행한다.

  참고문헌

M. Harman, P. McMinn, J. T. de Souza, and S. Yoo. Empirical Software Engineering and Verification, volume 7007 of Lecture Notes in Computer Science, chapter Search Based Software Engineering: Techniques, Taxonomy, Tutorial. Springer–Verlag, 2012.

준비물 : 수강생들은 Python 및 Java 프로그램을 구동할 수 있는 노트북을 지참

  

 
 

 

 

 

프로그램

7/11 (수) 강사: 유 신 교수 (KAIST)
13:00 – 13:10 개회
13:10 – 14:00 SBSE: 소개
14:00 – 16:00 적합도 지형 (Fitness Landscape), 랜덤 검색, 국지 검색
16:00 – 18:00 진화 연산
7/12 (목) 2일차:
09:00 – 11:00 메타휴리스틱 예시: Travelling Salesman Problem
11:00 – 12:00 유전 프로그래밍
12:00 – 13:00 중식
13:00 – 14:00 검색 기반 테스트 입력 생성
14:00 – 15:00 다목적 진화 알고리즘 (Multi-Objective Evolutionary Algorithm)
15:00 – 17:00 유전 프로그래밍 예시: 검색 기반 결함 위치 식별
17:00 – 18:00 생태 모방 알고리즘
7/13 (금) 3일차
09:00 – 10:00 진화 연산 예시: EvoSuite을 이용한 Whole Test Suite Generation
10:00 – 11:00 검색 기반 자가 적응 시스템 사례
11:00 – 12:00 GPGPU 이용 사례
12:00 – 12:30 수료식

 

 

참가등록

등록인원 등록비
선착순 30명 학생 40만원 / 일반 50만원
  1. 등록인원/등록비:

 

  1. 등록 방법: 사전등록 – 온라인 등록 사이트 연결 (http://www.kiise.or.kr/conference/conf/022/ )

(현장 등록은 별도로 없습니다/무통장입금, 카드결제 모두 가능: 청구서 발행 가능)

  1. 등록 기간: ~ 2018. 7. 3.
  2. 제공 자료: 강의자료 배포, 한국정보과학회 소프트웨어공학 소사이어티 인증 수료증 발급
  3. 프로그램 문의: 소프트웨어공학 소사이어티 기획부회장 이정원 교수 (jungwony@ajou.ac.kr)
  4. 사전등록 문의: 한국정보과학회 오다름사원 (dareum89@kiise.or.kr) Tel. 070-4800-4012

 

 

오시는길

KAIST 도곡캠퍼스 (서울특별시 강남구 논현로28길 25 (도곡동 517-10), Tel. 02-3498-7515(행정실))

매봉역 4번출구로부터 약 640m (도보 10분)

** 주차공간이 협소하여 주차가 불가능 합니다. 대중교통을 이용하시기 바랍니다.