연구실 소개/연구 분야 썸네일형 리스트형 소프트웨어 품질 검증 및 테스트 자동화 연구 현대 사회에서 우리의 생활은 소프트웨어에 밀접한 영향을 받고 있으며, 그 영향력은 더더욱 증대되고 있다. 이에 따라 소프트웨어의 품질 역시 우리 생활에 중대한 영향을 미치고 있다. 소프트웨어의 결함으로 인해 수조원의 손실이 발생하는 사례 또한 속출하고 있다. 1999년 화성 기후 궤도탐사선 폭발, 1996년 아리안 5호의 폭발, 토요타 프리우스 하이브리드 리콜은 소프트웨어 결함으로 인한 피해의 대표적인 예이다. 하지만 소프트웨어의 결함으로 인한 피해를 줄이기 위해 소프트웨어의 품질을 향상시키는 것은 많은 시간과 비용을 요구한다. 이에 본 연구실에서는 효과적으로 소프트웨어의 품질을 향상시키기 위한 검증 및 테스트 자동화 기술을 연구하고 있다. - 임베디드 소프트웨어 모델링 - 테스트 데이터 자동생성 - 소.. 더보기 이전 1 2 3 4 5 다음