Constructive-synthesizing Modeling of Debugging Process Visualization

ENG: This paper presents a theoretical framework for developing video-based debugging instruction using constructive-synthesizing modeling (CSM). The proposed framework formalizes the transformation of integrated development environment debugging logs into educational videos through CSM methodology, providing a systematic approach for creating visual representations of debugging processes. The CSM formalization enables reproducible conversion of temporal debugging sequences into structured educational content, with videos featuring synchronized code context, debugging actions, and explanatory annotations. We present a seven-phase implementation methodology for classroom integration, including structured video analysis, collaborative reflection, and expert-guided discussion phases. The framework establishes theoretical foundations for future empirical validation of video-based debugging instruction, addressing the critical gap between debugging's importance in professional practice and its treatment in educational contexts.