Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

  • Wilkerson L. Andrade
  • Patrícia D. L. Machado
  • Everton L. G. Alves
  • Diego R. Almeida
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sommerville, I.: Software Engineering, 8th edn. International Computer Science Series. Addison-Wesley, Boston (2006)Google Scholar
  2. 2.
    The FreeRTOS.org Project: FreeRTOS, http://www.freertos.org/
  3. 3.
    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)Google Scholar
  4. 4.
    Krichen, M.: Model-Based Testing for Real-Time Systems. PhD thesis, Universit Joseph Fourier (December 2007)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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
  12. 12.
    Barry, R.: Using the FreeRTOS Real Time Kernel: A practical Guide. FreeRTOS.org (2009)Google Scholar
  13. 13.
    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 2006CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Wilkerson L. Andrade
    • 1
  • Patrícia D. L. Machado
    • 1
  • Everton L. G. Alves
    • 1
  • Diego R. Almeida
    • 1
  1. 1.Federal University of Campina Grande (UFCG)Brazil

Personalised recommendations