Abstract
This paper discusses issues raised in the construction of test models and automatic generation of test cases for embedded real-time systems with interruptions that can run on the FreeRTOS operating system. The focus is on the use of symbolic transition systems (STSs) as the formalism from which test cases are generated by using the STG tool. The solution presented considers a test case execution model for real-time systems with interruptions that can be based on the integrated use of FreeRTOS components. A case study is presented to illustrate all steps from the construction of the test model to test case generation.
Supported by MCT/CNPq/CT-INFO 07/2007 - PD&I-TI - Process 550946/2007-1.
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
Sommerville, I.: Software Engineering, 8th edn. International Computer Science Series. Addison-Wesley, Boston (2006)
The FreeRTOS.org Project: FreeRTOS, http://www.freertos.org/
Li, S., Wang, J., Dong, W., Qi, Z.C.: Property-oriented testing of real-time systems. In: APSEC 2004: Proceedings of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, USA, pp. 358–365. IEEE Computer Society, Los Alamitos (2004)
Krichen, M.: Model-Based Testing for Real-Time Systems. PhD thesis, Universit Joseph Fourier (December 2007)
Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109–126. Springer, Heidelberg (2004)
Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
Rusu, V., du Bousquet, L., Jéron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 338–357. Springer, Heidelberg (2000)
Clarke, D., Jéron, T., Rusu, V., Zinovieva, E.: STG: A symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, p. 470. Springer, Heidelberg (2002)
Jeannet, B., Jéron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349–364. Springer, Heidelberg (2005)
Jéron, T., Marchand, H., Rusu, V.: Symbolic determinisation of extended automata. In: Proceedings of the 4th IFIP Int. Conference on Theoretical Computer Science. IFIP book series, vol. 209, pp. 197–212. Springer, Heidelberg (2006)
Object Management Group: UML superstructure, v2.1.1. Technical Report formal/07-02-05, OMG (2007), http://www.omg.org/cgi-bin/doc?formal/07-02-05
Barry, R.: Using the FreeRTOS Real Time Kernel: A practical Guide. FreeRTOS.org (2009)
de Figueiredo, A.L.L., Andrade, W.L., Machado, P.D.L.: Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes 31(6), 1–10 (2006); Proceedings of the AMOST 2006
Andrade, W.L., Machado, P.D.L.: Modeling and testing interruptions in reactive systems using symbolic models. In: SAST 2008: Proceedings of the 2nd Brazilian Workshop on Systematic and Automated Software Testing, Porto Alegre, RS, Brazil, pp. 34–43. Brazilian Computer Society (2008)
Déharbe, D., Galvao, S., Moreira, A.M.: Report on an ongoing formal development of a real-time operating system with the B method. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol. 5902, pp. 54–69. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrade, W.L., Machado, P.D.L., Alves, E.L.G., Almeida, D.R. (2009). Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. In: Oliveira, M.V.M., Woodcock, J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10452-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-10452-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10451-0
Online ISBN: 978-3-642-10452-7
eBook Packages: Computer ScienceComputer Science (R0)