In recent years,the complexity of designing real-time embedded systems continues to increase with their growing automation.Concurrent programming methods have been widely used in designing.However,due to real-time embedded system interrupts and threads overlap,there is always a lack of effective program testing tools.Therefore we design a testing tool for real-time embedded systems dynamic concurrent programs,in which we use Labeled Transition Systems as a system model of concurrent programs,give formal definition for common concurrency errors,and use partial order reduction algorithm to reduce the state space of programs.Finally we realize the testing tool which can detect multi-threaded and multi-interrupt concurrent program errors.