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
Conference paper

DOI: 10.1007/978-3-642-10452-7_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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