Sciweavers

Share
VEE
2012
ACM

SimTester: a controllable and observable testing framework for embedded systems

7 years 6 months ago
SimTester: a controllable and observable testing framework for embedded systems
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applications, device drivers, and interrupt handlers. This type of fault is considered by many practitioners to be among the most difficult to detect, isolate, and correct, in part because it can be sensitive to execution interleavings and often occurs without leaving any observable incorrect output. As such, commonly used testing techniques that inspect program outputs to detect failures are often ineffective at detecting them. To test for these concurrency faults, test engineers need to be able to control interleavings so that they are deterministic. Furthermore, they also need to be able to observe faults as they occur instead of relying on observable incorrect outputs. In this paper, we introduce SimTester, a framework that allows engineers to effectively test for subtle and non-deterministic concurrency faults ...
Tingting Yu, Witawas Srisa-an, Gregg Rothermel
Added 25 Apr 2012
Updated 25 Apr 2012
Type Journal
Year 2012
Where VEE
Authors Tingting Yu, Witawas Srisa-an, Gregg Rothermel
Comments (0)
books