With the deep integration of embedded products in consumer electronics and automotive fields, the quality of embedded software directly affects product safety and user experience. Aiming at the core defects of traditional embedded software testing methods, such as environment simulation distortion, single verification dimension, and insufficient real-time performance, this study proposes an online testing system based on the Assertion-Execution- Path-Timing (AEPT) model. The system achieves functional correctness verification through a configurable macro assertion library, traces the program execution path using a checkpoint chain list algorithm, and constructs a timestamp difference model to accurately measure the nonlinear timing behavior. The probe function library (developed in C language) and the client (developed in C) work together through a multi-channel communication protocol, supporting dynamic result verification, execution flow tracking and performance monitoring functions, and realizing real-time analysis and database management of test data. Experimental results show that the system achieves 98% assertion verification accuracy in execution result judgment, 96.2% critical path branch coverage, and timing measurement error is less than 0.8% of the target board hardware clock accuracy. This study provides a multi-dimensional solution for dynamic behavioral verification of embedded software. In the future, we will further explore the direction of machine- learning-driven intelligent test case generation and distributed test framework optimization to enhance the testing efficiency and reliability of complex embedded systems.

Med den djupa integreringen av inbyggda produkter inom konsumente- lektronik och fordonsindustrin påverkar kvaliteten på inbyggd programvara direkt produktsäkerhet och användarupplevelse. För att hantera kärnbris- terna i traditionella testmetoder för inbyggd programvara, såsom för- vrängd miljösimulering, ensidiga verifieringsdimensioner och otillräcklig realtidskapacitet, föreslår denna studie ett onlinetestningssystem baserat på AEPT-modellen (Assertion-Execution-Path-Timing).Systemet verifierar funktionell korrekthet genom ett konfigurerbart makropåståendebibliotek, spårar programkörningsvägar med en kedjelista-algoritm för kontrollpunkter och konstruerar en tidsstämpelskillnadsmodell för att noggrant mäta icke- linjärt tidsbeteende. En funktionsbibliotekssond (utvecklad i C) och en klient (utvecklad i C) samarbetar via ett multikanalskommunikationsprotokoll, vilket möjliggör dynamisk resultatsverifiering, exekveringsflödesspårning och prestandaövervakning. Systemet realiserar realtidsanalys och databashan- tering av testdata.Experimentella resultat visar att systemet uppnår 98% noggrannhet i verifiering av påståenden vid exekveringsbedömning, 96,2% täckning av kritiska väggrenar och en tidsmätningsfelmarginal på mindre än 0,8% av målplattformens hårdvaruklockas noggrannhet.Denna studie erbjuder en multidimensionell lösning för dynamisk beteendeverifiering av inbyggd programvara. I framtiden kommer vi att ytterligare utforska maskininlärnings- driven intelligent testgenerering och optimering av distribuerade teststrukturer för att förbättra testeffektiviteten och tillförlitligheten hos komplexa inbyggda system.