참여기관 목록
-
클라우드 기반 소프트웨어 엔지니어링
소프트웨어 개발 생애 주기 전반의 기술을 이해하고, 산업 현장에 적용가능한 클라우드 기반 소프트웨어 개발 방법론을 습득할 수 있는 강좌이다.
총 주차 40 강좌 수 5
강좌소개
강좌 소개
강좌 운영 계획
주차 | 주차명 | 주차별 학습목표 | 차시명 |
---|---|---|---|
1 | 테스팅의 기본 개념 | 소프트웨어 테스팅의 기본 개념을 습득할 수 있다. | 1-1. 소프트웨어 품질 |
1-2. 에러, 결함, 실패 | |||
1-3. 완벽한 테스팅의 불가능성 | |||
1-4. 테스팅 자동화 기술 소개 1 | |||
1-5. 테스팅 자동화 기술 소개 2 | |||
1-6. 테스팅 불가능 프로그램 | |||
2 | 블랙박스 테스팅 | 블랙박스 테스팅의 기본 원리인 파티션 기법, 경계값 분석 기법, 조합 테스팅을 습득할 수 있다. | 2-1. 블랙박스 테스팅의 기본 |
2-2. 등가 파티션 | |||
2-3. 등가 파티션 예제 | |||
2-4. 경계값 분석 | |||
2-5. 조합 테스팅 | |||
2-6. 조합 테스팅과 제약조건 | |||
3 | 프로그램 구조 | 분기 제어, 데이터 흐름 등 프로그램 구조 분석의 기본 개념을 습득할 수 있다.. | 3-1. 제어 흐름 그래프 |
3-2. 테스트 적합도 개념 | |||
3-3. 구조 커버리지 | |||
3-4. 고급 커버리지 개념 | |||
3-5. 데이터 흐름 | |||
3-6. 데이터 흐름 커버리지 | |||
4 | 로직 및 뮤테이션 커버리지 | 대상 SW 소스코드를 효과적으로 테스트하기 위한 커버리지 기반 테스팅 기술을 익힐 수 있다. | 4-1. 다양한 로직 커버리지 |
4-2. MC/DC 커버리지 | |||
4-3. 다양한 로직 커버리지 간 상호 관계 | |||
4-4. 뮤테이션 커버리지 | |||
4-5. 뮤테이션 연산자 | |||
4-6. RIPR 버그 검출 프로세스 모델을 통한 여러 테스트 커버리지 기술 비교 | |||
5 | 소스코드 기반 테스트 케이스 자동생성 | 복잡한 SW 소스코드를 대상으로 높은 커버리지를 달성할 수 있는 테스트 케이스 자동생성 기술을 적용할 수 있다. | 5-1. SW의 높은 복잡도에 대한 이해 및 예제 |
5-2. Concolic (CONCrete + symbOLIC) 테스팅 소개 | |||
5-3. C 프로그램 대상 Concolic 테스팅 도구 CROWN 소개 | |||
5-4. Concolic 테스팅 통한 테스트 실사례 | |||
6 | 랜덤 테스팅 | 랜덤 테스팅 및 적응형 랜덤 테스팅의 개념을 이해하고 및 실습 사례를 적용할 수 있다. | 6-1. 랜덤 테스팅의 기본 |
6-2. 랜덤 테스팅 고급 기술 | |||
6-3. Randoop 적용 | |||
6-4. 적응형 랜덤 테스팅 기본 | |||
6-5. 적응형 랜덤 테스팅의 한계 | |||
6-6. 프로퍼티 테스팅 | |||
7 | 회귀 테스팅 | 계속적으로 변화하는 프로그램을 효율적으로 테스트하기 위한 테스트 스위트 최적화 기법을 활용할 수 있다. | 7-1. 회귀 오류 |
7-2. Retest-All 접근법 | |||
7-3. 테스트 스위트 최소화 | |||
7-4. 테스트 케이스 선택 | |||
7-5. 테스트 케이스 우선순위화 | |||
7-6. 연속적 통합과 회귀테스팅 | |||
8 | 결함 위치 식별 | 디버깅 효율을 높이기 위해 결함의 위치를 추정하는 다양한 기법을 적용할 수 있다. | 8-1. 델타 디버깅: 이진검색 |
8-2. 델타 디버깅: 재귀버전 | |||
8-3. 정보 추출 기반 결함 위치 식별 | |||
8-4. 스펙트럼 기반 결함 위치 식별 | |||
8-5. SBFL 성능 분석 | |||
8-6. 기계학습 기반 결함 위치 식별 | |||
기말시험 |
강좌운영팀 소개
교수자

