본문으로 건너뛰기

정형 기법 및 임베디드 시스템 검증

개요​

임베디드 소프트웨어는 자동차, 항공, 의료기기 등 안전이 최우선인 시스템에 탑재됩니다. STLAB은 정형 기법(Formal Methods) 과 로그 기반 테스팅 을 통해 이러한 시스템의 정확성과 안전성을 체계적으로 검증합니다.

세부 연구 주제​

1. 로그 기반 실시간 테스팅 프레임워크​

  • 모빌리티 소프트웨어의 런타임 로그 수집 및 분석
  • 로그 패턴 기반 이상 행동 탐지
  • 실시간 테스트 오라클 생성 기술
  • 특허: 모빌리티 소프트웨어의 로그 기반 실시간 테스트 장치 및 방법 (출원 10-2023-0106999)

2. 함수 인터랙션 테스팅​

  • 함수 간 상호작용에서 발생하는 결함 검출
  • 테스트 케이스 재사용 기반 함수 테스트 기법
  • 특허: 단위 테스트 케이스 재사용 기반의 함수 테스트 장치 (등록 10-1410099)
  • IEICE Transactions on Information and Systems (SCIE) 게재

3. 모델 기반 테스팅(MBT)​

  • 시스템 명세로부터 자동 테스트 케이스 도출
  • 상태 기계(State Machine) 기반 임베디드 SW 검증
  • 커버리지 기준 달성을 위한 테스트 경로 최적화

4. 정적/동적 분석 결합​

  • 소스코드 정적 분석을 통한 잠재 결함 조기 탐지
  • 동적 실행 기반 결함 재현 및 원인 분석

대표 논문​

  • A Function Interaction Testing by Reusing Characterized Test Cases
    IEICE Transactions on Information and Systems (SCIE), Vol. E95-D, No. 9, 2012

  • 모빌리티 소프트웨어의 로그 기반 실시간 테스트 장치 및 방법
    특허 출원 (10-2023-0106999), 2023

  • 단위 테스트 케이스 재사용 기반의 함수 테스트 장치 및 그 함수 테스트 방법
    국내특허 (10-1410099), 2014

관련 기술 스택​

C/C++ Embedded Linux AUTOSAR Model Checker Static Analysis CAN/UART 로그 분석