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

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

2021년 7월 13일(화) / 20일(화), 온라인

 

행사개요

주제: 프로그램 합성 [ 2021 단기전문가강좌 ]

일시: 2021.07.13(화) 오전 9:00 ~ 오후 6:00 / 20(화) 오전 9:00 ~ 오후 6:00

장소: 온라인 (참여 링크 추후 등록메일로 공지)

주최: 한국정보과학회

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

등록: ~ 2021. 7. 9. 까지

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

 

 

모시는글

한국정보과학회 소프트웨어공학 소사이어티는 매년 여름마다 단기 전문가 강좌를 개최하고 있습니다. 2021년에는 아홉 번째로 최근 학계와 산업계에서 많은 관심을 갖고 있는 “프로그램 자동 합성 기술”에 대한 주제로 여러분을 만나게 되었습니다. 탐색 기반 소프트웨어공학에 대한 연구와 니즈가 증가하고 있는 시점에서 재사용 가능한 소프트웨어를 탐색하고 이를 자동으로 합성하여 소프트웨어 개발해 가는 접근 방법은 생산성 및 품질 향상이라는 측점에서 매우 중요한 공학적 기술이라 할 수 있습니다.

이번 단기 전문가 강좌의 강사로 모신 한양대학교의 이우석 교수님은 프로그램 자동 합성 기술 분야에서 오랫동안 연구와 강의를 해오신 전문가로서, 다양한 프로그램 합성 전략에 대하여 이해하고, 이를 기반으로 프로그램 합성기를 직접 개발해 보는 유익한 시간을 제공할 것입니다. 이번 단기 전문가 강좌는 코드 기반 소프트웨어공학을 공부하는 연구자들에게는 물론, 산업체의 소프트웨어 개발자에게도 매우 유익한 기회가 될 것으로 확신합니다. 비록, 코로나 바이러스의 국가 안전 시책에 따라 이번 강좌가 비대면으로 진행하지만, 흥미로운 주제와 풍성한 콘텐츠를 준비하였으니 여러분의 많은 참여와 관심을 부탁드립니다. 
            2021년 6월 14일   한국정보과학회 소프트웨어공학 소사이어티 회장 홍 장 의

 

강사 및 과목 개요

 강사: 이우석 교수 (한양대 에리카 캠퍼스)

예제로부터 프로그램 코드를 자동으로 학습하는 기술을 귀납적 프로그래밍(inductive programming) 또는 일반적으로 프로그램 합성(program synthesis)이라고 한다. 최근 프로그램 합성 기술이 눈부시게 발전하고 있으며, MS Excel의 FlashFill과 같이 여러 상용 제품에서도 엔드 유저를 위한 프로그램 기술로 각광받고 있다. 본 단기 강좌에서는 프로그램 합성 기술에 대한 기본적인 이해를 갖추고, 용도에 알맞게 사용하는 방법을 다룬다. 또한 현재까지 제안된 다양한 프로그램 합성 전략을 통해 프로그램 합성 분야의 동향을 소개한다. 프로그램 합성 기술 관련 도구인 PROSE SDK를 사용하여 직접 프로그램 합성기를 만들어 봄으로써 실제적인 도구 활용 방법도 익힌다.

 

  학습목표

(1) 프로그램 합성 기술에 대한 이해를 갖추고, 용도에 알맞게 사용하는 방법을 익힌다.
(2) 현재까지 제안된 다양한 프로그램 합성 전략을 살펴본다.
(3) PROSE SDK를 사용하여 직접 프로그램 합성기를 만들어본다
  사전지식

(1) 일차 술어논리 (first order logic) 및 형식 문법 중 문맥 둔감 문법 (context-free grammar) 에 대한 기본적인 이해
(2) 자료구조, 이산수학, 알고리즘에 대한 기본적 이해
(3) 실습을 위해 C#에 대한 약간의 숙련도가 필요.
일반적으로 위와 같은 사전 지식이 필요하나, 본 강좌에서는 수강생들이 위와 같은 지식을 충분히 갖추지 않았다고 가정하고 기초부터 설명할 계획임.