- 유신 교수
- 현) KAIST 전산학과 교수
- PhD in Computer Science, King’s College London, 2009
- E-mail: shin.yoo@kaist.ac.kr

- 김문주 교수
- 현) KAIST 전산학과 교수
- PhD, Univ of Pennsylvania, 2001
- E-mail: moonzoo@cs.kaist.ac.kr
강좌지원팀
- 윤주연
- KAIST 전산학부 석사과정
- E-mail: greenmon@kaist.ac.kr
강좌 수강 정보
이수/평가정보
과제명 | 퀴즈 | 토론 | 중간고사 | 기말고사 |
---|---|---|---|---|
반영비율 | 60% | 0% | 0% | 40% |
※ 퀴즈 60%와 기말고사 40%로 퀴즈와 기말고사를 다 푸시고 총 60% 이상 점수 획득 시, 이수증을 발급받을 수 있습니다. 주차별로 퀴즈가 제공되며, 기말고사는 1번의 기회만 제공되니 유의하시기 바랍니다.
강좌 수준 및 선수요건
이 강좌는 유익한 내용이 다수 포함되어 있습니다. 강좌 수준은 전공 기초정도이며, 앞서 "소프트웨어 공학 : 왜, 무엇을, 어떻게?" 강좌와 "클라우드 서비스 아키텍처" 강좌를 선수로 듣고 수강하시면 훨씬 도움이 되실 것입니다.
교재 및 참고문헌
이 강좌는 여러가지 참고자료가 많이 있습니다.
자주 묻는 질문
강좌 교재가 따로 있나요?
강의 교안을 교재로 제공합니다.
미리보기
추천강좌
-
디지털 트윈 : 드론, 포토그래메트리로 만드는 메타버스 개강예정 이수증디지털 트윈 : 드론, 포토그래메트리로 만드는 메타버스
박은광 외 2 명
경일대학교
D-47 2025.09.01 ~ 2025.12.31디지털_트윈__드론 포토그래메트리로_만드는_메타버스 경일대학교-
운영기관
운영기관 경일대학교
-
주차
주차 15 주
-
학습인정시간
학습인정시간 (총 동영상시간) 45시간 00분 (12시간 24분)
-
운영기관
-
공간정보 분석 진행중 이수증공간정보 분석
서동조
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 8 주
-
학습인정시간
학습인정시간 (총 동영상시간) 23시간 34분 (08시간 05분)
-
운영기관
-
공간정보의 처리·가공 진행중 이수증공간정보의 처리·가공
서동조
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 7 주
-
학습인정시간
학습인정시간 (총 동영상시간) 20시간 38분 (07시간 18분)
-
운영기관
-
공간정보 자료 수집 및 편집 진행중 이수증공간정보 자료 수집 및 편집
김은경
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 8 주
-
학습인정시간
학습인정시간 (총 동영상시간) 23시간 30분 (07시간 56분)
-
운영기관
-
공간정보 기초 진행중 이수증공간정보 기초
김은경
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 7 주
-
학습인정시간
학습인정시간 (총 동영상시간) 20시간 18분 (07시간 12분)
-
운영기관
-
[실습] 공간정보 분석 진행중 이수증[실습] 공간정보 분석
서동조
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 8 주
-
학습인정시간
학습인정시간 (총 동영상시간) 23시간 34분 (08시간 17분)
-
운영기관
-
[실습] 공간정보의 처리·가공 진행중 이수증[실습] 공간정보의 처리·가공
서동조
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 7 주
-
학습인정시간
학습인정시간 (총 동영상시간) 19시간 46분 (07시간 17분)
-
운영기관
-
[실습] 공간정보 자료 수집 및 편집 진행중 이수증[실습] 공간정보 자료 수집 및 편집
김은경
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 7 주
-
학습인정시간
학습인정시간 (총 동영상시간) 20시간 06분 (06시간 24분)
-
운영기관
-
[실습] 공간정보 오픈소스 소프트웨어 기초 진행중 이수증[실습] 공간정보 오픈소스 소프트웨어 기초
김은경
서울디지털대학교
2025.07.07 ~ 2025.08.22-
운영기관
운영기관 서울디지털대학교
-
주차
주차 7 주
-
학습인정시간
학습인정시간 (총 동영상시간) 20시간 02분 (06시간 43분)
-
운영기관
-
게임그래픽프로그래밍 진행중게임그래픽프로그래밍
강형엽
한국연구재단 산업교육센터
2025.07.01 ~ 2025.08.31-
운영기관
운영기관 한국연구재단 산업교육센터
-
주차
주차 15 주
-
학습인정시간
학습인정시간 (총 동영상시간) 45시간 26분 (16시간 37분)
-
운영기관
같은기관강좌
-
인지신경과학의 이해 진행중 이수증인지신경과학의 이해
정아인
한국과학기술원
2025.07.01 ~ 2025.08.24-
운영기관
운영기관 한국과학기술원
-
주차
주차 7주
-
학습인정시간
학습인정시간 (총 동영상시간) 12시간 00분 (06시간 14분)
-
운영기관
-
비전공자를 위한 AI 딥러닝(Deep Learning) 진행중 이수증비전공자를 위한 AI 딥러닝(Deep Learning)
오종훈
한국과학기술원
2025.05.07 ~ 2025.12.31-
운영기관
운영기관 한국과학기술원
-
주차
주차 14주
-
학습인정시간
학습인정시간 (총 동영상시간) 15시간 00분 (08시간 46분)
-
운영기관
-
양자정보처리 기초 진행중 이수증양자정보처리 기초
배준우
한국과학기술원
2025.05.07 ~ 2025.12.31-
운영기관
운영기관 한국과학기술원
-
주차
주차 7주
-
학습인정시간
학습인정시간 (총 동영상시간) 12시간 00분 (07시간 41분)
-
운영기관
-
헬리콥터 비행의 이해 : 한계 그리고 도전 종료(청강)헬리콥터 비행의 이해 : 한계 그리고 도전
이덕주
한국과학기술원
2024.02.26 ~ 2024.06.09-
운영기관
운영기관 한국과학기술원
-
주차
주차 8주
-
학습인정시간
학습인정시간 (총 동영상시간) 24시간 31분 (18시간 44분)
-
운영기관
-
계면현상의 이해와 적용 종료(청강)계면현상의 이해와 적용
김종득
한국과학기술원
2020.08.31 ~ 2020.12.06-
운영기관
운영기관 한국과학기술원
-
주차
주차 8주
-
학습인정시간
학습인정시간 (총 동영상시간) 15시간 20분 (11시간 47분)
-
운영기관
-
알기 쉬운 스타트업 재무 종료(청강)알기 쉬운 스타트업 재무
안성태
한국과학기술원
2022.03.07 ~ 2022.06.12-
운영기관
운영기관 한국과학기술원
-
주차
주차 8주
-
학습인정시간
학습인정시간 (총 동영상시간) 9시간 00분 (05시간 00분)
-
운영기관
-
음향학의 기초 종료(청강)음향학의 기초
김양한
한국과학기술원
2018.08.27 ~ 2018.11.18-
운영기관
운영기관 한국과학기술원
-
주차
주차 10주
-
학습인정시간
학습인정시간 (총 동영상시간) 24시간 31분 (20시간 51분)
-
운영기관
-
동역학 II 종료(청강)동역학 II
김양한
한국과학기술원
2017.09.04 ~ 2017.11.12-
운영기관
운영기관 한국과학기술원
-
주차
주차 7주
-
학습인정시간
학습인정시간 (총 동영상시간) 15시간 20분 (10시간 09분)
-
운영기관
-
인공지능과 기계학습 종료(청강)인공지능과 기계학습
오혜연
한국과학기술원
2018.01.01 ~ 2018.02.25-
운영기관
운영기관 한국과학기술원
-
주차
주차 6주
-
학습인정시간
학습인정시간 (총 동영상시간) 9시간 00분 (07시간 14분)
-
운영기관