The Community for Technology Leaders
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (2011)
Berlin, Germany
Mar. 21, 2011 to Mar. 25, 2011
ISBN: 978-0-7695-4342-0
pp: 100-109
ABSTRACT
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 we presented an approach for testing embedded systems, focusing on embedded system applications and the tasks that comprise them. In this work we 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. We present several property-based oracles that can be instantiated in embedded systems through program analysis and instrumentation, and can detect failures for which simple output-based oracles are inadequate. An empirical study of our approach shows that it can be effective.
INDEX TERMS
embedded systems, testing, oracles
CITATION

G. Rothermel, T. Yu, A. Sung and W. Srisa-an, "Using Property-Based Oracles when Testing Embedded System Applications," 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation(ICST), Berlin, Germany, 2011, pp. 100-109.
doi:10.1109/ICST.2011.33
83 ms
(Ver 3.3 (11022016))