期刊名称：International Journal of Software Engineering and Its Applications
印刷版ISSN：1738-9984
出版年度：2016
卷号：10
期号：3
页码：95-106
DOI：10.14257/ijseia.2016.10.3.09
出版社：SERSC
摘要：Data Distribution Service (DDS) is a dependable communication middleware architecture to provide real-time interoperable data exchanges for airborne software. It is important to efficiently detect message races for debugging DDS programs, because it is the most serious type of software faults. Because message races in DDS cause unpredictable results, they must be detected for debugging. However, there has been no report yet on the existence and its confirmation of unintended message races in DDS programs. This paper empirically presents fault cases how it lead to message races on the different order of events. In order to prove it, we show four cases of message races considering the order of two write events and the quality of service (QoS), which lead to nondeterministic results.
关键词：Data distribution service (DDS); concurrent faults; message races; DDS ; applications