준비물

• 수강생들은 실습을 위해 맥 혹은 윈도우즈 기반의 노트북 지참 (Virualbox, MS Visual Studio, MS PROSE SDK설치 필요)
• 실습 1,2,3에서 사용되는 도구들은 강사가 Virtualbox 이미지로 제공하여 환경에 관계없이 실행할 수 있도록 할 예정임
• 실습 4에서 사용되는 Microsoft PROSE SDK는 Visual Studio 만 설치되어 있다면 맥과 윈도우즈 모두 사용 가능함

 

 

프로그램

7/13 (화) 강사: 이우석 교수 (한양대 에리카 캠퍼스)
09:00 – 10:00 프로그램 합성 소개 (Introduction to program synthesis, SMT, Syntax-guided synthesis)
10:00 – 11:00 합성전략 1: 하나씩 나열해보며 찾기 (Bottom-up / Top-down enumerative search)
11:00 – 12:00 탐색 공간 줄이기 (search space pruning)
12:00 – 13:00 중식
13:00 – 13:30 실습 1 – SyGuS 포맷 소개 및 EUSolver 사용해보기
13:30 – 14:30 통계모델 기반 탐색 우선 순위 매기기 (search space prioritization)
14:30 – 15:00 실습 2 – Euphony 로 통계모델 학습 및 적용해보기
15:00 – 16:00 합성전략 2: 양방향 탐색 전략 (Bidirectional synthesis strategy)
16:00 – 17:30 합성전략 3: 효율적으로 여러 프로그램 찾기 (representation-based search)
17:30 – 18:00 실습 3 – Duet 사용해보기
7/20 (화) 2일차:
09:00 – 09:30 합성전략 4: 랜덤하게 바꾸며 찾기 (stochastic search)
09:30 – 12:00 합성전략 5: 제약식을 풀어서 찾기 (constraint based search)
12:00 – 13:00 중식
13:00 – 14:00 연역합성 (deductive synthesis) 전략들 소개
14:00 – 15:00 프로그램 합성 응용: 비 개발자를 위한 프로그래밍, 프로그램 최적화
15:00 – 18:00 실습 4 – Mircrosoft PROSE SDK 를 사용한 자바 스크립트 프로그램 합성기 작성

 

 

참가등록

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

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

  • 등록 기간: ~ 2021. 7. 9.
  • 제공 자료: 강의자료 배포, 한국정보과학회 소프트웨어공학 소사이어티 인증 수료증 발급
  • 프로그램 문의: 소프트웨어공학 소사이어티 기획부회장 이찬근 교수 (cglee@cau.ac.kr),
    교육부회장 이정원 교수 (jungwony@ajou.ac.kr)
  • 사전등록 문의: 한국정보과학회 정가영 대리 (gyjeong@kiise.or.kr) Tel. 02-588-4001

 

 

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

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

2019년 7월 15일 – 17일, KAIST 도곡캠퍼스

 

행사개요

주제: 오픈소스 SW 기반 개발 프로세스 & 방법론 [ 2019_단기전문가강좌 ]

일시: 2019.07.15(월) 오전 9:30 ~ 17(수) 오후 12:30

장소: KAIST 도곡캠퍼스 B02호

주최: 한국정보과학회

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

등록: ~ 2019. 7. 8. 까지

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

 

[2019 단기 전문가 강좌 행사 사진]

 

모시는글    

