충북대학교 전자정보대학, 컴퓨터과학과의 소프트웨어공학 연구실 입니다.
다음은 충북대학교 소프트웨어공학 연구실의 주요 연구 주제입니다.
연구 주제는 최근의 소프트웨어공학 분야의 연구동향에 따라 다소 차이가 있을 수 있습니다.
1. 모델 기반 소프트웨어공학
■ 객체지향/컴포넌트 기반 소프트웨어 모델링
■ 소프트웨어 아키텍처
■ 모델 기반의 품질(비기능적 요구사항) 모델링 및 검증
2. 소프트웨어 에너지 분석
■ 모델 기반의 에너지 분석 기법
■ 에너지 프로파일링
■ 에너지 효율적인 소스 코드 개발 기법
■ ESUML Project (새 창)
3. 소프트웨어 속성 검증 기법
■ 소프트웨어 On-The-Fly 테스팅 기법
■ 뮤턴트 기반의 조합 서비스 테스트 기법
■ 소프트웨어 안전성 검증 기법