Abstract
An embedded system is a combination of hardware and software subsystems. Interaction between these two subsystems may lead to unexpected behavior when faults are present in either. An effective technique is required to detect the presence of such ”interaction faults” in an embedded system. We propose a test data selection technique for interaction testing in the embedded system using hardware fault injection and mutation test criteria. The proposed technique simulates hardware faults as software faults and uses these to mutate the software component. The mutants so created are then used as a means to select test data that differentiates the original program from the mutants. An experimental evaluation of the proposed technique is also presented.
This work was partially supported by grant No.R04-2003-000-10139-0 from the Basic Research Program of the Korea Science & Engineering Foundation. This work was partially supported by the Ministry of Science and Technology under the KNICS Projects. This work was partially supported by University IT Research Center Project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lee, E.A.: What’s Ahead for Embedded Software? IEEE Computer, 18–26 (September 2000)
DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Computer 11(4), 34–41 (1978)
Delamaro, M.E., Maldonado, J.C., Mathur, A.P.: Integration Testing Using Interface Mutation. In: Proceedings of International Symposium on Software Reliability Engineering (ISSRE 1996), April 1996, pp. 112–121 (1996)
UCN 3&4 Final Safety Analysis Report, vol. 11,Korea Electric Power Corporations
Hsueh, M.-C., Tsai, T.K., Iyer, R.K.: Fault Injection Techniques and Tools. Computer, 75–82 (April 1997)
Carreira, J.V., Costa, D., Silva, J.G.: Fault Injection spot-checks computer system dependability, IEEE Spectrum (August 1999)
Carreira, J.V., Madeira, H., Silva, J.G.: Xeption: A technique for the Experimental Evaluation of Dependability in modern computers. IEEE Transaction on Software Engineering 23(2) (February 1998)
Dalpasso, M., Favalli, M., Olivo, P., Ricco, B.: Fault Simulation of parametric Bridging Faults in CMOS ICs. IEEE Transaction on computer aided design of integrated circuits and systems 12(9) (September 1993)
Clark, J.A., Pradhan, D.K.: Fault injection: a method for validating computer-system dependability. IEEE Computer 28(6), 47–56 (1995)
Miremadi, G., Torin, J.: Evaluating processor-behavior and three error-detection mechanisms using physical fault-injection. IEEE Transaction on Reliability 44(3), 441–454 (1995)
Karsson, J., Liden, P., Dahlgren, P., Johansson, R., Gunneflo, U.: Using Heavy-ion Radiation to validate fault-handling mechanisms. IEEE micro., 8–23 (1994)
Horgan, J.R., London, S.: ATAC: A data flow coverage testing tool for C. In: Proceedings of Symposium on Assessment of Quality Software Development Tools, New Orleans, LA, May 1992, pp. 2–10 (1992)
Lyu, M.R., Horgan, J.R., London, S.: A coverage analysis tool for the effectiveness of software testing. In: Proceeding of International Symposium on Software Reliability Engineering (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sung, A., Choi, B. (2004). Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation. In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing. FATES 2003. Lecture Notes in Computer Science, vol 2931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24617-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-24617-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20894-5
Online ISBN: 978-3-540-24617-6
eBook Packages: Springer Book Archive