한국정보과학회 소프트웨어공학 소사이어티는 매년 여름마다 단기 전문가 강좌를 개최하고 있습니다. 2019년에는 최근 많은 관심을 갖고있는 소프트웨어 공학과 오픈소스 SW 기술을 결합한 오픈소스 SW 기반 개발 프로세스 & 방법론 주제를 준비했습니다. 오픈소스 SW는 경제적 효율성, 상용SW 종속성 극복, 시장경쟁 촉진, 기술혁신 등의 핵심적인 가치를 제공합니다. 특히, 최근에 정적분석, 테스트, 형상관리, 통합 빌드 등의 소프트웨어 개발 분야에서 오픈소스 SW가 적극 활용되고 있습니다.

이번 단기 전문가 강좌의 강사로 모신 시네틱스 한동준 대표님께서는 오픈소스 SW 기반 개발 분야에서 열정적으로 활동하시고, 오랫동안 강의해 오신 최고 전문가로서 오픈소스 SW 기반 개발 기술, 활용, 동향 등을 실제적인 측면에서 쉽게 소개해 주실 것입니다. 이번 단기 전문가 강좌가 오픈소스 SW 기반 개발 기술을 체계적으로 공부하고 싶은 학생들뿐 아니라 본 기술을 업무에 적용하고자 하는 현장의 소프트웨어 개발자 분들에게도 매우 유익한 기회가 될 것으로 확신합니다. 많은 참여와 관심을 부탁드립니다.

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

 

강사 및 과목 개요

 강사: 한동준 대표 (Synetics)

최근 소프트웨어 개발은 오픈 소스를 적극 활용하고 있으며, Git/SVN과 Jenkins로 대표되는 지속적 통합(Continuous Integration)을 적용한 개발 프로세스에도 활용한다. 지속적 통합은 특정 소프트웨어 도메인이나 개발 언어에 종속되지 않는, 모든 소프트웨어 개발에 적용 가능하고 사용이 확산되고 있는 개발 프로세스이다.

본 단기 강좌에서는 소스코드 통합 빌드 오류와 테스트/정적분석 결함 등 소스코드 품질을 빠르게 확인하고 문제점을 조치하는 개발 프로세스인 “지속적 통합”을 소개하고, 대표적인 오픈 소스 소프트웨어를 이용하여 지속적 통합 환경을 구축 및 활용한다. 또한 지속적 통합을 기반으로 한 DevOps와 같은 최신 SW 개발 프로세스를 소개한다.

 

  학습목표

(1) 지속적 통합의 필요성 및 수행 절차에 대한 기본적인 지식을 익힌다.
(2) Jenkins, Git, SVN, Redmine 등 오픈 소스를 활용한 지속적 통합 환경을 구축한다.
(3) PMD, Junit과 같은 오픈 소스 테스트 도구를 지속적 통합 환경에서 수행한다.
(4) 테스트 프로젝트 실습을 통해 지속적 통합의 수행 절차를 이해한다.

  참고문헌

오픈소스 파워툴, 한동준/김도균, 지앤선, 2017

준비물 : 수강생들은 Jenkins/Redmine을 구성하기 위한 노트북을 지참.

  

 
 

 

 

 

프로그램

7/15 (월) 강사: 한동준 대표 (Synetics)
09:30 – 11:30 지속적 통합의 필요성과 개발 프로세스 이해
11:30 – 12:30 지속적 통합과 빌드 관리
12:30 – 13:30 중식
13:30 – 15:00 실습을 위한 서버 환경 구성
15:00 – 16:00 Subversion(SVN)을 이용한 버전 관리
16:00 – 17:00 Git을 이용한 버전 관리
17:00 – 18:00 테스트 프로젝트 구성
7/16 (화) 2일차:
09:30 – 11:00 Jenkins를 이용한 지속적 통합 환경 구성
11:00 – 12:30 테스트 프로젝트와 Jenkins를 이용한 지속적 통합 실행
12:30 – 13:30 중식
13:30 – 14:30 소프트웨어 품질 향상을 위한 지속적 통합 프로세스의 역할 이해
14:30 – 15:30 PMD를 이용한 정적분석과 지속적 통합
15:30 – 16:30 Junit을 이용한 단위 테스트와 지속적 통합
16:30 – 18:00 Cobertura를 이용한 테스트 커버리지 확인과 지속적 통합
7/17 (수) 3일차:
09:30 – 11:30 Redmine을 활용한 이슈 관리와 버전 관리 도구와의 연계
11:30 – 12:00 DevOps 등 지속적 통합 기반 최신 개발 프로세스 소개
12:00 – 12:30 수료식

 

 

