装备学院学报
裝備學院學報
장비학원학보
Journal of Academy of Equipment
2014年
4期
94-100
,共7页
实时嵌入式系统%并发程序%多重中断%多线程%并发错误
實時嵌入式繫統%併髮程序%多重中斷%多線程%併髮錯誤
실시감입식계통%병발정서%다중중단%다선정%병발착오
real-time embedded systems%concurrent program%multiple interrupts%multithread%concurrency errors
近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但目前在基于实时嵌入式系统应用程序开发以及测试的过程中,由于中断和线程的相互交叠,始终缺乏有效的针对实时嵌入式系统的并发程序测试方法。本文设计了面向实时嵌入式系统并发程序动态测试的算法,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。
近年來隨著實時嵌入式繫統自動化程度的不斷提升,其設計複雜度不斷加大,在設計中大量的使用瞭併髮程序設計方法。但目前在基于實時嵌入式繫統應用程序開髮以及測試的過程中,由于中斷和線程的相互交疊,始終缺乏有效的針對實時嵌入式繫統的併髮程序測試方法。本文設計瞭麵嚮實時嵌入式繫統併髮程序動態測試的算法,提齣以標記遷移繫統作為併髮程序的繫統模型,對常見的併髮錯誤給齣瞭形式化定義,使用偏序化簡算法縮減程序的狀態空間,實現瞭對多線程、多重中斷的併髮程序錯誤檢測。
근년래수착실시감입식계통자동화정도적불단제승,기설계복잡도불단가대,재설계중대량적사용료병발정서설계방법。단목전재기우실시감입식계통응용정서개발이급측시적과정중,유우중단화선정적상호교첩,시종결핍유효적침대실시감입식계통적병발정서측시방법。본문설계료면향실시감입식계통병발정서동태측시적산법,제출이표기천이계통작위병발정서적계통모형,대상견적병발착오급출료형식화정의,사용편서화간산법축감정서적상태공간,실현료대다선정、다중중단적병발정서착오검측。
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.