유민수 연구실

본 논문은 특수 하드웨어나 가상화 없이 OS 기반으로 전체 시스템의 결정적 재현을 제공하는 Software Black Box(SBB) 프레임워크를 제시합니다. Linux ARM 환경에서 구현된 SBB는 사용자 프로세스, OS 함수, 디바이스 드라이버를 명령어 수준의 정확도로 재현하며, Phoronix 벤치마크와 네트워킹 워크로드 평가 결과 디버깅, 테스팅, 보안 및 성능 분석에 적합합니다.

본 논문은 Linux 프로그램의 비결정적 오류를 재현하기 위해 OS 수준의 기록 및 재생 시스템을 제안합니다. 정적 분석, 동적 추적, 델타 디버깅을 결합한 재생 분석 방법을 통해 동시성 버그를 진단하며, 실험 결과 낮은 기록 오버헤드로 실제 시스템에서 드물게 발생하는 버그를 포착할 수 있음을 보여줍니다.

본 연구는 실시간 임베디드 시스템의 비표준 직렬 통신 프로토콜을 형식적 검증 방법으로 검증합니다. 제어 컴퓨터와 음향 측심기 간의 애드혹 프로토콜에 모델 검사를 적용하여 시뮬레이션과 테스트만으로는 발견할 수 없는 프로토콜 설계 결함을 발견했습니다.

본 논문은 성능 비대칭 멀티프로세서에서 실시간 시스템의 성능을 향상시키기 위해 BSF-EDF(best speed fit for earliest deadline first) 스케줄링 알고리즘을 제안합니다. 기존의 최고 우선순위 작업을 가장 빠른 프로세서에 할당하는 방식과 달리, 본 접근법은 작업 할당 시 가장 적합한 프로세서를 선택합니다. 이와 함께 효과적인 스케줄 가능성 테스트를 도출합니다.

본 논문은 이벤트 기반 소프트웨어의 테스트 어려움을 해결하기 위해 모델 기반 테스트와 운영체제 수준의 재생 메커니즘을 결합한 모델 기반 재생 테스팅 접근법을 제안합니다. 유한 상태 기계 모델과 n-스위치 집합 커버를 사용하여 추상 테스트 케이스를 자동 생성하고, 운영체제 수준의 재생 메커니즘으로 이를 구체적 테스트 케이스로 변환하여 자동 실행합니다. Android 플랫폼의 GUI 소프트웨어 테스팅 사례 연구를 통해 제안 방법의 효과를 입증합니다.