Abstract
In this paper, we present a two-phase approach to generate test data for the EFSM model of an embedded operating system. We first build the EFSM model of the system. The model can then be used to automatically generate test data for testing of APIs. We also point out certain issues that need further study.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bowen, J.P., Bogdanov, K. (eds.) pp. 91–101. IEEE Computer Society Press, Los Alamitos (2002)
Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM. In: Proceeding of FORTE XII (1999)
Zhong, X.-C., Zhang, N.: Embedded Software and Hopen System. BUAA press (2004)
Hopen 3.0 C library and API Manual, http://www.hopen.com.cn
Edvardsson, J.: A survey on automatic test data generation. In: ECSEL, October 1999, pp. 21–28 (1999)
Korel, B.: Automated Software Test Data Generation. IEEE Transactions on Software Engineering 16(8), 870–879 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hao, S., Zhong, X., Wang, Y. (2005). EFSM-based Testing Strategy for APIs Test of Embedded OS. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_76
Download citation
DOI: https://doi.org/10.1007/11535409_76
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28128-3
Online ISBN: 978-3-540-31823-1
eBook Packages: Computer ScienceComputer Science (R0)