Software Testing Laboratory
우리는 소프트웨어의 신뢰성과 안전성을 연구합니다. AI 기반 테스팅, 정적/동적 분석, 모델 기반 검증 등 다양한 기술을 통해 미래 소프트웨어 기술을 선도합니다.
지능형 테스트 자동화 및 최적화
AI 및 머신러닝 기 반의 테스트 케이스 생성, 결함 예측, 테스트 효율화 등 소프트웨어 품질 향상을 위한 자동화 연구를 수행합니다.
연구 자세히 보기
디지털트윈 기반 시뮬레이션 및 자율 시스템 검증
디지털트윈 환경에서 복잡·자율 시스템의 동작을 시뮬레이션하고, 신뢰성 및 안전성 검증을 위한 테스트 및 평가 기법을 개발합니다.
연구 자세히 보기주요 연구 과제
산업계와 긴밀히 협력하며 실제 문제를 해결하는 실용적인 연구를 진행합니다. 현재 다음 과제들을 통해 기술 혁신을 이끌고 있습니다.
대표 연구 실적
지능형 테스트 자동화 및 효율화, 복잡·자율 시스템의 신뢰성 검증, 런타임 분석 및 지능형 피드백 시스템
Intelligent Test Automation & Optimization, Verification & Validation for Complex/Autonomous Systems, Runtime Analysis & Intelligent Feedback Systems
객체지향 시스템의 상호작용 패턴에 따른 객체 상호작용 시험 방법
Object Interaction Test Method Based on Object Interaction Patterns of Object-Oriented Systems
단위 테스트 케이스 재사용 기반의 함수 테스트 장치 및 그 함수 테스트 방법
Unit Test Device and Method Based on Unit Test Case Reuse, Korean Patent No. 10-2023-0000000
단위 테스트 케이스 재사용 기반의 함수 테스트 케이스 생성 기법
Unit Test Case Generation Method Based on Unit Test Case Reuse, Korean Patent No. 10-2023-0000000
정형 기법 기반 임베디드 시스템 모델링 및 분석, 임베디드 소 프트웨어의 품질 및 안전성 검증
Formal Methods for Embedded System Modeling & Analysis, Quality & Safety Assurance of Embedded Software
UML 기반 시스템 모델링 및 개발 방법론, 모델 정적 검증 및 일관성 유지 기술
UML-based System Modeling & Development Methodology, Static Model Verification & Consistency Maintenance
Our Team
최고의 연구진과 함께 소프트웨어의 미래를 만들어갑니다.