충북대학교 소프트웨어공학 연구실의 주요 연구 주제입니다.

연구 주제는 최근의 소프트웨어공학 분야의 연구동향에 따라 다소 차이가 있을 수 있습니다. 


1. 모델 기반 소프트웨어공학


      객체지향/컴포넌트 기반 소프트웨어 모델링 
      소프트웨어 아키텍처 
      모델 기반의 품질(비기능적 요구사항) 모델링 및 검증 

 

2. 소프트웨어 에너지 분석


     모델 기반의 에너지 분석 기법 
      에너지 프로파일링 
     에너지 효율적인 소스 코드 개발 기법

      ESUML Project (새 창)

 

3. 소프트웨어 속성 검증 기법


     소프트웨어 On-The-Fly 테스팅 기법
      뮤턴트 기반의 조합 서비스 테스트 기법 
     소프트웨어 안전성 검증 기법

 

◎ 개발 도구 (클릭시 상세페이지 출력)


     PerToCS,   TToSA,   ESUML-PA,   ESUML-EA,   CompRE,   CAPA,   B3T

 

Designed By WebEngine.