实时嵌入式系统并发程序检测方法研究

Research for Method of Real-time Embedded Systems Concurrent Program Testing

近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但目前在基于实时嵌入式系统应用程序开发以及测试的过程中,由于中断和线程的相互交叠,始终缺乏有效的针对实时嵌入式系统的并发程序测试方法。本文设计了面向实时嵌入式系统并发程序动态测试的算法,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。

In recent years,with the improving degree of automation of real-time embedded sys-tems,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 sys-tem,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 dy-namic 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.