Research for Method of Real-time Embedded Systems Concurrent Program Testing
Liang Ha · 2014
In recent years,with the improving degree of automation of real-time embedded systems,and increasing complexity of designing,concurrent programming methods have been widely used in designing.But due to overlaps between the interrupts and threads in real-time embedded system,there is always lack of an effective program testing method in the testing and checking process of real-time embedded system.So in the paper,a testing method for real-time embedded systems dynamic concurrent programs is designed,labeled transition systems(LTS)as a system of concurrent programming model is used,the formal definition for common concurrency error is defined,partial order reduction algorithm to reduce the state space of the program is used,and the testing tool which can detect multi-threaded and multi-interrupt program concurrent errors has been realized.