참가등록

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

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

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

 

 

오시는길

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

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

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

[2019 단기 전문가 강좌 행사 사진]

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

제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분)

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

 

 

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

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

2017년 7월 19일 – 21일, 서강대학교

행사개요

  • 주제: 소프트웨어 시험
  • 일시: 2017.07.19 (수) – 21(금)
  • 장소: 서강대학교 바오로관 201호
  • 주최: 한국정보과학회
  • 주관: 한국정보과학회 소프트웨어공학 소사이어티
  • 등록: ~ 2017.07.18 (별도의 현장등록은 없습니다.)

모시는글

한국정보과학회 소프트웨어공학 소사이어티는 매년 여름마다 단기전문가강좌를 개최하고 있습니다. 금년에는 소프트웨어 개발 공정에서 소프트웨어 시험이 갖는 높은 중요성을 고려하여, 소프트웨어 시험을 강좌 주제로 준비하였습니다. Bill Gates가 마이크로소프트는 테스팅 회사라고 말했을 정도로 개발과정에 소프트웨어 시험이 차지하는 비중이 높습니다. 또한 소프트웨어 시험은 개발 공정에서 최종적으로 소프트웨어의 신뢰성과 품질을 책임지는 활동입니다. 이번 단기전문가강좌의 강사로 모신 부산대학교 채흥석 교수님과 한성대학교 정인상 교수님께서는 소프트웨어 시험 분야를 오랫동안 연구하고 강의해 오신 이 분야 최고의 전문가로, 소프트웨어 시험의 이론 및 방법론, 관련 도구 등을 알기 쉽게 소개해 주실 것입니다. 소프트웨어 시험의 실무에 대하여 강의를 해 주실 TTA 소프트웨어시험인증연구소의 정성룡 팀장님은 오랫동안 소프트웨어 시험 업무를 직접 수행하며 소프트웨어 시험 교육도 해 오셨기 때문에 실무적인 관점에서 소프트웨어 시험을 잘 조명해 주실 것입니다. 이번 단기 전문가 강좌가 소프트웨어 시험을 체계적으로 공부하고 싶은 대학생들 뿐 아니라 소프트웨어 시험을 업무로 수행하는 개발자 분들에게도 매우 유익한 기회가 될 것으로 확신합니다. 많은 참여와 관심을 부탁 드립니다.

2017년 7월 4일 한국정보과학회 소프트웨어공학 소사이어티 회장 강 성 원

강사 및 과목 개요

 

 강사: 채 흥 석 교수 (부산대학교)

소프트웨어 시험은 소프트웨어의 품질을 확인하고 개선하기 위한 핵심적인 활용으로서 자동차, 무기체계, 의료 등과 같이 높은 수준의 품질이 요구되는 시스템에서는 소프트웨어 시험의 절차와 수행 수준에 대한 표준을 요구하기도 한다.

본 단기 강좌에서는 고품질 소프트웨어를 개발하기 위하여 기본적으로 수행하는 소프트웨어 시험에 대한 기본 지식으로써 소프트웨어 시험의 기본 개념, 소프트웨어 시험의 유형, 그리고 소프트웨어 시험을 수행하는 프로세스를 소개한다.

또한 명세 기반의 테스트케이스 설계 기법으로서 동등분할, 경계값 분석, 결정표, 유스케이스, 상태 전이 등의 기법을 소개한다. 그리고 코드 메트릭, 코딩 표준 등 대표적인 정적 분석 기법을 소개한다.

