SchedCheck: 이벤트 기반 블록 프로그램의 스케줄 견고성 (Schedule-Robustness) 분석

요약

Scratch와 같은 블록 기반 언어에서 발생하는 병행적 실행의 스케줄 민감성 문제를 분석하는 SchedCheck를 제안합니다. 스케줄 공간을 공식화하고 부분 순서 탐색을 통해 프로그램의 견고성을 검증하며, 실제 프로젝트 조사 결과 상당수가 스케줄에 따라 결과가 달라짐을 확인했습니다.

핵심 포인트

• 블록 기반 언어의 병행적 실행 모델에서 발생하는 스케줄 민감성 정의
• SchedCheck를 통한 스케줄 공간 공식화 및 견고성 분석 방법론 제안
• 실제 Scratch 프로젝트의 약 21%가 스케줄 민감한 동작을 포함함을 발견
• 의존성 모델 기반의 효율적인 스케줄 결함 탐지 및 위치 식별 가능