본문으로 건너뛰기

UML 기반 시스템 모델링 및 정적 검증

개요​

복잡한 소프트웨어 시스템을 설계 단계부터 올바르게 만들기 위해, STLAB은 UML 등 모델링 언어를 활용한 시스템 설계와 모델 일관성 검증 기술을 연구합니다. 구현 전 설계 모델에서 결함을 찾으면 비용을 크게 절감할 수 있습니다.

세부 연구 주제​

1. UML 모델 일관성 검증​

  • 클래스 다이어그램, 시퀀스 다이어그램, 상태 다이어그램 간 일관성 확인
  • OCL(Object Constraint Language)을 활용한 모델 제약 명세 및 검증
  • 모델-코드 추적성(Traceability) 유지

2. 모델 기반 테스트 케이스 자동 생성 (MBT)​

  • UML 행위 모델로부터 테스트 시나리오 자동 도출
  • 유스케이스 및 활동 다이어그램 기반 테스트 경로 생성
  • 커버리지 기준(전이 커버리지, 상태 커버리지) 만족 보장

3. 설계 결함 패턴 탐지​

  • 안티패턴(Anti-pattern) 자동 탐지 도구 개발
  • 코드 스멜(Code Smell) 및 아키텍처 품질 평가
  • 리팩토링 추천 시스템

4. 소프트웨어 아키텍처 분석​

  • 컴포넌트 의존성 분석 및 순환 의존성 탐지
  • 마이크로서비스 아키텍처 테스팅 전략 연구

대표 논문​

  • 관련 연구 성과는 국내외 학술대회 및 저널을 통해 발표되어 있습니다.
    자세한 목록은 Archive에서 확인하세요.

관련 기술 스택​

UML OCL Enterprise Architect PlantUML Java Eclipse Modeling Framework (EMF)