학습 목표

  1. 소프트웨어 시험의 기본 개념과 프로세스를 익힌다.
  2. 다양한 명세 기반 시험 설계 능력을 배양한다.
  3. 코딩 표준, 메트릭 등 정적 분석 방법을 배운다.
강사: 정 인 상 교수 (한성대학교)

소프트웨어 대표적인 시험 방법인 화이트박스 테스트 방법으로 알려져 있는 코드 기반 테스트 방법에 대해 소개한다. 이 강좌에서는 코드 기반 테스트와 명세기반 테스트와의 관계를 명확히 하여 코드 기반 테스트로 얻을 수 있는 이점에 대해 설명한다. 또한 테스트 적합성 평가를 위해 코드 기반 커버리지 개념을 소개하고 커버리지 측정도구인 JaCoCo를 활용하여 실습을 수행한다. 이 강좌에서는 코드 커버리지로 블록 커버리지, 분기 커버리지, MCDC 등을 소개하고 이들을 서로 비교한다. 또한 이 강좌에서는 소프트웨어 테스트에 대한 이해를 높이기 위해 단위 테스트 프레임워크인 JUnit과 모의 객체 생성 프레임 워크인 Mockito를 소개하고 간단한 예제를 통해 이를 활용하는 실습을 우선 수행한다.

학습 목표

  1. 코드 기반 테스트 개념을 이해한다.
  2. 실제 테스트 코드를 작성하는 실력을 배양한다.
  3. 코드 기반 커버리지 개념을 이해한다.
  4. 모의 객체의 필요성 및 테스트에 이용하는 방법을 배운다.

참고 문헌

오픈소스 소프트웨어로 실습하는 소프트웨어공학, 생능출판사, 2017, 정인상.

준비물

  • 수강생들은 Java에 대한 약간의 지식과 노트북을 지참
  • 노트북에는 Mars 버전 이상의 이클립스가 설치되어있어야 하며 메이븐 Java 프로젝트를 생성하여 실행할 수 있도록 준비가 요구됨.

 

 강사: 정 성 룡 팀장 (TTA 소프트웨어시험인증연구소)

산업계에서는 개발자와 구매자 사이에서 소프트웨어 품질 및 성능을 확인하고 증명하기 위해 시험인증제도를 활용한다. 소프트웨어 품질 인증(GS인증), 소프트웨어 품질성능 평가시험(BMT) 등 신뢰도가 높은 시험의 경우 제3자 공인시험기관을 통해 시험결과의 객관성과 공정성을 확보한다.

본 단기 강좌에서는 소프트웨어 품질 인증(GS인증)의 이해를 위해 품질시험 및 품질특성, GS인증 시험 절차 및 사례 등을 소개한다. 그리고 소프트웨어 품질성능 평가시험(BMT)의 이해를 위해 동종 SW간 품질 및 성능을 비교평가하기 위한 방법으로써 성능시험, BMT 절차 및 사례 등을 소개한다.

또한, 일반적인 시스템 통합(SI) 사업에서의 시험의 이해를 위해 기능요소/비기능요소 요구사항 분석, SI 테스트 프로세스 및 산출물을 소개한다.

학습 목표

  1. 산업계에서 통용되는 실제 시험 사례를 통해 실전 감각을 배양한다.
  2. GS 인증, BMT, SI테스트 등 각종 시험 방법 및 절차를 이해한다.

 

프로그램

