Using Property-Based Oracles When Testing Embedded System Applications

Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques could improve the dependability of these systems. In prior work, the authors presented an approach for testing embedded systems, focusing on embedded system applications and the tasks that comprise them. In this paper, they focus on a second but equally important aspect of testing embedded systems; namely, the need to provide observability of system behavior sufficient to allow engineers to detect failures.