본문 바로가기

연구실 소개/교수님

지도교수

 

 

 

 


 

 

 

교수 채흥석 (Prof. Heung-Seok Chae)

 

Tel: 051-510-3517

Fax: 051-515-2208

E-mail: hschae at 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
    • IEEE Transactions on Software Engineering, Reviewer, 2005
    • Journal of Information Science and Engineering, 2007
    • IEEE Software, Reviewer, 2008
    • IEICE Transactions on Information and Systems, Reviewer, 2008
    • Information Sciences, Reviewer, 2008, 2009
    • Software Testing, Verification and Reliability, Reviewer, 2008
    • The Computer Journal, Reviewer, 2009
    • Journal of Systems and Software, Reviewer, 2010, 2012, 2013
    • Information Technology and Management, Reviewer, 2010
    • Software Quality Journal, Reviewer, 2011
    • IEEE Computer, Reviewer, 2012

 

Talks/Seminars


    • 소프트웨어 복잡화 증대에 따른 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

    • 과제명: 실시간 임베디드 소프트웨어의 품질 향상을 위한 행위 모델 기반의 기능성/강건성 테스트 자동화 기술 연
      • 지원기관: 한국연구재단
      • 수행 기간: 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년