SWAT: Assertion-based debugging of concurrency issues at system level

Murillo, Luis Gabriel; Bücs, Róbert Lajos; Hincapié, Daniel José Vásquez; Leupers, Rainer; Ascheid, Gerd

doi:10.1109/aspdac.2015.7059074

Cited by 4 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There has been some work on testing for races caused by software signals and interrupts [33,[79][80][81]. For example, Tahara et al [80] issue signals when a PUT attempts to access a global variable, amplifying the chance of exposing faults.…”

Section: Related Workmentioning

confidence: 99%

An automated framework to support testing for process‐level race conditions

Srisa-an

Rothermel

2017

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Race conditions are difficult to detect because they usually occur only under specific execution interleavings. Numerous program analysis and testing techniques have been proposed to detect race conditions between threads on single applications. However, most of these techniques neglect races that occur at the process level due to complex system event interactions. This article presents a framework, SIMEXPLORER, that allows engineers to effectively test for process‐level race conditions. SIMEXPLORER first uses dynamic analysis techniques to observe system execution, identify program locations of interest, and report faults related to oracles. Next, it uses virtualization to achieve the fine‐grained controllability needed to exercise event interleavings that are likely to expose races. We evaluated the effectiveness of SIMEXPLORER on 24 real‐world applications containing both known and unknown process‐level race conditions. Our results show that SIMEXPLORER is effective at detecting these race conditions, while incurring an overhead that is acceptable given its effectiveness improvements.

show abstract