7/19 (수) 강사: 채 흥 석 교수 (부산대학교)
09:00 – 10:00 소프트웨어 시험 기본 개념
10:00 – 11:00 소프트웨어 시험 유형
11:00 – 12:00 소프트웨어 시험 프로세스
12:00 – 13:00 중식
13:00 – 14:00 정적 분석 – 메트릭, 코딩 표준
14:00 – 15:00 명세 기반 시험 – 동등분할, 경계값 분석
15:00 – 16:00 명세 기반 시험 – 페어와이즈, 결정표
16:00 – 17:00 명세 기반 시험 – 유스케이스 시험
17:00 – 18:00 명세 기반 시험 – 상태 전이 시험
7/20 (목) 강사: 정 인 상 교수 (한성대학교)
09:00 – 10:00 코드 기반 테스트 개요
10:00 – 12:00 JUnit
12:00 – 13:00 중식
13:00 – 14:00 Mockito
14:00 – 15:00 블록 커버리지
15:00 – 16:00 분기 커버리지
16:00 – 17:00 JaCoCo를 이용한 커버리지 측정
17:00 – 18:00 MCDC
7/21 (금) 강사: 정 성 룡 팀장 (TTA)
09:00 – 10:00 GS인증 개요 및 사례
10:00 – 11:00 BMT 개요 및 사례
11:00 – 12:00 SI 시험 개요 및 사례
12:00 – 12:30 수료식

 

 

참가등록

  • 등록인원/등록비
등록인원 등록비
선착순 30명 학생 40만원 / 일반 50만원
  • 참가자격: 소프트웨어 시험에 관심있는 분
  • 등록방법: 사전등록 – 온라인 등록 사이트 연결 (현장등록은 별도로 없습니다)                                                       (별도의 세금계산서 발행하지 않음)
  • 등록기간: ~2017. 07. 18
  • 제공자료: 강의자료 배포, 한국정보과학회 소프트웨어공학 소사이어티 인증 수료증 발급
  • 기타: 중식 및 다과 제공

프로그램 문의: 소프트웨어공학 소사이어티 학술분과위원장 이관우 교수(kwlee@hansung.ac.kr)

사전등록 문의: 한국정보과학회 오다름 사원 Tel. 070-4800-4012 (dareum89@kiise.or.kr)

 

오시는길

서강대학교 바오로관 201호 (주소: 04107 서울특별시 마포구 백범로 35 (신수동) 서강대학교)

CFIC_소프트웨어공학소사이어티_2014_final

안녕하세요? 한국정보과학회 소프트웨어공학 소사이어티 회장 권기현 입니다. 저희 소사이어티에서는 관심 높은 주제를 집중 탐구하는 “단기강좌”를 매년 여름마다 3일씩 실시하고 있습니다. 2012년에는 제1회 단기강좌로 포항공대 강교철 교수님의 “Product Line Engineering”을, 2013년 제2회에는 본인의 “모델 검증의 이해와 활용” 주제로 두 번의 단기강좌를 성공리에 개최하였습니다. 수강 정원이 모두 조기마감 되었을 뿐만 아니라 강의 평가 역시 모두 우수했었습니다.

금년 여름에도 아래와 같은 계획(안)으로 단기강좌를 실시코자 합니다. 이에 수고하실강사 분을 모집합니다. 혼자 강의하시거나 여러 분이 함께 팀티칭도 가능합니다.
▣ 일시: 1안) 2014년 7월 14일(월) – 7월 16일(수)
2안) 2014년 7월 21일(월) – 7월 23일(수)

▣ 강의 유형: type 1) 3 days program: 총 20 시간 (30명 정원 예상)
type 2) 1 day program: 월-8시간 or 화-8시간

▣ 장소: 서강대학교 바오로관(예정)
▣ 수강생 수: type 1) 약 30명 이내, type 2) 60명 이내

2014년 제3회 단기강좌에서 강의해 주실 분은 (1) 강의 주제, (2) 강사 성함, 소속, 이메일, 전화번호, (3) 강의 유형, (4) 강의 개요(300자 이내)를 적어 5월 12일(월) 까지 소사이어티 총무이신 이정원 교수님께 jungwony@ajou.ac.kr 보내주시면 감사하겠습니다. 그럼, 회원 여러분들의 많은 참여를 부탁드립니다. 감사합니다.

2014. 5. 1.
한국정보과학회 소프트웨어공학 소사이어티
회장 권 기현