소프트웨어 품질 연구실 |
교수 | 채흥석 (Prof. Heung-Seok Chae) |
|---|---|---|
| Tel | 051-510-3517 | |
| Fax | 051-515-2208 | |
| hschae@pusan.ac.kr | ||
| 학력 | 서울대 학사, KAIST 석사, KAIST 박사 | |
| 연구분야 | 소프트웨어 품질, 소프트웨어 테스트, 소프트웨어 설계, 소프트웨어 프로세스 |
경력
- 한국정보과학회 소프트웨어공학소사이어티 이사: 2004년 - 현재
- 한국정보과학회, 한국정보처리학회 정회원: 2004년 - 현재
- 한국정보과학회 논문지 편집위원: 2010년 - 현재
- 한국정보과학회 학회지 편집 부위원장: 2014년 - 현재
Academic Activities
Program Committee
- COMPSAC, Program Committee, 2003, 2009, 2010
- APSEC, Program Committee, 2004, 2005, 2008, 2011, 2012, 2013
- ISFST, Program Committee, 2004
- SOSE, Program Committee 2008
- CIT, Program Committee, 2008, 2009, 2010, 2011
- QSIC, Program Committee, 2009
Journal Reviewer
- 소프트웨어 복잡화 증대에 따른 Testing 관점에서의 대응 방안, 현대자동차, 2013
- SW 품질관리의 중요성, 부산정보산업진흥원, 2013
- 정적코드분석: MISRC C, 퓨트로닉, 2013
- 객체지향 분석/설계, 나비스오토모티브시스템즈, 2013
- 소프트웨어 테스트, 나비스오토모티브시스템즈, 2012
- 소프트웨어 검증 및 평가, 현대모비스, 2012
- Cohesion and Coupling Metrics for Evaluating Understandability of State Diagrams, 경북대, 2012
- 소프트웨어 테스트 관리, TTA, 2005년-2010년
- Software Design Pattern, 삼성전자, 2009년, 2010년
- Requirement Modeling, 삼성탈레스, 2008
- UML - 개념과 활용, 경남대, 2008
- Object-oriented Analysis, 삼성탈레스, 2007
- UML과 객체지향 분석/설계, 삼성전자/LG전자, 2008년, 2013년
- Component-based SW Design, 삼성전자, 2005년 - 2013년
- Development of Reliable Software Systems, ETRI, 2005
- 구조적 방법론, LG전자, 2003년
- 임베디드 SW 설계, LG전자, 2003년
Research Projects
과제명: 소프트웨어 안전성 보증을 위한 정확성 확보 체계 개발
| 총 연구기간 | 2015년 - 2018년 |
|---|---|
| 지원기관 | 정보통신기술진흥센터 |
과제명: 설계의사결정표 기반 테스트케이스 자동화 개발
| 총 연구기간 | 2016년 ~ 2017년 |
|---|---|
| 지원기관 | 한국항공우주산업주식회사 |
과제명: 모델 기반 테스팅을 이용한 테스트 케이스 생성 기술
| 총 연구기간 | 2014년 |
|---|---|
| 지원기관 | 현대자동차 |
과제명: 모델기반 기술을 이용한 항만 터미널 시뮬레이터의 개선
| 총 연구기간 | 2013년 – 2014년 |
|---|---|
| 지원기관 | 정보통신산업진흥원 |
과제명: 실시간 임베디드 소프트웨어의 품질 향상을 위한 행위 모델 기반의 기능성/강건성 테스트 자동화 기술 연구
| 지원기관 | 한국연구재단 |
|---|---|
| 총 연구기간 | 2011년-현재 |
| 연구 내용 | 상태 기계 기반 테스트 자동화 기술 |
과제명: Smart TV UI의 모델 기반 테스트 방법론 개발
| 지원기관 | LG전자 |
|---|---|
| 총 연구기간 | 2013년 |
| 연구 내용 | 상태 기계 기반 Smart TV 모델링 방법 및 테스트 케이스 자동 생성 기술 |
과제명: 스마트폰 앱의 호환성 평가와 진단을 위한 테스팅 기술 연구
| 지원기관 | 한국연구재단 |
|---|---|
| 총 연구기간 | 2010년 - 2013년 |
| 연구 내용 | 앱의 행위 모델링 및 호환성 테스트 기술 |
과제명: 테스트 전문 인력 양성 과정 교재 및 교육과정 개발
| 지원기관 | TTA |
|---|---|
| 총 연구기간 | 2007년 - 2009년 |
| 연구 내용 | 테스트 교육 교재 개발, 테스트 전문가 자격증 시험 문제 은행 개발 |
과제명: 정형 명세 기반 소프트웨어 검증 조건 및 테스트 데이터 생성 기술 연구
| 지원기관 | ETRI |
|---|---|
| 총 연구기간 | 2009년 |
| 연구 내용 | 테스트 케이스 생성 기술 및 자동화 도구 개발 |
과제명: 터미널운영시스템의 품질 향상을 위한 테스트 역량 강화
| 지원기관 | TSB (NIPA SW공학현장적용사업) |
|---|---|
| 총 연구기간 | 2012년 |
| 연구 내용 | 표준 테스트 프로세스 구축 |
과제명: 터미널운영시스템 구축 프로젝트 관리 및 요구공학 도입
| 지원기관 | TSB (NIPA SW공학현장적용사업) |
|---|---|
| 총 연구기간 | 2011년 |
| 연구 내용 | 표준 개발 프로세스 구축, 프로젝트관리/요구사항관리 지침 개발 |
과제명: 차세대 터미널 운영 시스템 아키텍처 개발
| 지원기관 | LIT |
|---|---|
| 총 연구기간 | 2008년 - 2009년 |
| 연구 내용 | 터미널 운영 시스템 요구사항 및 아키텍처 모델링 |
과제명: 대규모 물류정보관리를 위한 스마트 미들웨어 플랫폼
| 지원기관 | 한국연구재단 |
|---|---|
| 총 연구기간 | 2004년 - 2011년 |
| 연구 내용 | RFID 미들웨어 모니터링, 가용성/성능 진단 및 복구 |
과제명: 소프트웨어 프로세스 개선을 위한 공학 기술 개발
| 지원기관 | NIPA ITRC |
|---|---|
| 총 연구기간 | 2004년 - 2010년 |
| 연구 내용 | 정량적 SW 품질 측정/예측 기술 |
과제명: 고신뢰도 내장형 실시간 소프트웨어 개발 기술
| 지원기관 | ADD |
|---|---|
| 총 연구기간 | 2006년 - 2011년 |
| 연구 내용 | 실시간 내장형 SW 모델링, 성능 분석 |
Books
- 프로그래밍 센스를 살리는 비타민 C++, 교보출판사, 2014년
- 자바 객체지향 디자인 패턴: UML과 GoF 핵심 디자인 패턴 10가지로 배우는, 한빛미디어, 2014년
- UML과 Java로 배우는 객체지향 CBD 실전 프로젝트, 한빛미디어, 2009년
- 클래스 구조의 이해와 설계: UML, Java, C++를 활용한 객체지향 모델링 실전, 한빛미디어, 2004년
- 객체지향 CBD 개발 Bible: J2EE와 .NET 대학 정보 시스템 프로젝트, 한빛미디어, 2003년