소프트웨어 공학이란 주어진 예산과 기간 내에서 고품질 소프트웨어의 개발 및 유지보수를 위한 모든 기법, 도구, 방법론의 총칭으로써 전산학, 경영학, 심리학을 토대로 한 종합 학문이다. 본 연구실에서는 공학적인 접근 방식에 의거하여 효율적이고 신뢰성 높은 소프트웨어를 개발하는데 필요한 소프트웨어 공학 이론과 응용 기술을 연구한다. 특히, 소프트웨어의 유연성(flexibility)을 높이기 위한 프레임워크 연구로 서비스 지향 소프트웨어 구조에 대한 연구와 소프트웨어의 안전성(safety), 보안성(security) 등의 핵심 특성 분석을 위한 소프트웨어의 정형적 모델링 및 분석 기술에 대한 연구를 진행하고 있다.

소프트웨어 테스팅 연구실은 다양한 소프트웨어공학 기술을 임베디드 소프트웨어 개발에 적용하는 방법을 주로 연구하며, 특히 임베디드 소프트웨어의 VP 기반 개발 환경 및 테스팅 기술을 중점적으로 다룬다.

• 소프트웨어 테스팅 연구로는 가상 테스트 환경 생성 기법, 모델 기반 테스트 시나리오 생성 기법, 테스트 자동화 환경, 상호작용 기반 통합 테스트 기술 등을 다루며, 또한 오류 재생성을 위한 Capture & Replay 기술을 연구하고 있다.

• 임베디드 소프트웨어의 조기 수행을 위해 가상 프로토타입 기반의 Software-in-Loop(SiL), Model-in-Loop(MiL) 시뮬레이션 환경 및 테스트 연계 기술 등을 다루며, 적용 도메인으로는 가전 소프트웨어, 자동차 소프트웨어, 분산 임베디드 소프트웨어 등을 대상으로 진행하고 있다.